Maria Christakis

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 59

Top Topics

Usage Scenarios

Table Of Contents

Test Generation

Top Venues

ESEC/SIGSOFT FSE

Publications

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