Maria Christakis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
33
Venues
18
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
33 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 | CAV | Verifying Global Two-Safety Properties in Neural Networks with Confidence. | Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher |
| 2024 | ECOOP | Inductive Predicate Synthesis Modulo Programs. | Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wstholz, Arie Gurfinkel |
| 2024 | ICAPS | New Fuzzing Biases for Action Policy Testing. | Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Hller, Maria Christakis, Jrg Hoffmann |
| 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 |
| 2021 | TACAS | A Two-Phase Approach for Conditional Floating-Point Verification. | Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis |
| 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 |
| 2018 | CHI | CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews. | Austin Z. Henley, KIotavan Mulu, Maria Christakis, Scott D. Fleming, Christian Bird |
| 2017 | ICSE | A general framework for dynamic stub injection. | Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Mller |
| 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 | VMCAI | An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2015 | VMCAI | Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. | Maria Christakis, Patrice Godefroid |
| 2014 | FM | Formalizing and Verifying a Modern Build Language. | Maria Christakis, K. Rustan M. Leino, Wolfram Schulte |
| 2014 | RV | Dynamic Test Generation with Static Fields and Initializers. | Maria Christakis, Patrick Emmisberger, Peter Mller |
| 2014 | SEFM | Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2013 | ICST | Systematic Testing for Detecting Concurrency Errors in Erlang Programs. | Maria Christakis, Alkis Gotovos, Konstantinos Sagonas |
| 2012 | FM | Collaborative Verification and Testing with Explicit Assumptions. | Maria Christakis, Peter Mller, Valentin Wstholz |
| 2011 | PADL | Detection of Asynchronous Message Passing Errors Using Static Analysis. | Maria Christakis, Konstantinos Sagonas |
| 2010 | PADL | Static Detection of Race Conditions in Erlang. | Maria Christakis, Konstantinos Sagonas |