Valentin Wstholz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
13
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Fuzzing Processing Pipelines for Zero-Knowledge Circuits. | Christoph Hochrainer, Anastasia Isychev, Valentin Wstholz, Maria Christakis |
| 2025 | IJCAI | Lazy Testing of Machine-Learning Models. | Anastasia Isychev, Valentin Wstholz, Maria Christakis |
| 2025 | SoCS | Using Action-Policy Testing in RL to Reduce the Number of Bugs. | Hasan Ferit Eniser, Songtuan Lin, Nicola J. Mller, Anastasia Isychev, Valentin Wstholz, Isabel Valera, Jrg Hoffmann, Maria Christakis |
| 2024 | AAAI | Automatically Testing Functional Properties of Code Translation Models. | Hasan Ferit Eniser, Valentin Wstholz, Maria Christakis |
| 2024 | ECOOP | Inductive Predicate Synthesis Modulo Programs. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 2023 | IJCAI | Specifying and Testing k-Safety Properties for Machine-Learning Models. | Maria Christakis, Hasan Ferit Eniser, Jrg Hoffmann, Adish Singla, Valentin Wstholz |
| 2023 | ISSTA | Dependency-Aware Metamorphic Testing of Datalog Engines. | Muhammad Numair Mansur, Valentin Wstholz, Maria Christakis |
| 2023 | ISSTA | Green Fuzzer Benchmarking. | Jiradet Ounjai, Valentin Wstholz, Maria Christakis |
| 2022 | ISSTA | Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. | Hasan Ferit Eniser, Timo P. Gros, Valentin Wstholz, Jrg Hoffmann, Maria Christakis |
| 2022 | VMCAI | Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 2021 | CAV | Automated Safety Verification of Programs Invoking Neural Networks. | Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jrg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wstholz |
| 2021 | CAV | Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. | Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wstholz |
| 2021 | SAS | Compositional Verification of Smart Contracts Through Communication Abstraction. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 2020 | ICSE | Targeted greybox fuzzing with static lookahead analysis. | Valentin Wstholz, Maria Christakis |
| 2019 | ISSTA | Differentially testing soundness and precision of program analyzers. | Christian Klinger, Maria Christakis, Valentin Wstholz |
| 2019 | TACAS | Semantic Fault Localization and Suspiciousness Ranking. | Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wstholz |
| 2017 | TACAS | Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. | Valentin Wstholz, Oswaldo Olivo, Marijn J. H. Heule, Isil Dillig |
| 2016 | ICSE | Guiding dynamic symbolic execution toward unverified program executions. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2016 | SAS | Bounded Abstract Interpretation. | Maria Christakis, Valentin Wstholz |
| 2016 | TACAS | Integrated Environment for Diagnosing Verification Errors. | Maria Christakis, K. Rustan M. Leino, Peter Mller, Valentin Wstholz |
| 2015 | CAV | Fine-Grained Caching of Verification Results. | K. Rustan M. Leino, Valentin Wstholz |
| 2015 | VMCAI | An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2014 | SEFM | Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2012 | FM | Collaborative Verification and Testing with Explicit Assumptions. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |