Jade Alglave

According to our database, Jade Alglave authored at least 31 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Armed Cats: Formal Concurrency Modelling at Arm.

Jade Alglave, Will Deacon, Richard Grisenthwaite, Antoine Hacquard, Luc Maranget

ACM Trans. Program. Lang. Syst., 2021

2018

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel.

Jade Alglave, Luc Maranget, Paul E. McKenney, Andrea Parri, Alan S. Stern

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

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

Ogre and Pythia: an invariance proof method for weak consistency models.

Jade Alglave, Patrick Cousot

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging.

Jade Alglave

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Concurrency with Weak Memory Models (Dagstuhl Seminar 16471).

Jade Alglave, Patrick Cousot, Caterina Urban

Dagstuhl Reports, 2016

Syntax and semantics of the weak consistency model specification language cat.

Jade Alglave, Patrick Cousot, Luc Maranget

CoRR, 2016

Syntax and analytic semantics of LISA.

Jade Alglave, Patrick Cousot

CoRR, 2016

Simulation and Invariance for Weak Consistency.

Jade Alglave

Proceedings of the Static Analysis - 23rd International Symposium, 2016

2015

I compute, therefore I am (buggy): methodic doubt meets multiprocessors.

Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen

Adv. Math. Commun., 2015

New Lace and Arsenic: adventures in weak memory with a program logic.

Richard Bornat, Jade Alglave, Matthew J. Parkinson

CoRR, 2015

Modeling of Architectures.

Jade Alglave

Proceedings of the Formal Methods for Multicore Programming, 2015

GPU Concurrency: Weak Behaviours and Programming Assumptions.

Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory.

Jade Alglave, Luc Maranget, Michael Tautschnig

ACM Trans. Program. Lang. Syst., 2014

Concurrent Kleene Algebra of Partial Strings.

Alex Horn, Jade Alglave

CoRR, 2014

2013

Partial Orders for Efficient BMC of Concurrent Software

Jade Alglave, Daniel Kroening, Michael Tautschnig

CoRR, 2013

Herding Cats.

Jade Alglave, Luc Maranget, Michael Tautschnig

CoRR, 2013

Software Verification for Weak Memory via Program Transformation.

Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig

Proceedings of the Programming Languages and Systems, 2013

Partial Orders for Efficient Bounded Model Checking of Concurrent Software.

Jade Alglave, Daniel Kroening, Michael Tautschnig

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Fences in weak memory models (extended version).

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell

Formal Methods Syst. Des., 2012

A formal hierarchy of weak memory models.

Jade Alglave

Formal Methods Syst. Des., 2012

Synchronising C/C++ and POWER.

Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

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

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Litmus: Running Tests against Hardware.

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Understanding POWER multiprocessors.

Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Stability in Weak Memory Models.

Jade Alglave, Luc Maranget

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Making Software Verification Tools Really Work.

Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig

Proceedings of the Automated Technology for Verification and Analysis, 2011

Soundness of Data Flow Analyses for Weak Memory Models.

Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Fences in Weak Memory Models.

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

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

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

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

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009