- JSIL, an intermediate goto language with a symbolic execution engine with explicit management of execution errors that guides the feedback for symbolic testing and the automatic bi-abductive inference. The meta-theory underpinning JSIL is formally defined and modular, streamlining the proofs and guiding the implementation.
- a simple Core Events Semantics that is sufficiently expressive to describe the event models underlying these APIs;
This work is supported by Gardner’s UKRI Established Career Fellowship “VeTSpec: Verified Trustworthy Software Specification”. It was previously supported by the EPSRC programme grant EP/K008528/1: REMS: Rigorous Engineering of Mainstream Systems, the EPSRC/GCHQ grant EP/K032089/1: Certified Verification of Client-Side Web Programs, and the EPSRC programme grant EP/H008373/2: Resource Reasoning. We also have substantial collaboration with José Fragoso Santos, previously an RA in the group and now an Assistant Professor at the Instituto Superior Técnico, Lisbon.
Proceedings of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
Proceedings of the 46th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’19), vol. 3( POPL)
Proceedings of the 46th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’19)
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 11:1–11:14
Proceedings of the 20thh International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 1:1–1:4
- Arthur Charguéraud
- Alan Schmitt
- Thomas Wood
WWW ’18 Companion: The 2018 Web Conference Companion, April 23–27, 2018, Lyon, France
Proceedings of the 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’18), pp. 50:1–50:33
Ph.D. Thesis, Imperial College London
Proceedings of 26th Conference on Automated Deduction (CADE 26)
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 401–422