PPaperPicks

Maria Christakis

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

DBLP profile ↗ORCID search ↗

Venues

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

Frequent coauthors

Valentin Wüstholz
×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
Michael Pradel
×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
  9. Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024
    ISSTA 2024 · Maria Christakis,
    Michael Pradel