Objective Improvement: Algorithm for Controller Synthesis in Uncertain Environments.
Daniele Dell’Erba, Sven Schewe, and Ashutosh Trivedi. Proceedings of the 64th IEEE Conference on Decision and Control (CDC 2025), 2025.
About vetsseditor2
This author has not yet filled in any details.So far vetsseditor2 has created 48 blog entries.
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata.
Yong Li, Sven Schewe, and Moshe Y. Vardi. Theoretical Computer Science 1006:114650, TCS24, 2024.
Enhancing Adversarial Training with Second-Order Statistics of Weights.
Gaojie Jin, Xinping Yi, Wei Huang, Sven Schewe, and Xiaowei Huang. Transactions on Pattern Analysis and Machine Intelligence 47(10):8630-8641, TPAMI25. 2025.
Let’s Take Esoteric Programming Languages Seriously.
Jeremy Singer and Steve Draper. Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (CC), 2025.
Secure Scripting with CHERIoT MicroPython.
Duncan Lowther, Dejice Jacob, Jacob Trevor, and Jeremy Singer. Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (CC), 2025.
Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and Optimization.
Huanting Wang, Patrick Lenihan, and Zheng Wang. Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization (CGO), 2025.
SecureMind: A Framework for Benchmarking Large Language Models in Memory Bug Detection and Repair.
Huanting Wang, Dejice Jacob, David Kelly, Yehia Elkhatib, Jeremy Singer, and Zheng Wang. Proceedings of the 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM), [...]
Performance Characterisation of the Arm Morello Platform.
Xiaoyang Sun, Jeremy Singer, and Zheng Wang. Proceedings of the 2025 IEEE International Symposium on Workload Characterization (IISWC), 2025.
Celebrating the VeTSS Summer School 2025 Cohort: 4 days of Learning and Collaboration
The VeTSS Summer School 2025 was hosted by the Department of Computer Science at the University of Glasgow from August 11th to 14th. This [...]
Student’s experience at VeTSS Summer School 2025
University of Glasgow, 11th to 14th August 2025 Last week, I had an incredible time at the Institute on Verified Trustworthy Software Systems (VeTSS) [...]
by