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.
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.
Annual Report 2023/2024
VeTSS 2025
by