Luc Maranget

27
Documents

Publications

Publications

Deposit thumbnail

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-03426997v1
Deposit thumbnail

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-02509910v1
Deposit thumbnail

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-01873636v1
Deposit thumbnail

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-01413221v1
Deposit thumbnail

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-01244776v1
Deposit thumbnail

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-01413241v1
Deposit thumbnail

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-01081413v1
Deposit thumbnail

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-01088655v1
Deposit thumbnail

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-01100798v1

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-01100851v1

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-01100859v1
Deposit thumbnail

É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-03110723v1
Deposit thumbnail

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-03110728v1
Deposit thumbnail

Fences in Weak Memory Models

Alglave Jade , Luc Maranget

[Research Report] RR-7010, INRIA. 2009

Rapport (rapport de recherche) inria-00408568v1
Deposit thumbnail

Fences and Synchronisation Idioms in Weak Memory Models

Jade Alglave , Luc Maranget

[Research Report] RR-7152, INRIA. 2009

Rapport (rapport de recherche) inria-00440863v1
Deposit thumbnail

Programming in JoCaml --- Extended Version

Louis Mandel , Luc Maranget

[Research Report] RR-6261, INRIA. 2007

Rapport (rapport de recherche) inria-00166125v2
Deposit thumbnail

Information Hiding, Inheritance and Concurrency

Qin Ma , Luc Maranget

[Research Report] RR-5631, INRIA. 2005, pp.74

Rapport (rapport de recherche) inria-00070376v1
Deposit thumbnail

Compiling Pattern Matching in Join-Patterns

Qin Ma , Luc Maranget

[Research Report] RR-5160, INRIA. 2004

Rapport (rapport de recherche) inria-00077047v1
Deposit thumbnail

Expressive Synchronization Types for Inheritance in the Join Calculus

Qin Ma , Luc Maranget

[Research Report] RR-4889, INRIA. 2003

Rapport (rapport de recherche) inria-00071693v1
Deposit thumbnail

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-00073659v1
Deposit thumbnail

Two Techniques for Compiling Lazy Pattern Matching

Luc Maranget

[Research Report] RR-2385, INRIA. 1994

Rapport (rapport de recherche) inria-00074292v1