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 (DAMP, 2009)

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 (POPL, 2009)

Fences in Weak Memory Models. - Jade Alglave; Luc Maranget; Susmit Sarkar; Peter Sewell (CAV, 2010)

Soundness of Data Flow Analyses for Weak Memory Models. - Jade Alglave; Daniel Kroening; John Lugton; Vincent Nimal; Michael Tautschnig (APLAS, 2011)

Making Software Verification Tools Really Work. - Jade Alglave; Alastair F. Donaldson; Daniel Kroening; Michael Tautschnig (ATVA, 2011)

Stability in Weak Memory Models. - Jade Alglave; Luc Maranget (CAV, 2011)

Understanding POWER multiprocessors. - Susmit Sarkar; Peter Sewell; Jade Alglave; Luc Maranget; Derek Williams (PLDI, 2011)

Litmus: Running Tests against Hardware. - Jade Alglave; Luc Maranget; Susmit Sarkar; Peter Sewell (TACAS, 2011)

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 (CAV, 2012)

Synchronising C/C++ and POWER. - Susmit Sarkar; Kayvan Memarian; Scott Owens; Mark Batty; Peter Sewell; Luc Maranget; Jade Alglave; Derek Williams (PLDI, 2012)

A formal hierarchy of weak memory models. - Jade Alglave (Formal Methods Syst. Des., 2012)

Fences in weak memory models (extended version). - Jade Alglave; Luc Maranget; Susmit Sarkar; Peter Sewell (Formal Methods Syst. Des., 2012)

Partial Orders for Efficient Bounded Model Checking of Concurrent Software. - Jade Alglave; Daniel Kroening; Michael Tautschnig (CAV, 2013)

Software Verification for Weak Memory via Program Transformation. - Jade Alglave; Daniel Kroening; Vincent Nimal; Michael Tautschnig (ESOP, 2013)

Herding Cats. - Jade Alglave; Luc Maranget; Michael Tautschnig (CoRR, 2013)

Partial Orders for Efficient BMC of Concurrent Software - Jade Alglave; Daniel Kroening; Michael Tautschnig (CoRR, 2013)

Concurrent Kleene Algebra of Partial Strings. - Alex Horn; Jade Alglave (CoRR, 2014)

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory. - Jade Alglave; Luc Maranget; Michael Tautschnig (ACM Trans. Program. Lang. Syst., 2014)

GPU Concurrency: Weak Behaviours and Programming Assumptions. - Jade Alglave; Mark Batty; Alastair F. Donaldson; Ganesh Gopalakrishnan; Jeroen Ketema; Daniel Poetzl; Tyler Sorensen 001; John Wickerson (ASPLOS, 2015)

Modeling of Architectures. - Jade Alglave (SFM, 2015)

New Lace and Arsenic: adventures in weak memory with a program logic. - Richard Bornat; Jade Alglave; Matthew J. Parkinson (CoRR, 2015)

I compute, therefore I am (buggy): methodic doubt meets multiprocessors. - Jade Alglave; Luc Maranget; Daniel Poetzl; Tyler Sorensen 001 (Adv. Math. Commun., 2015)

Simulation and Invariance for Weak Consistency. - Jade Alglave (SAS, 2016)

Syntax and analytic semantics of LISA. - Jade Alglave; Patrick Cousot (CoRR, 2016)

Syntax and semantics of the weak consistency model specification language cat. - Jade Alglave; Patrick Cousot; Luc Maranget (CoRR, 2016)

Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). - Jade Alglave; Patrick Cousot; Caterina Urban (Dagstuhl Reports, 2016)

Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging. - Jade Alglave (FMCAD, 2017)

Ogre and Pythia: an invariance proof method for weak consistency models. - Jade Alglave; Patrick Cousot (POPL, 2017)

Don't Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion. - Jade Alglave; Daniel Kroening; Vincent Nimal; Daniel Poetzl (ACM Trans. Program. Lang. Syst., 2017)

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel. - Jade Alglave; Luc Maranget; Paul E. McKenney; Andrea Parri; Alan S. Stern (ASPLOS, 2018)

Armed Cats: Formal Concurrency Modelling at Arm. - Jade Alglave; Will Deacon; Richard Grisenthwaite; Antoine Hacquard; Luc Maranget (ACM Trans. Program. Lang. Syst., 2021)

Puss in Boots: Formalizing Arm's Virtual Memory System Architecture. - Jade Alglave; Richard Grisenthwaite; Artem Khyzha; Luc Maranget; Nikos Nikoleris (IEEE Micro, 2024)