Filter your results
- 21
- 4
- 11
- 10
- 2
- 2
- 10
- 25
- 1
- 3
- 1
- 1
- 2
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 23
- 2
- 14
- 11
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 25
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
25 Results
|
|
sorted by
|
|
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⟩
Conference papers
hal-01100859v1
|
||
|
Two Techniques for Compiling Lazy Pattern Matching[Research Report] RR-2385, INRIA. 1994
Reports
inria-00074292v1
|
||
|
Ambiguous pattern variablesOCaml 2016: The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan. pp.2
Conference papers
hal-01413241v1
|
||
|
Modelling the ARMv8 Architecture, Operationally: Concurrency and ISAPrinciples of Programming Languages 2016 (POPL 2016), Jan 2016, Saint Petersburg, United States
Conference papers
hal-01244776v1
|
||
|
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrièresJFLA, Jan 2014, Fréjus, France
Conference papers
hal-01088655v1
|
||
|
Évaluation des Logiciels[Rapport de recherche] Inria. 2021
Reports
hal-03110723v1
|
||
|
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⟩
Conference papers
hal-01081413v1
|
||
|
Extending Intel-x86 Consistency and PersistencyPOPL 2022 - Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498683⟩
Conference papers
hal-03426997v1
|
||
|
Fences in Weak Memory Models[Research Report] RR-7010, INRIA. 2009
Reports
inria-00408568v1
|
||
|
Programming in JoCaml --- Extended Version[Research Report] RR-6261, INRIA. 2007
Reports
inria-00166125v2
|
||
|
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⟩
Conference papers
hal-01100851v1
|
||
|
ARMv8-A system semantics: instruction fetch in relaxed architecturesESOP 2020 - 29th European Symposium on Programming, Mar 2020, Dublin, Ireland
Conference papers
hal-02509910v1
|
||
|
Expressive Synchronization Types for Inheritance in the Join Calculus[Research Report] RR-4889, INRIA. 2003
Reports
inria-00071693v1
|
||
|
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⟩
Journal articles
hal-01081364v1
|
||
A formal kernel memory-ordering model (Part 1 and 2)2017
Other publications
hal-01668178v1
|
|||
|
Functional Back-Ends within the Lambda-Sigma Calculus[Research Report] RR-3034, INRIA. 1996
Reports
inria-00073659v1
|
||
|
Compiling Pattern Matching in Join-Patterns[Research Report] RR-5160, INRIA. 2004
Reports
inria-00077047v1
|
||
|
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⟩
Conference papers
hal-01873636v1
|
||
|
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
Conference papers
hal-01413221v1
|
||
Towards a Formalization of the HSA Memory Model in the cat Language2015, pp.57
Other publications
hal-01413251v1
|
|||
|
Information Hiding, Inheritance and Concurrency[Research Report] RR-5631, INRIA. 2005, pp.74
Reports
inria-00070376v1
|
||
|
Armed Cats: formal concurrency modelling at ArmACM Transactions on Programming Languages and Systems (TOPLAS), 2021, 43, pp.1 - 54. ⟨10.1145/3458926⟩
Journal articles
hal-03470858v1
|
||
|
Fences and Synchronisation Idioms in Weak Memory Models[Research Report] RR-7152, INRIA. 2009
Reports
inria-00440863v1
|
||
|
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⟩
Conference papers
hal-01100798v1
|
||
|
Software Evaluation[Research Report] Inria. 2021
Reports
hal-03110728v1
|