Get started
Author

Jade Alglave

Observed names: ALglave, Jade, Alglave, J, Alglave, Jade, J Alglave
Observed institutions: Microsoft (United States), Institut national de recherche en sciences et technologies du numérique, Queen Mary University of London, ARM (United Kingdom), University of Oxford, Microsoft Research (United Kingdom), University College London
ORCID: 0000-0002-8335-0852
Observed ORCID: 0000-0002-8335-0852
OpenAlex ID: A5020411788
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
2014 · Jade Alglave, Luc Maranget, et al. · ACM Transactions on Programming Languages and Systems · 398
PDF
Understanding POWER multiprocessors
2011 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 225
Partial Orders for Efficient Bounded Model Checking of Concurrent Software
2013 · Jade Alglave, Daniel Kroening, et al. · Lecture notes in computer science · 175
PDF
Understanding POWER multiprocessors
2011 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Notices · 173
The semantics of x86-CC multiprocessor machine code
2009 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 166
Fences in Weak Memory Models
2010 · Jade Alglave, Luc Maranget, et al. · Lecture notes in computer science · 163
PDF
GPU Concurrency: Weak Behaviours and Programming Assumptions
2015 · Jade Alglave, Mark Batty, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 136
An Axiomatic Memory Model for POWER Multiprocessors
2012 · Sela Mador-Haim, Luc Maranget, et al. · Lecture notes in computer science · 131
PDF
Litmus: Running Tests against Hardware
2011 · Jade Alglave, Luc Maranget, et al. · Lecture notes in computer science · 120
The semantics of power and ARM multiprocessor machine code
2009 · Jade Alglave, Anthony Fox, et al. · Workshop on Declarative Aspects of Multicore Programming · 113
Software Verification for Weak Memory via Program Transformation
2013 · Jade Alglave, Daniel Kroening, et al. · Lecture notes in computer science · 111
PDF
Synchronising C/C++ and POWER
2012 · Susmit Sarkar, Kayvan Memarian, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 108
A formal hierarchy of weak memory models
2012 · Jade Alglave · Formal Methods in System Design · 77
Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion
2017 · Jade Alglave, Daniel Kroening, et al. · ACM Transactions on Programming Languages and Systems · 75
PDF
Stability in Weak Memory Models
2011 · Jade Alglave, Luc Maranget · Lecture notes in computer science · 68
PDF
Armed Cats: Formal Concurrency Modelling at Arm
2021 · Jade Alglave, Will Deacon, et al. · ACM Transactions on Programming Languages and Systems · 60
PDF
Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel
2018 · Jade Alglave, Luc Maranget, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 56
PDF
Ogre and Pythia: an invariance proof method for weak consistency models
2016 · Jade Alglave, Patrick Cousot · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 45
PDF
The semantics of x86-CC multiprocessor machine code
2009 · Susmit Sarkar, Peter Sewell, et al. · ACM SIGPLAN Notices · 45
Herding cats: modelling, simulation, testing, and data-mining for weak memory
2014 · Jade Alglave, Luc Maranget, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 44
Fences in weak memory models (extended version)
2012 · Jade Alglave, Luc Maranget, et al. · Formal Methods in System Design · 43
Don’t Sit on the Fence
2014 · Jade Alglave, Daniel Kroening, et al. · Lecture notes in computer science · 41
Syntax and semantics of the weak consistency model specification language cat
2016 · Alglave, Jade, Cousot, Patrick, et al. · arXiv (Cornell University) · 32
PDF
Making Software Verification Tools Really Work
2011 · Jade Alglave, Alastair F. Donaldson, et al. · Lecture notes in computer science · 32
Relaxed memory models must be rigorous
2009 · Francesco Zappa Nardelli, Peter Sewell, et al. · 21
Works count: 76
Citation count: 2,794
H-index: 24
I10-index: 29
Year
Topic
Type