Search - Archive ouverte HAL Access content directly

Filter your results

25 Results
Image document

Fences in Weak Memory Models

Alglave Jade , Luc Maranget
[Research Report] RR-7010, INRIA. 2009
Reports inria-00408568v1
Image document

Compiling Pattern Matching in Join-Patterns

Qin Ma , Luc Maranget
[Research Report] RR-5160, INRIA. 2004
Reports inria-00077047v1
Image document

Functional Back-Ends within the Lambda-Sigma Calculus

Thérèse Hardin , Luc Maranget , Bruno Pagano
[Research Report] RR-3034, INRIA. 1996
Reports inria-00073659v1
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⟩
Conference papers hal-01081413v1
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⟩
Conference papers hal-03426997v1

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⟩
Conference papers hal-01100851v1
Image document

Programming in JoCaml --- Extended Version

Louis Mandel , Luc Maranget
[Research Report] RR-6261, INRIA. 2007
Reports inria-00166125v2
Image document

Expressive Synchronization Types for Inheritance in the Join Calculus

Qin Ma , Luc Maranget
[Research Report] RR-4889, INRIA. 2003
Reports inria-00071693v1
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
Conference papers hal-02509910v1

A formal kernel memory-ordering model (Part 1 and 2)

Jade Alglave , Luc Maranget , Paul Mckenney , Alan Stern , Andrea Parri et al.
2017
Other publications hal-01668178v1
Image document

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⟩
Journal articles hal-01081364v1
Image document

Frightening Small Children and Disconcerting Grown-ups

Jade Alglave , Luc Maranget , Paul Mckenney , Andrea Parri , Alan Stern et al.
ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2018, Williamsburg, VA, United States. ⟨10.1145/3173162.3177156⟩
Conference papers hal-01873636v1

Towards a Formalization of the HSA Memory Model in the cat Language

Luc Maranget , Jade Alglave
2015, pp.57
Other publications hal-01413251v1
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
Conference papers hal-01413221v1
Image document

Information Hiding, Inheritance and Concurrency

Qin Ma , Luc Maranget
[Research Report] RR-5631, INRIA. 2005, pp.74
Reports inria-00070376v1
Image document

Fences and Synchronisation Idioms in Weak Memory Models

Jade Alglave , Luc Maranget
[Research Report] RR-7152, INRIA. 2009
Reports inria-00440863v1
Image document

Armed Cats: formal concurrency modelling at Arm

Jade Alglave , Will Deacon , Richard Grisenthwaite , Antoine Hacquard , Luc Maranget et al.
ACM Transactions on Programming Languages and Systems (TOPLAS), 2021, 43, pp.1 - 54. ⟨10.1145/3458926⟩
Journal articles hal-03470858v1
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⟩
Conference papers hal-01100798v1
Image document

Software Evaluation

Anne Canteaut , Miguel Angel Fernández , Luc Maranget , Sophie Perin , Mario Ricchiuto et al.
[Research Report] Inria. 2021
Reports hal-03110728v1
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
Conference papers hal-01413241v1
Image document

Two Techniques for Compiling Lazy Pattern Matching

Luc Maranget
[Research Report] RR-2385, INRIA. 1994
Reports inria-00074292v1

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⟩
Conference papers hal-01100859v1
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
Conference papers hal-01244776v1
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
Conference papers hal-01088655v1
Image document

Évaluation des Logiciels

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