Jade Alglave
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
11
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | On the Role of Prose in Specifications (Invited Talk). | Jade Alglave |
| 2018 | ASPLOS | Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. | Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern |
| 2017 | FMCAD | Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging. | Jade Alglave |
| 2017 | POPL | Ogre and Pythia: an invariance proof method for weak consistency models. | Jade Alglave, Patrick Cousot |
| 2016 | SAS | Simulation and Invariance for Weak Consistency. | Jade Alglave |
| 2015 | ASPLOS | GPU Concurrency: Weak Behaviours and Programming Assumptions. | Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson |
| 2014 | CAV | Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. | Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl |
| 2014 | PLDI | Herding cats: modelling, simulation, testing, and data-mining for weak memory. | Jade Alglave, Luc Maranget, Michael Tautschnig |
| 2013 | CAV | Partial Orders for Efficient Bounded Model Checking of Concurrent Software. | Jade Alglave, Daniel Kroening, Michael Tautschnig |
| 2013 | ESOP | Software Verification for Weak Memory via Program Transformation. | Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig |
| 2012 | CAV | An Axiomatic Memory Model for POWER Multiprocessors. | Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams |
| 2012 | PLDI | Synchronising C/C++ and POWER. | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
| 2011 | APLAS | Soundness of Data Flow Analyses for Weak Memory Models. | Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig |
| 2011 | ATVA | Making Software Verification Tools Really Work. | Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig |
| 2011 | CAV | Stability in Weak Memory Models. | Jade Alglave, Luc Maranget |
| 2011 | PLDI | Understanding POWER multiprocessors. | Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
| 2011 | TACAS | Litmus: Running Tests against Hardware. | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
| 2010 | CAV | Fences in Weak Memory Models. | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
| 2009 | POPL | The semantics of power and ARM multiprocessor machine code. | Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli |
| 2009 | POPL | The semantics of x86-CC multiprocessor machine code. | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |