2025S

• Web Engineering / 194.161 / VU

• Language-Agnostic Static Analysis of Probabilistic Programs / Böck, M., Schröder, M., & Cito, J. (2024). Language-Agnostic Static Analysis of Probabilistic Programs. In ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (pp. 78–90). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695031
• Connecting the .dotfiles: Checked-In Secret Exposure with Extra (Lateral Movement) Steps / Jungwirth, G., Saha, A., Schröder, M., Fiebig, T., Lindorfer, M., & Cito, J. (2023). Connecting the .dotfiles: Checked-In Secret Exposure with Extra (Lateral Movement) Steps. In IEEE/ACM 20th International Conference on Mining Software Repositories (MSR) (pp. 322–333). https://doi.org/10.1109/MSR59073.2023.00051
  Project: IoTIO (2020–2025)
• Grammar Inference for Ad Hoc Parsers / Schröder, M. (2022). Grammar Inference for Ad Hoc Parsers. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion ’22) (pp. 38–42). Association for Computing Machinery. https://doi.org/10.1145/3563768.3565550
• Discovering Feature Flag Interdependencies in Microsoft Office / Schröder, M., Kevic, K., Gopstein, D., Murphy, B., & Beckmann, J. (2022). Discovering Feature Flag Interdependencies in Microsoft Office. In ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 1419–1429). Association for Computing Machinery. https://doi.org/10.1145/3540250.3558942
  Download: PDF (814 KB)
• Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers / Schröder, M., & Cito, J. (2022). Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers. In Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results (pp. 41–45). Association for Computing Machinery. https://doi.org/10.1145/3510455.3512787
• An Empirical Investigation of Command-Line Customization / Schröder, M., & Cito, J. (2022). An Empirical Investigation of Command-Line Customization. Empirical Software Engineering, 27(2), Article 30. https://doi.org/10.1007/s10664-021-10036-y
  Download: PDF (1.85 MB)
• Fine-Grained Relevance Annotations for Multi-Task Document Ranking and Question Answering / Hofstätter, S., Zlabinger, M., Sertkan, M., Schröder, M., & Hanbury, A. (2020). Fine-Grained Relevance Annotations for Multi-Task Document Ranking and Question Answering. In Proceedings of the 29th ACM International Conference on Information & Knowledge Management. CIKM 2020: International Conference on Information & Knowledge Management 2020, Virtual Event, Ireland. Association for Computing Machinery. https://doi.org/10.1145/3340531.3412878
• Improving Efficient Neural Ranking Models with Cross-Architecture Knowledge Distillation / Hofstätter, S., Althammer, S., Schröder, M., Sertkan, M., & Hanbury, A. (2020). Improving Efficient Neural Ranking Models with Cross-Architecture Knowledge Distillation (p. 8). arXiv. http://hdl.handle.net/20.500.12708/141680
• Aneuploidy in children with relapsed B-cell precursor acute lymphoblastic leukaemia: clinical importance of detecting a hypodiploid origin of relapse / Groeneveld-Krentz, S., Schröder, M., Reiter, M., Pogodzinski, M., Pimentel-Gutiérrez, H., Vagkopoulou, R., Hof, J., Chen-Santel, C., Nebral, K., Bradtke, J., Türkmen, S., Baldus, C., Gattenlöhner, S., Haas, O., von Stackelberg, A., Karawajew, L., Eckert, C., & Kirschner-Schwabe, R. (2019). Aneuploidy in children with relapsed B-cell precursor acute lymphoblastic leukaemia: clinical importance of detecting a hypodiploid origin of relapse. British Journal of Haematology, 185(2), 266–283. https://doi.org/10.1111/bjh.15770
• Durability and contention in software transactional memory / Schröder, M. (2015). Durability and contention in software transactional memory [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158792

• Static Grammar Inference for Ad Hoc Java Parsers / Hofbauer, S. (2025). Static Grammar Inference for Ad Hoc Java Parsers [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.122024
  Download: PDF (676 KB)
• Extending a refinement ƛ-calculus with polymorphism and data types / Hoffmann, J. (2024). Extending a refinement ƛ-calculus with polymorphism and data types [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.114629
  Download: PDF (913 KB)
• Enabling program analysis through provenance-preserving translation into A-Normal form / Goritschnig, M. (2024). Enabling program analysis through provenance-preserving translation into A-Normal form [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.106972
  Download: PDF (1.31 MB)