2025W

• Advanced Software Engineering / 194.187 / VU
• Seminar in Computer Science (Software Engineering) / 194.188 / SE

• Fuzzing Processing Pipelines for Zero-Knowledge Circuits / Hochrainer, C., Isychev, A., Wüstholz, V., & Christakis, M. (2025). Fuzzing Processing Pipelines for Zero-Knowledge Circuits. In CCS ’25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 783–797). Association for Computing Machinery. https://doi.org/10.1145/3719027.3744791
  Projects: ForSmart (2023–2027) / MirandaTesting (2023–2028)
• Cost of soundness in mixed-precision tuning / Isychev, A., & Lohar, D. (2025). Cost of soundness in mixed-precision tuning. Proceedings of the ACM on Programming Languages, 9(OOPSLA2), Article 359. https://doi.org/10.1145/3763137
  Download: Cost of Soundness in Mixed-Precision Tuning (1.05 MB)
• Using Action-Policy Testing in RL to Reduce the Number of Bugs / Eniser, H. F., Lin, S., Müller, N., Isychev, A., Wüstholz, V., Valera, I., Hoffmann, J., & Christakis, M. (2025). Using Action-Policy Testing in RL to Reduce the Number of Bugs. In M. Likhachev, H. Rudová, & E. Scala (Eds.), Eighteenth International Symposium on Combinatorial Search (pp. 181–185). AAAI Press. http://hdl.handle.net/20.500.12708/226143
• Lazy Testing of Machine-Learning Models / Isychev, A., Wüstholz, V., & Christakis, M. (2025). Lazy Testing of Machine-Learning Models. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (pp. 7428–7436). https://doi.org/10.24963/ijcai.2025/826
  Project: DK - AR (2025–2029)
• Fuzzing Processing Pipelines for Zero-Knowledge Circuits / Hochrainer, C., Isychev, A., Wüstholz, V., & Christakis, M. (2024). Fuzzing Processing Pipelines for Zero-Knowledge Circuits. arXiv. https://doi.org/10.48550/arXiv.2411.02077
  Download: Fuzzing Processing Pipelines for Zero-Knowledge Circuits (716 KB)
  Projects: ForSmart (2023–2027) / MirandaTesting (2023–2028)
• Constraint-Based Test Oracles for Program Analyzers / Fleischmann, M., Kaindlstorfer, D. M., Isychev, A., Wüstholz, V., & Christakis, M. (2024). Constraint-Based Test Oracles for Program Analyzers. In V. Filkov, B. Ray, & M. Zhou (Eds.), ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (pp. 344–355). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695035
  Download: PDF (712 KB)
  Project: MirandaTesting (2023–2028)
• Interrogation Testing of Program Analyzers for Soundness and Precision Issues / Kaindlstorfer, D., Isychev, A., Wüstholz, V., & Christakis, M. (2024). Interrogation Testing of Program Analyzers for Soundness and Precision Issues. In ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (pp. 319–330). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695034
  Download: PDF (848 KB)
  Project: MirandaTesting (2023–2028)