Jade Alglave

Jade Alglave is a Professor of Computer Science at University College London, working within the Department of Computer Science. She is affiliated with the PPLV research group led by Peter O'Hearn, focusing on foundational aspects of programming languages and verification. Her work bridges the gap between theoretical computer science and practical systems implementation, particularly in the domain of memory models and concurrency.

Alglave's research spans distributed computing, systems software, information systems, theory of computation, and software engineering, with a particular emphasis on weak memory models and concurrent systems. Her work develops formal methods for specifying, verifying, and testing memory models across various hardware architectures including ARM, POWER, and x86. She has made significant contributions to understanding the formal semantics of concurrent programming and has developed tools like the diy7 suite for generating and analyzing litmus tests that expose subtle concurrency behaviors.

Her publications reveal a consistent research trajectory focused on creating rigorous formal frameworks for understanding weak memory behaviors, with applications to hardware verification, compiler design, and operating system development. The work has significant implications for ensuring correctness in concurrent and parallel systems where memory consistency is critical.

Alglave actively contributes to the research community through professional activities including serving as a conference referee for major venues, participating in the ERC member DAC, reviewing for journals like TOPLAS, serving on program committees for JFLA and PLDI, and organizing workshops like CAV.