Maria Christakis

Research Interests

I am mostly interested in programming methodology and more specifically in:

• Software testing
• Program analysis and verification
• Concurrency

Publications

1. 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), 2013. IEEE. (BibTeX entry)
2. 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. (BibTeX entry)
3. 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. (BibTeX entry)
4. 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. (BibTeX entry)
5. 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. (BibTeX entry)

Also available: DBLP

Technical Reports

1. 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. (BibTeX entry)

Theses

• Maria Christakis. Race Condition Detection in Concurrent Erlang Applications Using Static Analysis. Undergraduate thesis advised by Kostis Sagonas, National Technical University of Athens, Greece, September 2009. (BibTeX entry)

Research Internships

Advisees

Invited Talks

1. Collaborative Verification and Testing with Explicit Assumptions and Testing Object Invariants. University of Washington, Washington, USA, May 2013.
2. Tutorial on Erlang. Programming Language working group, Microsoft Research Redmond, Washington, USA, April 2013.
3. Collaborative Verification and Testing with Explicit Assumptions and Testing Object Invariants. Program Analysis working group, Microsoft Research Redmond, Washington, USA, March 2013.
4. Collaborative Verification and Testing with Explicit Assumptions and Testing Object Invariants. Imperial College London, UK, February 2013.
5. Collaborative Verification and Testing with Explicit Assumptions and Testing Object Invariants. CEA, Paris, France, February 2013.
6. Collaborative Verification and Testing with Explicit Assumptions. Symbolic Methods in Testing, Dagstuhl Seminar, Saarland, Germany, January 2013.
7. Collaborative Verification and Testing with Explicit Assumptions. Tenth Programming Language Seminar, National Technical University of Athens, Greece, December 2012.
8. Static Detection of Concurrency Errors in Erlang. Eighth Programming Language Seminar, National Technical University of Athens, Greece, December 2010.