Craig McLaughlin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2015–2023
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | PLOS | 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 |
| 2018 | CPP | Triangulating context lemmas. | Craig McLaughlin, James McKinna, Ian Stark |
| 2017 | POPL | Do be do be do. | Sam Lindley, Conor McBride, Craig McLaughlin |
| 2015 | ICFP | 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 |