Maria Christakis

83 papers A* 17A 8B 9C 2Journal 30Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Arguzz: Testing zkVMs for Soundness and Completeness Bugs. CoRR Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
2025	A*	`conf`	Fuzzing Processing Pipelines for Zero-Knowledge Circuits. CCS Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2025	A*	`conf`	Lazy Testing of Machine-Learning Models. IJCAI Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2025	J	`jnl`	Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242). Dagstuhl Reports Maria Christakis, Alastair F. Donaldson, John Regehr, Thodoris Sotiropoulos
2024	A*	`conf`	Automatically Testing Functional Properties of Code Translation Models. AAAI Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
2024	A*	`conf`	Constraint-Based Test Oracles for Program Analyzers. ASE Markus Fleischmann, David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024	J	`jnl`	Fuzzing Processing Pipelines for Zero-Knowledge Circuits. CoRR Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024	J	`jnl`	Inductive Predicate Synthesis Modulo Programs (Extended). CoRR Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2024	A	`conf`	Inductive Predicate Synthesis Modulo Programs. ECOOP Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2024	A*	`conf`	Interrogation Testing of Program Analyzers for Soundness and Precision Issues. ASE David Kaindlstorfer, Anastasia Isychev, Valentin Wüstholz, Maria Christakis
2024	A*	`conf`	New Fuzzing Biases for Action Policy Testing. ICAPS Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann
2024	A*	`conf`	Olympia: Fuzzer Benchmarking for Solidity. ASE Jana Chadt, Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
2024	A	`ed.`	Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024 ISSTA Maria Christakis, Michael Pradel
2024	J	`jnl`	Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. CoRR Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening
2024	—	`conf`	Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2024	J	`jnl`	Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
2023	A*	`conf`	Automatic Metamorphic Test Oracles for Action-Policy Testing. ICAPS Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann
2023	J	`jnl`	Automatically Testing Functional Properties of Code Translation Models. CoRR Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis
2023	A	`conf`	Dependency-Aware Metamorphic Testing of Datalog Engines. ISSTA Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis
2023	A	`conf`	Green Fuzzer Benchmarking. ISSTA Jiradet Ounjai, Valentin Wüstholz, Maria Christakis
2023	J	`jnl`	Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). Dagstuhl Reports Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser
2023	A*	`conf`	Specifying and Testing k-Safety Properties for Machine-Learning Models. IJCAI Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
2023	J	`jnl`	Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. CoRR Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser, Maria Christakis, Adish Singla
2022	A*	`conf`	Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann
2022	—	`conf`	Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser
2022	A	`conf`	Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis
2022	J	`jnl`	Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems. Datenbank-Spektrum Manuel Rigger, Alexander Böhm, Maria Christakis, Eric Lo
2022	J	`jnl`	Specifying and Testing k-Safety Properties for Machine-Learning Models. CoRR Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz
2022	B	`conf`	Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. VMCAI Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2021	—	`conf`	A Two-Phase Approach for Conditional Floating-Point Verification. TACAS (2) Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis
2021	—	`conf`	Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
2021	—	`conf`	Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. CAV (2) Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
2021	J	`jnl`	Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2021	B	`conf`	Compositional Verification of Smart Contracts Through Communication Abstraction. SAS Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel
2021	J	`jnl`	Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). Dagstuhl Reports Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger
2021	—	`conf`	Metamorphic testing of Datalog engines. ESEC/SIGSOFT FSE Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz
2021	J	`jnl`	Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Dagstuhl Reports Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, Grigore Rosu
2020	J	`jnl`	Automatically Tailoring Static Analysis to Custom Usage Scenarios. CoRR Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz
2020	—	`conf`	DeepSearch: a simple and effective blackbox attack for deep neural networks. ESEC/SIGSOFT FSE Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis
2020	J	`jnl`	Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. CoRR Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020	—	`conf`	Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. ESEC/SIGSOFT FSE Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020	—	`conf`	Harvey: a greybox fuzzer for smart contracts. ESEC/SIGSOFT FSE Valentin Wüstholz, Maria Christakis
2020	—	`conf`	Lab Conditions for Research on Explainable Automated Decisions. TAILOR Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck
2020	J	`jnl`	Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020	J	`jnl`	RAID: Randomized Adversarial-Input Detection for Neural Networks. CoRR Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz
2020	—	`ed.`	Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers VSTTE Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel
2020	A*	`conf`	Synthesizing Tasks for Block-based Programming. NeurIPS Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla
2020	J	`jnl`	Synthesizing Tasks for Block-based Programming. CoRR Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla
2020	A*	`conf`	Targeted greybox fuzzing with static lookahead analysis. ICSE Valentin Wüstholz, Maria Christakis
2019	J	`jnl`	DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks. CoRR Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis
2019	A	`conf`	Differentially testing soundness and precision of program analyzers. ISSTA Christian Klinger, Maria Christakis, Valentin Wüstholz
2019	J	`jnl`	Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Maria Christakis, Manuel Rigger
2019	J	`jnl`	Harvey: A Greybox Fuzzer for Smart Contracts. CoRR Valentin Wüstholz, Maria Christakis
2019	J	`jnl`	Perfectly Parallel Fairness Certification of Neural Networks. CoRR Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2019	—	`conf`	Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz
2019	J	`jnl`	Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR Valentin Wüstholz, Maria Christakis
2018	A*	`conf`	Automatically testing implementations of numerical abstract domains. ASE Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller
2018	A*	`conf`	CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews. CHI Austin Z. Henley, KIotavanç Muçlu, Maria Christakis, Scott D. Fleming, Christian Bird
2018	J	`jnl`	Differentially Testing Soundness and Precision of Program Analyzers. CoRR Christian Klinger, Maria Christakis, Valentin Wüstholz
2018	J	`jnl`	Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. Maria Christakis, Philipp Haller, Marianna Rapoport
2018	J	`jnl`	Learning Inputs in Greybox Fuzzing. CoRR Valentin Wüstholz, Maria Christakis
2018	J	`jnl`	Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller
2017	A*	`conf`	A general framework for dynamic stub injection. ICSE Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller
2017	J	`jnl`	Failure-Directed Program Trimming (Extended Version). CoRR Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
2017	—	`conf`	Failure-directed program trimming. ESEC/SIGSOFT FSE Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig
2017	J	`jnl`	On narrowing the gap between verification and systematic testing. it Inf. Technol. Maria Christakis
2016	B	`conf`	Bounded Abstract Interpretation. SAS Maria Christakis, Valentin Wüstholz
2016	A*	`conf`	Guiding dynamic symbolic execution toward unverified program executions. ICSE Maria Christakis, Peter Müller, Valentin Wüstholz
2016	A	`conf`	Integrated Environment for Diagnosing Verification Errors. TACAS Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz
2016	A*	`conf`	What developers want and need from program analysis: an empirical study. ASE Maria Christakis, Christian Bird
2015	B	`conf`	An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI Maria Christakis, Peter Müller, Valentin Wüstholz
2015	—	`ch.`	Brückenschlag zwischen Verifikation und systematischem Testen. Ausgezeichnete Informatikdissertationen Maria Christakis
2015	—	`conf`	IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. SPIN Maria Christakis, Patrice Godefroid
2015	—	`—`	Narrowing the gap between verification and systematic testing. Maria Christakis
2015	B	`conf`	Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. VMCAI Maria Christakis, Patrice Godefroid
2014	B	`conf`	Dynamic Test Generation with Static Fields and Initializers. RV Maria Christakis, Patrick Emmisberger, Peter Müller
2014	B	`conf`	Formalizing and Verifying a Modern Build Language. FM Maria Christakis, K. Rustan M. Leino, Wolfram Schulte
2014	B	`conf`	Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. SEFM Maria Christakis, Peter Müller, Valentin Wüstholz
2013	A	`conf`	Systematic Testing for Detecting Concurrency Errors in Erlang Programs. ICST Maria Christakis, Alkis Gotovos, Konstantinos Sagonas
2012	B	`conf`	Collaborative Verification and Testing with Explicit Assumptions. FM Maria Christakis, Peter Müller, Valentin Wüstholz
2011	C	`conf`	Detection of Asynchronous Message Passing Errors Using Static Analysis. PADL Maria Christakis, Konstantinos Sagonas
2011	—	`conf`	Test-driven development of concurrent programs using concuerror. Erlang Workshop Alkis Gotovos, Maria Christakis, Konstantinos Sagonas
2010	C	`conf`	Static Detection of Race Conditions in Erlang. PADL Maria Christakis, Konstantinos Sagonas