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 2022||Armed cats: formal concurrency modelling at Arm|
|Show activities from other conferences|