Conference Papers

  1. Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann and Maria Christakis. Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing. In Proceedings of the 31st International Symposium on Software Testing and Analysis (ISSTA'22), 2022. ACM.
    Acceptance rate: 24.4%
  2. Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis and Jörg Hoffmann. Debugging a Policy: Automatic Action-Policy Testing in AI Planning. In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS'22), 2022. AAAI Press.
    Acceptance rate: 30.7%
  3. Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz and Arie Gurfinkel. Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In Proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'22), 2022. Springer.
    Acceptance rate: 36.5%
  4. Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz and Arie Gurfinkel. Compositional Verification of Smart Contracts Through Communication Abstraction. In Proceedings of the 28th Static Analysis Symposium (SAS'21), 2021. Springer.
    Acceptance rate: 55.0%
  5. Muhammad Numair Mansur, Maria Christakis and Valentin Wüstholz. Metamorphic Testing of Datalog Engines. In Proceedings of the 29th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'21), 2021. ACM.
    Acceptance rate: 24.5%
  6. Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas and Valentin Wüstholz. Automated Safety Verification of Programs Invoking Neural Networks. In Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV'21), 2021. Springer.
    Acceptance rate: 27.2%
  7. Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas and Valentin Wüstholz. Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. In Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV'21), 2021. Springer.
    Acceptance rate: 27.2%
  8. Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova and Maria Christakis. A Two-Phase Approach for Conditional Floating-Point Verification. In Proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), 2021. Springer.
    Acceptance rate: 33.3%
  9. Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury and Adish Singla. Synthesizing Tasks for Block-based Programming. In Proceedings of the 34th Conference on Neural Information Processing Systems (NeurIPS'20), 2020.
    Acceptance rate: 20.1%
  10. Caterina Urban, Maria Christakis, Valentin Wüstholz and Fuyuan Zhang. Perfectly Parallel Fairness Certification of Neural Networks. In Proceedings of the ACM on Programming Languages (OOPSLA'20), 2020. ACM.
    Acceptance rate: 36.1%
  11. Valentin Wüstholz and Maria Christakis. Harvey: A Greybox Fuzzer for Smart Contracts. In Proceedings of the 28th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'20), 2020. ACM.
    Acceptance rate: 35.8%
  12. Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz and Fuyuan Zhang. Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. In Proceedings of the 28th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'20), 2020. ACM.
    Acceptance rate: 28.1%
    Received the best presentation award.
  13. Fuyuan Zhang, Sankalan Pal Chowdhury and Maria Christakis. DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks. In Proceedings of the 28th Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'20), 2020. ACM.
    Acceptance rate: 28.1%
  14. Valentin Wüstholz and Maria Christakis. Targeted Greybox Fuzzing with Static Lookahead Analysis. In Proceedings of the 42nd International Conference on Software Engineering (ICSE'20), 2020. ACM.
    Acceptance rate: 20.9%
  15. Christian Klinger, Maria Christakis and Valentin Wüstholz. Differentially Testing Soundness and Precision of Program Analyzers. In Proceedings of the 28th International Symposium on Software Testing and Analysis (ISSTA'19), 2019. ACM.
    Acceptance rate: 22.5%
  16. Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling and Valentin Wüstholz. Semantic Fault Localization and Suspiciousness Ranking. In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19), 2019. Springer.
    Acceptance rate: 30.5%
  17. Alexandra Bugariu, Valentin Wüstholz, Maria Christakis and Peter Müller. Automatically Testing Implementations of Numerical Abstract Domains. In Proceedings of the 33rd International Conference on Automated Software Engineering (ASE'18), 2018. ACM.
    Acceptance rate: 19.9%
  18. Austin Henley, Kıvanç Muşlu, Maria Christakis, Scott Fleming and Christian Bird. CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews. In Proceedings of the 36th International Conference on Human Factors in Computing Systems (CHI'18), 2018. ACM.
    Acceptance rate: 25.7%
  19. Kostas Ferles, Valentin Wüstholz, Maria Christakis and Isil Dillig. Failure-Directed Program Trimming. In Proceedings of the Eleventh Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'17), 2017. ACM.
    Acceptance rate: 24.4%
  20. Maria Christakis, Patrick Emmisberger, Patrice Godefroid and Peter Müller. A General Framework for Dynamic Stub Injection. In Proceedings of the 39th International Conference on Software Engineering (ICSE'17), 2017. ACM.
    Acceptance rate: 16.4%
  21. Maria Christakis and Christian Bird. What Developers Want and Need from Program Analysis: An Empirical Study. In Proceedings of the 31st International Conference on Automated Software Engineering (ASE'16), 2016. ACM.
    Acceptance rate: 19.1%
  22. Maria Christakis and Valentin Wüstholz. Bounded Abstract Interpretation. In Proceedings of the 23rd Static Analysis Symposium (SAS'16), 2016. Springer.
    Acceptance rate: 38.2%
  23. Maria Christakis, K. Rustan M. Leino, Peter Müller and Valentin Wüstholz. Integrated Environment for Diagnosing Verification Errors. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), 2016. Springer.
    Acceptance rate: 28.7%
  24. Maria Christakis, Peter Müller and Valentin Wüstholz. Guiding Dynamic Symbolic Execution Toward Unverified Program Executions. In Proceedings of the 38th International Conference on Software Engineering (ICSE'16), 2016. ACM.
    Acceptance rate: 19.1%
    Received a distinguished paper award.
    Listed as a notable item in ACM's 21st Annual Best of Computing.
  25. Maria Christakis and Patrice Godefroid. IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. In Proceedings of the 22nd International SPIN Symposium on Model Checking of Software (SPIN'15), 2015. Springer.
    Acceptance rate: 69.2%
  26. Maria Christakis, Peter Müller and Valentin Wüstholz. An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. In Proceedings of the Sixteenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), 2015. Springer.
    Acceptance rate: 45.3%
    Selected for submission to the Computer Languages, Systems & Structures journal.
  27. Maria Christakis and Patrice Godefroid. Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. In Proceedings of the Sixteenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), 2015. Springer.
    Acceptance rate: 45.3%
  28. Maria Christakis, Patrick Emmisberger and Peter Müller. Dynamic Test Generation with Static Fields and Initializers. In Proceedings of the Fourteenth International Conference on Runtime Verification (RV’14), 2014. Springer.
    Acceptance rate: 29.8%
  29. Maria Christakis, Peter Müller and Valentin Wüstholz. Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. In Proceedings of the Twelfth International Conference on Software Engineering and Formal Methods (SEFM'14), 2014. Springer.
    Acceptance rate: 27.4%
    Selected for submission to the Formal Aspects of Computing journal.
  30. Maria Christakis, K. Rustan M. Leino and Wolfram Schulte. Formalizing and Verifying a Modern Build Language. In Proceedings of the Nineteenth International Symposium on Formal Methods (FM'14), 2014. Springer.
    Acceptance rate: 43.8%
  31. Maria Christakis, Alkis Gotovos and Konstantinos Sagonas. Systematic Testing for Detecting Concurrency Errors in Erlang Programs. In Proceedings of the Sixth International Conference on Software Testing, Verification and Validation (ICST'13), 2013. IEEE.
    Acceptance rate: 25.0%
  32. Maria Christakis, Peter Müller and Valentin Wüstholz. Collaborative Verification and Testing with Explicit Assumptions. In Proceedings of the Eighteenth International Symposium on Formal Methods (FM'12), 2012. Springer.
    Acceptance rate: 26.5%
  33. Maria Christakis and Konstantinos Sagonas. Detection of Asynchronous Message Passing Errors Using Static Analysis. In Proceedings of the Thirteenth International Symposium on Practical Aspects of Declarative Languages (PADL'11), 2011. Springer.
    Acceptance rate: 45.0%
  34. Maria Christakis and Konstantinos Sagonas. Static Detection of Race Conditions in Erlang. In Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages (PADL'10), 2010. Springer.
    Acceptance rate: 37.9%

Workshop Papers

  1. Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann and Maria Christakis. Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing. Presented at the First International Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS'22), 2022.
  2. Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann and Michaela Klauck. Lab Conditions for Research on Explainable Automated Decisions. In Proceedings of the First International Workshop on the Scientific Foundations of Trustworthy AI - Integrating Learning, Optimisation and Reasoning (TAILOR'20), 2020. Springer.
  3. Alkis Gotovos, Maria Christakis and Konstantinos Sagonas. Test-Driven Development of Concurrent Programs Using Concuerror. In Proceedings of the Tenth Erlang Workshop (ERLANG'11), 2011. ACM.

Invited Papers

  1. Maria Christakis. On Narrowing the Gap Between Verification and Systematic Testing. In it - Information Technology, 2017. de Gruyter.
  2. Maria Christakis. Brückenschlag zwischen Verifikation und Systematischem Testen. In Ausgezeichnete Informatikdissertationen 2015 (GIDISS'15), 2015. GI.

Technical Reports

  1. Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla and Valentin Wüstholz. Specifying and Testing 𝒌-Safety Properties for Machine-Learning Models. CoRR abs/2206.06054, 2022.
  2. Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz and Arie Gurfinkel. Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR abs/2107.08583, 2021.
  3. Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas and Valentin Wüstholz. Automatically Tailoring Static Analysis to Custom Usage Scenarios. CoRR abs/2009.13860, 2020.
  4. Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury and Adish Singla. Synthesizing Tasks for Block-based Programming. CoRR abs/2006.16913, 2020.
  5. Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz and Fuyuan Zhang. Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. CoRR abs/2004.05934, 2020.
  6. Hasan Ferit Eniser, Maria Christakis and Valentin Wüstholz. RAID: Randomized Adversarial-Input Detection for Neural Networks. CoRR abs/2002.02776, 2020.
  7. Caterina Urban, Maria Christakis, Valentin Wüstholz and Fuyuan Zhang. Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499, 2019.
  8. Fuyuan Zhang, Sankalan Pal Chowdhury and Maria Christakis. DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks. CoRR abs/1910.06296, 2019.
  9. Valentin Wüstholz and Maria Christakis. Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR abs/1905.07147, 2019.
  10. Valentin Wüstholz and Maria Christakis. Harvey: A Greybox Fuzzer for Smart Contracts. CoRR abs/1905.06944, 2019.
  11. Christian Klinger, Maria Christakis and Valentin Wüstholz. Differentially Testing Soundness and Precision of Program Analyzers. CoRR abs/1812.05033, 2018.
  12. Valentin Wüstholz and Maria Christakis. Learning Inputs in Greybox Fuzzing. CoRR abs/1807.07875, 2018.
  13. Florentin Guth, Valentin Wüstholz, Maria Christakis and Peter Müller. Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR abs/1807.07822, 2018.
  14. Kostas Ferles, Valentin Wüstholz, Maria Christakis and Isil Dillig. Failure-Directed Program Trimming (Extended Version). CoRR abs/1706.04468, 2017.
  15. Maria Christakis, Patrick Emmisberger, Patrice Godefroid and Peter Müller. A General Framework for Dynamic Stub Injection. MSR-TR-2016-35, 2016. Microsoft Research.
  16. Maria Christakis, Peter Müller and Valentin Wüstholz. Guiding Dynamic Symbolic Execution Toward Unverified Program Executions. 2015. ETH Zurich.
  17. Maria Christakis and Patrice Godefroid. IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. MSR-TR-2015-10, 2015. Microsoft Research.
  18. Maria Christakis, Peter Müller and Valentin Wüstholz. An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. 2014. ETH Zurich.
  19. Maria Christakis and Patrice Godefroid. Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. MSR-TR-2013-120, 2013. Microsoft Research.
  20. Maria Christakis and Konstantinos Sagonas. Static Detection of Deadlocks in Erlang. In Draft Proceedings of the Twelfth International Symposium on Trends in Functional Programming (TFP'11), 2011. Department of Computer Systems and Computing, Universidad Complutense de Madrid.

Theses

  1. Maria Christakis. Narrowing the Gap Between Verification and Systematic Testing. Ph.D. thesis advised by Peter Müller. Department of Computer Science, ETH Zurich, Switzerland, June 2015.
  2. Maria Christakis. Race Condition Detection in Concurrent Erlang Applications Using Static Analysis. Diploma thesis advised by Kostis Sagonas. Department of Electrical and Computer Engineering, National Technical University of Athens, Greece, September 2009.
Contact
Maria Christakis
MPI-SWS
Paul-Ehrlich Strasse G 26
67663 Kaiserslautern
Germany
E-mail: maria@mpi-sws.org