Maria Christakis
Univ.Prof.in Dr.in sc.
Roles
-
Head of Research Unit
Software Engineering, E194-01 -
Full Professor
Software Engineering, E194-01 -
Curriculum Coordinator
Bachelor Informatics / Specialization Software Engineering -
Curriculum Coordinator
Master Software Engineering and Internet Computing
Courses
2023W
- Advanced Software Engineering / 194.021 / VU
- Bachelor Thesis / 188.919 / PR
- Seminar for Master Students in Software Engineering & Internet Computing / 180.777 / SE
- Software Engineering / 194.020 / VU
Projects
-
Testing Program Analyzers Ad Absurdum
2023 – 2028 / European Commission
Publications: 188016 / 188021 -
Effective Formal Methods for Smart-Contract Certification
2023 – 2027 / Vienna Science and Technology Fund (WWTF) -
Facebook Faculty Research Award for significant research contributions in the area
of Program Analysis
2022 – 2025 / Max-Planck-Gesellschaft zur Förderu der Wissenschaften e.V. -
Google Research Scholar Award for conducting research on "Metamorphic Specification and Testing of Machine-Learning Models"
2022 – 2025 / Max-Planck-Gesellschaft zur Förderu der Wissenschaften e.V.
Publication: 188066 -
Future Teachers Education: Computational Thinking and STEAM
2019 – 2022 / European Commission
Publication: 153710 -
Bebras: international Challenge on Informatics and Computational Thinking
2007 – 2027 / Biber der Informatik
Publication: 189823
Publications
- Automatically Testing Functional Properties of Code Translation Models / Eniser, H. F., Wüstholz, V., & Christaki, M. (2023). Automatically Testing Functional Properties of Code Translation Models. https://doi.org/10.48550/arXiv.2309.12813
- Rigorous Software Engineering / Christaki, M. (2023, July 26). Rigorous Software Engineering [Presentation]. Microsoft Research talks, Redmond, United States of America (the). http://hdl.handle.net/20.500.12708/187864
-
Green Fuzzer Benchmarking
/
Ounjai, J., Wüstholz, V., & Christaki, M. (2023). Green Fuzzer Benchmarking. In ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 1396–1406). Association for Computing Machinery. https://doi.org/10.1145/3597926.3598144
Download: PDF (307 KB)
Project: MirandaTesting (2023–2028) -
Dependency-Aware Metamorphic Testing of Datalog Engines
/
Numair Mansur, M., Wüstholz, V., & Christaki, M. (2023). Dependency-Aware Metamorphic Testing of Datalog Engines. In ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 236–247). Association for Computing Machinery. https://doi.org/10.1145/3597926.3598052
Download: PDF (398 KB)
Project: MirandaTesting (2023–2028) - Rigorous Software Engineering / Christaki, M. (2023, June 13). Rigorous Software Engineering [Keynote Presentation]. SBA IMPACT 2023, Wien, Austria. http://hdl.handle.net/20.500.12708/187788
- Rigorous Software Engineering / Christaki, M. (2023, February 2). Rigorous Software Engineering [Presentation]. Automated Reasoning Symposium Technical Talk, United States of America (the). http://hdl.handle.net/20.500.12708/187849
- Software Bug Detection: Challenges and Synergies / Böhme, M., Christaki, M., Padhye, R., Serebryany, K., Zeller, A., & Eniser, H. F. (2023). Software Bug Detection: Challenges and Synergies. https://doi.org/https://doi.org/10.4230/DagRep.13.3.92
-
Automatic Metamorphic Test Oracles for Action-Policy Testing
/
Eisenhut, J., Torralba, Á., Christaki, M., & Hoffmann, J. (2023). Automatic Metamorphic Test Oracles for Action-Policy Testing. In S. Koenig, R. Stern, & M. Vallati (Eds.), Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling (pp. 109–117). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/icaps.v33i1.27185
Download: PDF (313 KB) -
Specifying and Testing k-Safety Properties for Machine-Learning Models
/
Christaki, M., Eniser, H. F., Hoffmann, J., Singla, A., & Wüstholz, V. (2023). Specifying and Testing k-Safety Properties for Machine-Learning Models. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 4748–4757). https://doi.org/10.24963/ijcai.2023/528
Download: PDF (327 KB)
Project: Nomos (2022–2025) -
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks
/
Tercan, A., Ghosh, A., Eniser, H. F., Christaki, M., & Singla, A. (2023). Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. https://doi.org/10.48550/arXiv.2305.17518
Download: PDF (2.37 MB) -
Rigorous Methods for Smart Contracts
/
Bjørner, N., Christakis, M., Maffei, M., & Rosu, G. (Eds.). (2022). Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/DagRep.11.9.80
Projects: Browsec (2018–2024) / Ethertrust (2018–2019) / PR4DLT (2018–2021) / PROFET (2019–2023)