PhD Dissertation

• Relational Reasoning for Effects and Handlers Craig McLaughlin. University of Edinburgh. 2020.

Publications

• Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language. Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis. In 2015 ACM SIGPLAN International Conference on Functional Programming (ICFP 2015)
• Do Be Do Be Do Sam Lindley, Conor McBride, Craig McLaughlin. In 2017 ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
• Triangulating Context Lemmas Craig McLaughlin, James McKinna, Ian Stark. In 2018 ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018)
• Dargent: A Silver Bullet for Verified Data Layout Refinement Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah In Proceedings of the ACM on Programming Languages (POPL 2023)