Luc Maranget
27
Documents
Publications
Publications
|
|
Puss in Boots: Formalizing Arm’s Virtual Memory System ArchitectureIEEE Micro, 2024, 44 (6), pp.83-91. ⟨10.1109/MM.2024.3422668⟩
Article dans une revue
hal-04870500
v1
|
|
|
Armed Cats: formal concurrency modelling at ArmACM Transactions on Programming Languages and Systems (TOPLAS), 2021, 43, pp.1 - 54. ⟨10.1145/3458926⟩
Article dans une revue
hal-03470858
v1
|
|
|
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak MemoryACM Transactions on Programming Languages and Systems (TOPLAS), 2014, 36 (2), pp.7:1--7:74. ⟨10.1145/2627752⟩
Article dans une revue
hal-01081364
v1
|
|
|
Extending Intel-x86 Consistency and PersistencyPOPL 2022 - Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498683⟩
Communication dans un congrès
hal-03426997
v1
|
|
|
ARMv8-A system semantics: instruction fetch in relaxed architecturesESOP 2020 - 29th European Symposium on Programming, Mar 2020, Dublin, Ireland
Communication dans un congrès
hal-02509910
v1
|
|
|
Frightening Small Children and Disconcerting Grown-upsASPLOS2018 - 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
|
|
|
Mixed-size Concurrency: ARM, POWER, C/C++11, and SC44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), ACM, Jan 2017, Paris, France
Communication dans un congrès
hal-01413221
v1
|
|
|
Modelling the ARMv8 Architecture, Operationally: Concurrency and ISAPrinciples of Programming Languages 2016 (POPL 2016), Jan 2016, Saint Petersburg, United States
Communication dans un congrès
hal-01244776
v1
|
|
|
Ambiguous pattern variablesOCaml 2016: The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan. pp.2
Communication dans un congrès
hal-01413241
v1
|
|
|
Herding cats: Modelling, simulation, testing, and data-mining for weak memoryPLDI '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
|
|
|
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrièresJFLA, Jan 2014, Fréjus, France
Communication dans un congrès
hal-01088655
v1
|
|
|
Synchronising C/C++ and POWERPLDI '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 HardwareTACAS'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 ModelsCAV'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
|
A formal kernel memory-ordering model (Part 1 and 2)2017
Autre publication scientifique
hal-01668178
v1
|
|
Towards a Formalization of the HSA Memory Model in the cat Language2015, pp.57
Autre publication scientifique
hal-01413251
v1
|
|
|
Puss In Boots: on formalising Arm's Virtual Memory System Architecture (extended version)2024
Pré-publication, Document de travail
hal-04567296
v1
|
|
|
Évaluation des Logiciels[Rapport de recherche] Inria. 2021
Rapport
(rapport de recherche)
hal-03110723
v1
|
|
|
Software Evaluation[Research Report] Inria. 2021
Rapport
(rapport de recherche)
hal-03110728
v1
|
|
|
Fences in Weak Memory Models[Research Report] RR-7010, INRIA. 2009
Rapport
(rapport de recherche)
inria-00408568
v1
|
|
|
Fences and Synchronisation Idioms in Weak Memory Models[Research Report] RR-7152, INRIA. 2009
Rapport
(rapport de recherche)
inria-00440863
v1
|
|
|
Programming in JoCaml --- Extended Version[Research Report] RR-6261, INRIA. 2007
Rapport
(rapport de recherche)
inria-00166125
v2
|
|
|
Information Hiding, Inheritance and Concurrency[Research Report] RR-5631, INRIA. 2005, pp.74
Rapport
(rapport de recherche)
inria-00070376
v1
|
|
|
Compiling Pattern Matching in Join-Patterns[Research Report] RR-5160, INRIA. 2004
Rapport
(rapport de recherche)
inria-00077047
v1
|
|
|
Expressive Synchronization Types for Inheritance in the Join Calculus[Research Report] RR-4889, INRIA. 2003
Rapport
(rapport de recherche)
inria-00071693
v1
|
|
|
Functional Back-Ends within the Lambda-Sigma Calculus[Research Report] RR-3034, INRIA. 1996
Rapport
(rapport de recherche)
inria-00073659
v1
|
|
|
Two Techniques for Compiling Lazy Pattern Matching[Research Report] RR-2385, INRIA. 1994
Rapport
(rapport de recherche)
inria-00074292
v1
|
Chargement...
Chargement...