Jade Alglave

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 9

Top Topics

Computational Power

Static Analysis

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget
Armed Cats: Formal Concurrency Modelling at Arm. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern
Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. ASPLOS (2018)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. ACM Trans. Program. Lang. Syst. 39 (2) (2017)
Jade Alglave, Patrick Cousot
Ogre and Pythia: an invariance proof method for weak consistency models. POPL (2017)
Jade Alglave
Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging. FMCAD (2017)
Jade Alglave, Patrick Cousot, Caterina Urban
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). Dagstuhl Reports 6 (11) (2016)
Jade Alglave, Patrick Cousot
Syntax and analytic semantics of LISA. CoRR (2016)
Jade Alglave, Patrick Cousot, Luc Maranget
Syntax and semantics of the weak consistency model specification language cat. CoRR (2016)
Jade Alglave
Simulation and Invariance for Weak Consistency. SAS (2016)
Richard Bornat, Jade Alglave, Matthew J. Parkinson
New Lace and Arsenic: adventures in weak memory with a program logic. CoRR (2015)
Jade Alglave
Modeling of Architectures. SFM (2015)
Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS (2015)
Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen
I compute, therefore I am (buggy): methodic doubt meets multiprocessors. Tiny Trans. Comput. Sci. 3 (2015)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. ACM Trans. Program. Lang. Syst. 36 (2) (2014)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion. CAV (2014)
Alex Horn, Jade Alglave
Concurrent Kleene Algebra of Partial Strings. CoRR (2014)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding cats: modelling, simulation, testing, and data-mining for weak memory. PLDI (2014)
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
Software Verification for Weak Memory via Program Transformation. ESOP (2013)
Jade Alglave, Daniel Kroening, Michael Tautschnig
Partial Orders for Efficient BMC of Concurrent Software CoRR (2013)
Jade Alglave, Daniel Kroening, Vincent Nimal, Daniel Poetzl
Don't sit on the fence: A static analysis approach to automatic fence insertion. CoRR (2013)
Jade Alglave, Daniel Kroening, Michael Tautschnig
Partial Orders for Efficient Bounded Model Checking of Concurrent Software. CAV (2013)
Jade Alglave, Luc Maranget, Michael Tautschnig
Herding Cats. CoRR (2013)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Fences in weak memory models (extended version). Formal Methods Syst. Des. 40 (2) (2012)
Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams
Synchronising C/C++ and POWER. PLDI (2012)
Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
Software Verification for Weak Memory via Program Transformation CoRR (2012)
Jade Alglave
A formal hierarchy of weak memory models. Formal Methods Syst. Des. 41 (2) (2012)
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
An Axiomatic Memory Model for POWER Multiprocessors. CAV (2012)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Litmus: Running Tests against Hardware. TACAS (2011)
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams
Understanding POWER multiprocessors. PLDI (2011)
Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig
Soundness of Data Flow Analyses for Weak Memory Models. APLAS (2011)
Jade Alglave, Luc Maranget
Stability in Weak Memory Models. CAV (2011)
Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig
Making Software Verification Tools Really Work. ATVA (2011)
Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell
Fences in Weak Memory Models. CAV (2010)
Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli
The semantics of power and ARM multiprocessor machine code. DAMP (2009)
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave
The semantics of x86-CC multiprocessor machine code. POPL (2009)