From policy to practice: Lessons learned from an open science funding initiative.
PLoS Comput. Biol., December, 2023
Fine-Grained Trackability in Protocol Executions.
Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023
Program Synthesis for Program Analysis.
ACM Trans. Program. Lang. Syst., 2018
Proceedings of the FM 2016: Formal Methods, 2016
Under-approximating loops in C programs for fast counterexample detection.
Formal Methods Syst. Des., 2015
Using Program Synthesis for Program Analysis.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Accelerating Invariant Generation.
Proceedings of the Formal Methods in Computer-Aided Design, 2015
Proving Safety with Trace Automata and Bounded Model Checking.
Proceedings of the FM 2015: Formal Methods, 2015
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme.
Proceedings of the Fundamental Approaches to Software Engineering, 2015
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs.
Proceedings of the Programming Languages and Systems, 2015
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs.
Proceedings of the Programming Languages and Systems, 2015
Precise verification of C programs.
PhD thesis, 2014
Second-Order SAT Solving using Program Synthesis.
CoRR, 2014
Steel, Cast Iron and Concrete: Security Engineering for Real World Wireless Sensor Networks.
Proceedings of the Applied Cryptography and Network Security, 6th International Conference, 2008