By Dr Craig McLaughlin

Journal articles

Chen Z; Lafont A; O'Connor L; Keller G; McLaughlin C; Jackson V; Rizkallah C, 2023, 'Dargent: A Silver Bullet for Verified Data Layout Refinement', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3571240

Back to profile page