Craig McLaughlin

According to our database, Craig McLaughlin authored at least 7 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Dargent: A Silver Bullet for Verified Data Layout Refinement.

Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah

Proc. ACM Program. Lang., January, 2023

Pancake: Verified Systems Programming Made Sweeter.

Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023

2020

Relational reasoning for effects and handlers.

Craig McLaughlin

PhD thesis, 2020

Doo bee doo bee doo.

Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin

J. Funct. Program., 2020

2018

Triangulating context lemmas.

Craig McLaughlin, James McKinna, Ian Stark

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Do be do be do.

Sam Lindley, Conor McBride, Craig McLaughlin

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

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

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015