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

• 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

• 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)