A Corpus Processing and Analysis Pipeline for Quickref. - Antoine Hacquard; Didier Verna (ELS, 2021)

Armed Cats: Formal Concurrency Modelling at Arm. - Jade Alglave; Will Deacon; Richard Grisenthwaite; Antoine Hacquard; Luc Maranget (ACM Trans. Program. Lang. Syst., 2021)