Follow
Craig McLaughlin
Title
Cited by
Cited by
Year
Pilsner: A compositionally verified compiler for a higher-order imperative language
G Neis, CK Hur, JO Kaiser, C McLaughlin, D Dreyer, V Vafeiadis
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
1032015
Doo bee doo bee doo
L Convent, S Lindley, C McBride, C McLaughlin
Journal of Functional Programming 30, e9, 2020
542020
Triangulating context lemmas
C McLaughlin, J McKinna, I Stark
Proceedings of the 7th acm sigplan international conference on certified …, 2018
172018
Dargent: A Silver Bullet for Verified Data Layout Refinement
Z Chen, A Lafont, L O'Connor, G Keller, C McLaughlin, V Jackson, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 1369-1395, 2023
112023
Pancake: verified systems programming made sweeter
JÅ Pohjola, HT Syeda, M Tanaka, K Winter, TW Sau, B Nott, TT Ung, ...
Proceedings of the 12th Workshop on programming languages and operating …, 2023
52023
Relational reasoning for effects and handlers
C McLaughlin
The University of Edinburgh, 2020
22020
Do Be Do. In: POPL'2017. ACM, New York, pp. 500-514. ISBN 9781450346603, http://dx. doi. org/10.1145/3009837.3009897
S Lindley, C McBride, C McLaughlin
Encapsulating Effects in Frank
L Convent, S Lindley, C McBride, C McLaughlin
The system can't perform the operation now. Try again later.
Articles 1–8