Luc Maranget

27
Documents

Publications

Publications

Image document

Extending Intel-x86 Consistency and Persistency

Azalea Raad , Luc Maranget , Viktor Vafeiadis
POPL 2022 - Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498683⟩
Communication dans un congrès hal-03426997 v1
Image document

ARMv8-A system semantics: instruction fetch in relaxed architectures

Ben Simner , Shaked Flur , Christopher Pulte , Alasdair Armstrong , Jean Pichon-Pharabod et al.
ESOP 2020 - 29th European Symposium on Programming, Mar 2020, Dublin, Ireland
Communication dans un congrès hal-02509910 v1
Image document

Frightening Small Children and Disconcerting Grown-ups

Jade Alglave , Luc Maranget , Paul Mckenney , Andrea Parri , Alan Stern
ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2018, Williamsburg, VA, United States. ⟨10.1145/3173162.3177156⟩
Communication dans un congrès hal-01873636 v1
Image document

Mixed-size Concurrency: ARM, POWER, C/C++11, and SC

Shaked Flur , Susmit Sarkar , Christopher Pulte , Kyndylan Nienhuis , Luc Maranget et al.
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), ACM, Jan 2017, Paris, France
Communication dans un congrès hal-01413221 v1
Image document

Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA

Shaked Flur , Kathryn E. Gray , Christopher Pulte , Susmit Sarkar , Ali Sezgin et al.
Principles of Programming Languages 2016 (POPL 2016), Jan 2016, Saint Petersburg, United States
Communication dans un congrès hal-01244776 v1
Image document

Ambiguous pattern variables

Gabriel Scherer , Luc Maranget , Thomas Réfis
OCaml 2016: The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan. pp.2
Communication dans un congrès hal-01413241 v1
Image document

Herding cats: Modelling, simulation, testing, and data-mining for weak memory

Jade Alglave , Luc Maranget , Michael Tautschnig
PLDI '14: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2014, Edinburg, United Kingdom. pp.40, ⟨10.1145/2594291.2594347⟩
Communication dans un congrès hal-01081413 v1
Image document

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières

Sylvain Conchon , Luc Maranget , Alain Mebsout , David Declerck
JFLA, Jan 2014, Fréjus, France
Communication dans un congrès hal-01088655 v1
Image document

Synchronising C/C++ and POWER

Susmit Sarkar , Kayvan Memarian , Scott Owens , Mark Batty , Peter Sewell et al.
PLDI '12: Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2012, Beijing, China. ⟨10.1145/2254064.2254102⟩
Communication dans un congrès hal-01100798 v1

Litmus: Running Tests against Hardware

Luc Maranget , Jade Alglave , Susmit Sarkar , Peter Sewell
TACAS'11, 17th International Conference on Tools And Algorithms for the Construction and Analysis of Systems, Mar 2011, Saarbrücken, Germany. ⟨10.1007/978-3-642-19835-9_5⟩
Communication dans un congrès istex hal-01100851 v1

Fences in Weak Memory Models

Jade Alglave , Luc Maranget , Susmit Sarkar , Peter Sewell
CAV'10, Computer Aided Verification - 22nd International Conference, Jul 2010, Edinburgh, United Kingdom. ⟨10.1007/978-3-642-14295-6_25⟩
Communication dans un congrès hal-01100859 v1
Image document

Évaluation des Logiciels

Anne Canteaut , Miguel Angel Fernández , Luc Maranget , Sophie Perin , Mario Ricchiuto et al.
[Rapport de recherche] Inria. 2021
Rapport (rapport de recherche) hal-03110723 v1
Image document

Software Evaluation

Anne Canteaut , Miguel Angel Fernández , Luc Maranget , Sophie Perin , Mario Ricchiuto et al.
[Research Report] Inria. 2021
Rapport (rapport de recherche) hal-03110728 v1
Image document

Fences in Weak Memory Models

Alglave Jade , Luc Maranget
[Research Report] RR-7010, INRIA. 2009
Rapport (rapport de recherche) inria-00408568 v1
Image document

Fences and Synchronisation Idioms in Weak Memory Models

Jade Alglave , Luc Maranget
[Research Report] RR-7152, INRIA. 2009
Rapport (rapport de recherche) inria-00440863 v1
Image document

Programming in JoCaml --- Extended Version

Louis Mandel , Luc Maranget
[Research Report] RR-6261, INRIA. 2007
Rapport (rapport de recherche) inria-00166125 v2
Image document

Information Hiding, Inheritance and Concurrency

Qin Ma , Luc Maranget
[Research Report] RR-5631, INRIA. 2005, pp.74
Rapport (rapport de recherche) inria-00070376 v1
Image document

Compiling Pattern Matching in Join-Patterns

Qin Ma , Luc Maranget
[Research Report] RR-5160, INRIA. 2004
Rapport (rapport de recherche) inria-00077047 v1
Image document

Expressive Synchronization Types for Inheritance in the Join Calculus

Qin Ma , Luc Maranget
[Research Report] RR-4889, INRIA. 2003
Rapport (rapport de recherche) inria-00071693 v1
Image document

Functional Back-Ends within the Lambda-Sigma Calculus

Thérèse Hardin , Luc Maranget , Bruno Pagano
[Research Report] RR-3034, INRIA. 1996
Rapport (rapport de recherche) inria-00073659 v1
Image document

Two Techniques for Compiling Lazy Pattern Matching

Luc Maranget
[Research Report] RR-2385, INRIA. 1994
Rapport (rapport de recherche) inria-00074292 v1