Jade Alglave

Identifiers

• name variant Jade Alglave 0.60 · backfill

Papers (8)

1. I hope we don't do to trust what advertising has done to love cs.CY · 2026 · author #1
2. Syntax and semantics of the weak consistency model specification language cat cs.PL · 2016 · author #1
3. Syntax and analytic semantics of LISA cs.PL · 2016 · author #1
4. Concurrent Kleene Algebra of Partial Strings cs.LO · 2014 · author #2
5. Don't sit on the fence: A static analysis approach to automatic fence insertion cs.LO · 2013 · author #1
6. Herding Cats - Modelling, simulation, testing, and data-mining for weak memory cs.LO · 2013 · author #1
7. Partial Orders for Efficient BMC of Concurrent Software cs.LO · 2013 · author #1
8. Software Verification for Weak Memory via Program Transformation cs.LO · 2012 · author #1

Mentions

• 1407.0385 #2 · backfill · confidence 0.70 Jade Alglave
• 1312.1411 #1 · backfill · confidence 0.70 Jade Alglave
• 1308.6810 #1 · backfill · confidence 0.70 Jade Alglave
• 1301.1629 #1 · backfill · confidence 0.70 Jade Alglave
• 1207.7264 #1 · backfill · confidence 0.70 Jade Alglave

Frequent Coauthors

• Daniel Kroening 3 shared papers
• Michael Tautschnig 3 shared papers
• Luc Maranget 2 shared papers
• Patrick Cousot 2 shared papers
• Vincent Nimal 2 shared papers
• Alex Horn 1 shared papers
• Daniel Poetzl 1 shared papers