Registered user since Thu 10 Nov 2016
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!
|POPL 2017||Ogre and Pythia, An invariance proof method for weak consistency models|
|Show activities from other conferences|
View general profile