POPL 2017
Sun 15 - Sat 21 January 2017
Jade Alglave

Registered user since Thu 10 Nov 2016

Name:Jade Alglave

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!

Affiliation:University College London
Research interests:Concurrency, Memory models, Verification


POPL 2017 Ogre and Pythia, An invariance proof method for weak consistency models
Show activities from other conferences

POPL 2017-profile
View general profile