POPL 2017
Sun 15 - Sat 21 January 2017
Jade Alglave

Registered user since Thu 10 Nov 2016

Name: Jade Alglave

Bio: Jade Algave is a lecturer at University College London. Her area of expertise is weak memory models and the interface between hardware and programming languages. She actually understands what C++ programs do when run on a PPC processor!

Country: France

Affiliation: University College London

Personal website: http://www0.cs.ucl.ac.uk/staff/j.alglave/

Research interests: Concurrency, Memory models, Verification


POPL 2017Author of Ogre and Pythia, An invariance proof method for weak consistency models within the POPL-track
Show activities from other conferences

POPL 2017-profile
View general profile