2025W

• Program Analysis / 192.168 / VU
• Seminar in Computer Science (Formal Methods in Systems Engineering) / 192.185 / SE
• Seminar in Logic (Formal Methods in Systems Engineering) / 192.184 / SE

• Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust / Sextl, F. (2026, April 13). Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust [Presentation]. Sixth Rust Verification Workshop (RW2026), Turin, Italy. https://doi.org/10.34726/12079
  Download: Talk slides (804 KB)
  Project: VASSAL (2024–2027)
• Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration / Sextl, F., Rogalewicz, A., Vojnar, T., & Zuleger, F. (2025). Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. In V. Vafeiadis (Ed.), Programming Languages and Systems (pp. 230–257). Springer, Cham. https://doi.org/10.1007/978-3-031-91121-7_10
• Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract) / Sextl, F., Rogalewicz, A., Vojnar, T., & Zuleger, F. (2025, January 21). Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Abstract) [Conference Presentation]. Theory and Practice of Static Analysis 2025, Denver, Colorado, United States of America (the). http://hdl.handle.net/20.500.12708/212815
• With Biabduction towards Memory Safety across the Rust-C-FFI / Sextl, F. (2024, September 17). With Biabduction towards Memory Safety across the Rust-C-FFI [Presentation]. Doctoral Symposium, TU Wien, Austria. http://hdl.handle.net/20.500.12708/204201

• Join operators for bi-abductive analysis of low-level code / Rysavy, L. (2024). Join operators for bi-abductive analysis of low-level code [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119373
  Download: PDF (1.3 MB)