Maria Christakis

Maria Christakis

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 4434689
Max Planck Institute for Software Systems
person_outline Maria Christakis's MOST POPULAR ARTICLES
1-) What developers want and need from program analysis: an empirical study Proceedings of the 31st IEEE/ACM international conference on automated …, 2016
2-) Harvey: A greybox fuzzer for smart contracts Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
3-) Guiding Dynamic Symbolic Execution toward Unverified Program Executions
4-) Collaborative verification and testing with explicit assumptions FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
5-) Perfectly parallel fairness certification of neural networks Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020