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!
Affiliation: University College London
Personal website: http://www0.cs.ucl.ac.uk/staff/j.alglave/
Research interests: Concurrency, Memory models, Verification
|PLDI 2019||Committee Member in External Program Committee within the PLDI Research Papers-track|
|Show activities from other conferences|