Trustworthy Systems

Craig McLaughlin
Research Associate

Research Interests

Craig's research interests include type theory, logic, programming languages, compilers, and formal verification.

Contact Details

Email:c.mclaughlin@unsw.edu.au
Web:https://cmcl.github.io

More contact information is available at the Contact page.

Photo of Craig McLaughlin

Publication List

Projects

Current

Past

Publications

Trustworthy Systems Group Papers

2023

Abstract PDF Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson and Christine Rizkallah
Dargent: A silver bullet for verified data layout refinement
Proc. ACM Program. Lang., Volume 7, Number POPL, January, 2023