Craig McLaughlin

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Swarm Intelligence

Context Sensitive

Transactional Memory

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
Dargent: A Silver Bullet for Verified Data Layout Refinement. Proc. ACM Program. Lang. 7 (POPL) (2023)
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
Pancake: Verified Systems Programming Made Sweeter. PLOS@SOSP (2023)
Lukas Convent, Sam Lindley, Conor McBride, Craig McLaughlin
Doo bee doo bee doo. J. Funct. Program. 30 (2020)
Craig McLaughlin, James McKinna, Ian Stark
Triangulating context lemmas. CPP (2018)
Sam Lindley, Conor McBride, Craig McLaughlin
Do be do be do. POPL (2017)
Sam Lindley, Conor McBride, Craig McLaughlin
Do be do be do. CoRR (2016)
Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis
Pilsner: a compositionally verified compiler for a higher-order imperative language. ICFP (2015)