Luc Maranget

Publications

Article dans une revue (3)

Puss in Boots: Formalizing Arm’s Virtual Memory System Architecture Jade Alglave,Richard Grisenthwaite,Artem Khyzha,Luc Maranget,Nikos Nikoleris IEEE Micro, 2024, 44 (6), pp.83-91. ⟨10.1109/MM.2024.3422668⟩ Article dans une revue hal-04870500v1
Armed Cats: formal concurrency modelling at Arm Jade Alglave,Will Deacon,Richard Grisenthwaite,Antoine Hacquard,Luc Maranget ACM Transactions on Programming Languages and Systems (TOPLAS), 2021, 43, pp.1 - 54. ⟨10.1145/3458926⟩ Article dans une revue hal-03470858v1
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory Jade Alglave,Luc Maranget,Michael Tautschnig ACM Transactions on Programming Languages and Systems (TOPLAS), 2014, 36 (2), pp.7:1--7:74. ⟨10.1145/2627752⟩ Article dans une revue hal-01081364v1

Communication dans un congrès (11)

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
ARMv8-A system semantics: instruction fetch in relaxed architectures Ben Simner,Shaked Flur,Christopher Pulte,Alasdair Armstrong,Jean Pichon-Pharabodet al. ESOP 2020 - 29th European Symposium on Programming, Mar 2020, Dublin, Ireland Communication dans un congrès hal-02509910v1
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
Mixed-size Concurrency: ARM, POWER, C/C++11, and SC Shaked Flur,Susmit Sarkar,Christopher Pulte,Kyndylan Nienhuis,Luc Marangetet al. 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), ACM, Jan 2017, Paris, France Communication dans un congrès hal-01413221v1
Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur,Kathryn E. Gray,Christopher Pulte,Susmit Sarkar,Ali Sezginet al. Principles of Programming Languages 2016 (POPL 2016), Jan 2016, Saint Petersburg, United States Communication dans un congrès hal-01244776v1
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
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
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
Synchronising C/C++ and POWER Susmit Sarkar,Kayvan Memarian,Scott Owens,Mark Batty,Peter Sewellet 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

Autre publication scientifique (2)

A formal kernel memory-ordering model (Part 1 and 2) Jade Alglave,Luc Maranget,Paul Mckenney,Alan Stern,Andrea Parri 2017 Autre publication scientifique hal-01668178v1
Towards a Formalization of the HSA Memory Model in the cat Language Luc Maranget,Jade Alglave 2015, pp.57 Autre publication scientifique hal-01413251v1

Pré-publication, Document de travail (1)

Puss In Boots: on formalising Arm's Virtual Memory System Architecture (extended version) Jade Alglave,Richard Grisenthwaite,Artem Khyzha,Luc Maranget,Nikos Nikoleris 2024 Pré-publication, Document de travail hal-04567296v1

Rapport (10)

Évaluation des Logiciels Anne Canteaut,Miguel Angel Fernández,Luc Maranget,Sophie Perin,Mario Ricchiutoet al. [Rapport de recherche] Inria. 2021 Rapport (rapport de recherche) hal-03110723v1
Software Evaluation Anne Canteaut,Miguel Angel Fernández,Luc Maranget,Sophie Perin,Mario Ricchiutoet al. [Research Report] Inria. 2021 Rapport (rapport de recherche) hal-03110728v1
Fences in Weak Memory Models Alglave Jade,Luc Maranget [Research Report] RR-7010, INRIA. 2009 Rapport (rapport de recherche) inria-00408568v1
Fences and Synchronisation Idioms in Weak Memory Models Jade Alglave,Luc Maranget [Research Report] RR-7152, INRIA. 2009 Rapport (rapport de recherche) inria-00440863v1
Programming in JoCaml --- Extended Version Louis Mandel,Luc Maranget [Research Report] RR-6261, INRIA. 2007 Rapport (rapport de recherche) inria-00166125v2
Information Hiding, Inheritance and Concurrency Qin Ma,Luc Maranget [Research Report] RR-5631, INRIA. 2005, pp.74 Rapport (rapport de recherche) inria-00070376v1
Compiling Pattern Matching in Join-Patterns Qin Ma,Luc Maranget [Research Report] RR-5160, INRIA. 2004 Rapport (rapport de recherche) inria-00077047v1
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
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
Two Techniques for Compiling Lazy Pattern Matching Luc Maranget [Research Report] RR-2385, INRIA. 1994 Rapport (rapport de recherche) inria-00074292v1