Craig McLaughlin

Registered user since Thu 23 Feb 2023

Name:Craig McLaughlin
Affiliation:UNSW Sydney
Personal website:
Research interests:Programming Languages, Formal Verification, Operating Systems, Type Theory, Compilers, Proof Assistants


HOPE 2023 Committee Member in Program Committee within the HOPE 2023-track
POPL 2023 Author of Dargent: A Silver Bullet for Verified Data Layout Refinement within the POPL-track