Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

25 résultats
Page :
triés par
Image document

Fences in Weak Memory Models

 Alglave Jade , Luc Maranget
[Research Report] RR-7010, INRIA. 2009
Rapport inria-00408568v1
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-03426997v1
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-01081413v1
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 inria-00073659v1
Image document

Compiling Pattern Matching in Join-Patterns

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

Programming in JoCaml --- Extended Version

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

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

Expressive Synchronization Types for Inheritance in the Join Calculus

 Qin Ma , Luc Maranget
[Research Report] RR-4889, INRIA. 2003
Rapport inria-00071693v1
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⟩
Article dans une revue hal-01081364v1
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-02509910v1

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
Image document

Fences and Synchronisation Idioms in Weak Memory Models

 Jade Alglave , Luc Maranget
[Research Report] RR-7152, INRIA. 2009
Rapport inria-00440863v1
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-01100798v1
Image document

Software Evaluation

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

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

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

 Luc Maranget , Jade Alglave
2015, pp.57
Autre publication scientifique 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
Communication dans un congrès hal-01413221v1
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-01873636v1
Image document

Information Hiding, Inheritance and Concurrency

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

Two Techniques for Compiling Lazy Pattern Matching

 Luc Maranget
[Research Report] RR-2385, INRIA. 1994
Rapport inria-00074292v1
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 hal-03110723v1
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-01413241v1
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-01244776v1

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
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-01088655v1
Page :