ma pomme

j.alglave@ucl.ac.uk

Professor

Since March 2018, I am also working at Arm, where I am responsible for the memory model.

Publications

Software

The diy+herd tool suite

Software analysis

Coq developments

Ph.D. Thesis

818 Pumpkin