Luc Maranget

Viktor Vafeiadis

Proc. ACM Program. Lang., 2022

2021

Armed Cats: Formal Concurrency Modelling at Arm.

[BibT_eX]

[DOI]

Will Deacon

Richard Grisenthwaite

Antoine Hacquard

ACM Trans. Program. Lang. Syst., 2021

2020

ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2020

2018

Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Mixed-size concurrency: ARM, POWER, C/C++11, and SC.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Syntax and semantics of the weak consistency model specification language cat.

[BibT_eX]

[DOI]

Patrick Cousot

CoRR, 2016

Modelling the ARMv8 architecture, operationally: concurrency and ISA.

[BibT_eX]

[DOI]

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

I compute, therefore I am (buggy): methodic doubt meets multiprocessors.

[BibT_eX]

[DOI]

Tiny Trans. Comput. Sci., 2015

2014

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory.

[BibT_eX]

[DOI]

Michael Tautschnig

ACM Trans. Program. Lang. Syst., 2014

Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières.

[BibT_eX]

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Herding Cats.

[BibT_eX]

[DOI]

Michael Tautschnig

CoRR, 2013

2012

Fences in weak memory models (extended version).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2012

Synchronising C/C++ and POWER.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

An Axiomatic Memory Model for POWER Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Litmus: Running Tests against Hardware.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Understanding POWER multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Stability in Weak Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Fences in Weak Memory Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2008

Algebraic Pattern Matching in Join Calculus.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Compiling pattern matching to good decision trees.

[BibT_eX]

[DOI]

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

Programming in JoCaml (Tool Demonstration).

[BibT_eX]

[DOI]

Louis Mandel

Proceedings of the Programming Languages and Systems, 2008

2007

Warnings for pattern matching.

[BibT_eX]

[DOI]

J. Funct. Program., 2007

2006

Information Hiding in the Join Calculus.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2006

2005

Sharing in the Weak Lambda-Calculus.

[BibT_eX]

[DOI]

Tomasz Blanc

Jean-Jacques Lévy

Proceedings of the Processes, 2005

2004

Functional satisfaction.

[BibT_eX]

[DOI]

J. Funct. Program., 2004

Compiling Pattern Matching in Join-Patterns.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Inheritance in the join calculus.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2003

Les avertissements du filtrage.

[BibT_eX]

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

Expressive Synchronization Types for Inheritance in the Join Calculus.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

JoCaml: A Language for Concurrent Distributed and Mobile Programming.

[BibT_eX]

[DOI]

Proceedings of the Advanced Functional Programming, 2002

2001

Optimizing Pattern Matching.

[BibT_eX]

[DOI]

Fabrice Le Fessant

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

1999

Explicit Substitutions and Programming Languages.

[BibT_eX]

[DOI]

Jean-Jacques Lévy

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Functional Runtime Systems Within the Lambda-Sigma Calculus.

[BibT_eX]

[DOI]

Thérèse Hardin

J. Funct. Program., 1998

Compiling Join-Patterns.

[BibT_eX]

[DOI]

Fabrice Le Fessant

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

1997

Implicit Typing à la ML for the Join-Calculus.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Functional Back-Ends within the Lambda-Sigma Calculus.

[BibT_eX]

[DOI]

Thérèse Hardin

Bruno Pagano

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

A Calculus of Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '96, 1996

1992

Compiling Lazy Pattern Matching.

[BibT_eX]

[DOI]

Proceedings of the Conference on Lisp and Functional Programming, 1992

1991

Optimal Derivations in Weak Lambda-calculi and in Orthogonal Terms Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

GAML: a Parallel Implementation of Lazy ML.

[BibT_eX]

[DOI]