Luc Maranget

Identifiers

• name variant Luc Maranget 0.60 · backfill

Papers (3)

1. Syntax and semantics of the weak consistency model specification language cat cs.PL · 2016 · author #3
2. Herding Cats - Modelling, simulation, testing, and data-mining for weak memory cs.LO · 2013 · author #2
3. Algebraic Pattern Matching in Join Calculus cs.PL · 2008 · author #2

Mentions

• 1308.6810 #2 · backfill · confidence 0.70 Luc Maranget
• 0802.4018 #2 · backfill · confidence 0.70 Luc Maranget

Frequent Coauthors

• Jade Alglave 2 shared papers
• Michael Tautschnig 1 shared papers
• Patrick Cousot 1 shared papers
• Qin Ma 1 shared papers