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.
Annual Report 2022/2023
VeTSS 2023
Taking Back Control in an Intermediate Representation for GPU Computing.
Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, and Alastair F. Donaldson. Proceedings of the ACM on Programming Languages, Volume 7, Issue POPL [...]
Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages.
Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, and Hana Watson. IEEE Conference on Software Testing, Verification and Validation (ICST [...]
Guarded Kleene Algebra with Tests: Automata Learning.
Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino. Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 – Proceedings of MFPS XXXVIII, February 28, 2023, [...]
Generators and Bases for Monadic Closures.
Stefan Zetzsche, Alexandra Silva and Matteo Sammartino. In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), [...]
Verifying Read-Copy Update Under RC11.
Mikhail Semenyuk, Mark Batty and Brijesh Dongol. In: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, [...]
Ownership-Based Owicki-Gries Reasoning.
Mikhail Semenyuk and Brijesh Dongol. SAC ’23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, March 2023, 1685–1694. 2023
Canonical Algebraic Generators in Automata Learning
Stefan Jens Zetzsche. PhD Thesis, University College London. 2023
by