PPaperPicks

Valentin Wüstholz

8 papers at tracked venues · 7 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

ASE ×3FSE ×2AAAI ×1CCS ×1IJCAI ×1

Frequent coauthors

Maria Christakis
×8
Anastasia Isychev
×5
David Kaindlstorfer
×3
Christoph Hochrainer
×2
Sebastian Watzinger
×1
Deepak Garg
×1
Hasan Ferit Eniser
×1
Markus Fleischmann
×1
Jana Chadt
×1

Papers

  1. Cost-Effective Testing of MPC Compilers
    FSE 2026 ·
    Sebastian Watzinger
    , Valentin Wüstholz,
    Deepak Garg
    ,
    Maria Christakis
  2. Interrogation Testing of CHC Solvers
    FSE 2026 ·
    David Kaindlstorfer
    ,
    Anastasia Isychev
    , Valentin Wüstholz,
    Maria Christakis
  3. Fuzzing Processing Pipelines for Zero-Knowledge Circuits
    CCS 2025 ·
    Christoph Hochrainer
    ,
    Anastasia Isychev
    , Valentin Wüstholz,
    Maria Christakis
  4. Lazy Testing of Machine-Learning Models
    IJCAI 2025 ·
    Anastasia Isychev
    , Valentin Wüstholz,
    Maria Christakis
  5. Automatically Testing Functional Properties of Code Translation Models
    AAAI 2024 ·
    Hasan Ferit Eniser
    , Valentin Wüstholz,
    Maria Christakis
  6. Constraint-Based Test Oracles for Program Analyzers
    ASE 2024 ·
    Markus Fleischmann
    ,
    David Kaindlstorfer
    ,
    Anastasia Isychev
    , Valentin Wüstholz,
    Maria Christakis
  7. Interrogation Testing of Program Analyzers for Soundness and Precision Issues
    ASE 2024 ·
    David Kaindlstorfer
    ,
    Anastasia Isychev
    , Valentin Wüstholz,
    Maria Christakis
  8. Olympia: Fuzzer Benchmarking for Solidity
    ASE 2024 ·
    Jana Chadt
    ,
    Christoph Hochrainer
    , Valentin Wüstholz,
    Maria Christakis