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

Show activities from other conferences

PLDI 2023-profile
View general profile