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.
Omega-Regular Reward Machines.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi and Dominik Wojtczak. In Proc. 26th European Conference on Artificial Intelligence (ECAI 2023), pp. [...]
Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference.
Nicolas Berthier and Narges Khakpour. In the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2023), 66-90. 2023.
Omega-Regular Decision Processes.
Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak. In Proc. Thirty-Eighth Conference on Artificial Intelligence (AAAI 2024), pp. 21125–21133. 2024.
Mining minimal separating DFAs from labelled samples.
Daniele Dell’Erba, Yong Li, Sven Schewe. In Proceedings of the 37th International Symposium on Formal Methods (FM 2024), pp. 48–66. 2024.
by