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
Research interests:Concurrency, Memory models, Verification

Contributions

PLDI 2019 Committee Member in External Program Committee within the PLDI Research Papers-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
POPL 2017 Author of Ogre and Pythia, An invariance proof method for weak consistency models within the POPL-track
ECOOP 2016 Committee Member in Senior Mentors within the Summer School-track
Speaker of Research in Academia and Industry within the Summer School-track
Committee Member in Speakers within the Summer School-track
ESOP 2015 Committee Member in Program Committee within the ESOP-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015 Presenter of Herding Weak Memory Cats within the Summer School-track