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 | 103 | 2015 |
Doo bee doo bee doo L Convent, S Lindley, C McBride, C McLaughlin Journal of Functional Programming 30, e9, 2020 | 54 | 2020 |
Triangulating context lemmas C McLaughlin, J McKinna, I Stark Proceedings of the 7th acm sigplan international conference on certified …, 2018 | 17 | 2018 |
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 | 10 | 2023 |
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 | 5 | 2023 |
Relational reasoning for effects and handlers C McLaughlin The University of Edinburgh, 2020 | 2 | 2020 |
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 | | |