Conference Papers

  1. 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. (To appear)
    Acceptance rate: 16.4%
  2. 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), pages 332-343, 2016. ACM.
    Acceptance rate: 19.1%
  3. Maria Christakis and Valentin Wüstholz. Bounded Abstract Interpretation. In Proceedings of the 23rd Static Analysis Symposium (SAS'16), pages 105-125, 2016. Springer.
    Acceptance rate: 38.2%
  4. 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), pages 424-441, 2016. Springer.
    Acceptance rate: 28.7%
  5. 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), pages 144–155, 2016. ACM.
    Acceptance rate: 19.1%
    Received a distinguished paper award.
  6. 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), pages 300-318, 2015. Springer.
    Acceptance rate: 69.2%
  7. 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), pages 336-354, 2015. Springer.
    Acceptance rate: 45.3%
    Selected for submission to the Computer Languages, Systems & Structures journal.
  8. 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), pages 373-392, 2015. Springer.
    Acceptance rate: 45.3%
  9. 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), pages 269-284, 2014. Springer.
    Acceptance rate: 29.8%
  10. 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), pages 65-80, 2014. Springer.
    Acceptance rate: 27.4%
    Selected for submission to the Formal Aspects of Computing journal.
  11. 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), pages 643-657, 2014. Springer.
    Acceptance rate: 43.8%
  12. Maria Christakis, Alkis Gotovos and Konstantinos Sagonas. Systematic Testing for Detecting Concurrency Errors in Erlang Programs. In Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST'13), pages 154-163, 2013. IEEE.
    Acceptance rate: 25.0%
  13. 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), pages 132-146, 2012. Springer.
    Acceptance rate: 26.5%
  14. 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), pages 5-18, 2011. Springer.
    Acceptance rate: 45.0%
  15. 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), pages 119-133, 2010. Springer.
    Acceptance rate: 37.9%

Workshop Papers

  1. Alkis Gotovos, Maria Christakis and Konstantinos Sagonas. Test-Driven Development of Concurrent Programs using Concuerror. In Proceedings of the Tenth ACM SIGPLAN Erlang Workshop (ERLANG'11), pages 51-61, 2011. ACM.

Invited Papers

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

Technical Reports

  1. Maria Christakis, Patrick Emmisberger, Patrice Godefroid and Peter Müller. A General Framework for Dynamic Stub Injection. MSR-TR-2016-35, 2016. Microsoft Research.
  2. Maria Christakis, Peter Müller and Valentin Wüstholz. Guiding Dynamic Symbolic Execution toward Unverified Program Executions. 2015. ETH Zurich.
  3. Maria Christakis and Patrice Godefroid. IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. MSR-TR-2015-10, 2015. Microsoft Research.
  4. Maria Christakis, Peter Müller and Valentin Wüstholz. An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. 2014. ETH Zurich.
  5. 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.
  6. 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), pages 62-76, 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
Room SW14
School of Computing
University of Kent
Canterbury, CT2 7NF
England
E-mail: christakismaria@gmail.com