Výsledky vyhledávání - "Luc Maranget"

Akademický článek

Algebraic Pattern Matching in Join Calculus

Autor: Qin Ma, Luc Maranget

Publikováno v: Logical Methods in Computer Science, Vol Volume 4, Issue 1 (2008)

We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the interaction between concurrency and pattern matching; to define a practical compil

Externí odkaz: https://doaj.org/article/e029710540554727abf72a70baa62c01

Zobrazit plný text záznamu

Armed Cats

Autor: Richard Grisenthwaite, Luc Maranget, Will Deacon, Jade Alglave, Antoine Hacquard

Publikováno v: ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2021, 43, pp.1-54. ⟨10.1145/3458926⟩
ACM Transactions on Programming Languages and Systems (TOPLAS), 2021, 43, pp.1-54. ⟨10.1145/3458926⟩

We report on the process for formal concurrency modelling at Arm. An initial formal consistency model of the Arm achitecture, written in the cat language, was published and upstreamed to the herd+diy tool suite in 2017. Since then, we have extended t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5bfcc66ef27e302ae8306c30588f64fe
https://doi.org/10.1145/3458926

Zobrazit plný text záznamu

Extending Intel-X86 Consistency and Persistency: {F}ormalising the Semantics of Intel-X86 Memory Types and Non-Temporal Stores

Autor: Azalea Raad, Luc Maranget, Viktor Vafeiadis

Publikováno v: POPL 2022-Symposium on Principles of Programming Languages
POPL 2022-Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498683⟩
Proceedings of the ACM on Programming Languages
49th ACM SIGPLAN Symposium on Principles of Programming Languages

Existing semantic formalisations of the Intel-x86 architecture cover only a small fragment of its available features that are relevant for the consistency semantics of multi-threaded programs as well as the persistency semantics of programs interfaci

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49a2a0fee03baf2110b1d9aaadb9092a
https://inria.hal.science/hal-03426997/document

Zobrazit plný text záznamu

ARMv8-A system semantics: instruction fetch in relaxed architectures

Autor: Christopher Pulte, Alasdair Armstrong, Peter Sewell, Luc Maranget, Jean Pichon-Pharabod, Shaked Flur, Ben Simner

Publikováno v: ESOP 2020-29th European Symposium on Programming
ESOP 2020-29th European Symposium on Programming, Mar 2020, Dublin, Ireland
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030449131
ESOP
Programming Languages and Systems-29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Programming Languages and Systems

Computing relies on architecture specifications to decouple hardware and software development. Historically these have been prose documents, with all the problems that entails, but research over the last ten years has developed rigorous and executabl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6381fb55d3b77293ae2261bf3ddf52a2
https://hal.inria.fr/hal-02509910/file/esop2020.pdf

Zobrazit plný text záznamu

Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC

Autor: Susmit Sarkar, Peter Sewell, Mark Batty, Christopher Pulte, Kyndylan Nienhuis, Ali Sezgin, Luc Maranget, Shaked Flur, Kathryn E. Gray

Publikováno v: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), ACM, Jan 2017, Paris, France
POPL

This work was partly funded by the EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems, EP/K008528/1, EPSRC grant C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence EP/M027317/1 (Sarkar), an ARM iCASE a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28e5ffb005cc51cf5dd097d1971c6ded
https://kar.kent.ac.uk/64723/1/mixed-size.pdf

Zobrazit plný text záznamu

Herding Cats

Autor: Luc Maranget, Jade Alglave, Michael Tautschnig

Publikováno v: ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), 2014, 36 (2), pp.7:1--7:74. ⟨10.1145/2627752⟩
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2014, 36 (2), pp.7:1--7:74. ⟨10.1145/2627752⟩

International audience; We propose an axiomatic generic framework for modelling weak memory. We show how to instantiate this framework for Sequential Consistency (SC), Total Store Order (TSO), C++ restricted to release-acquire atomics, and Power. For

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1bc073779f1aff0f981d8758bf0f90fd
https://doi.org/10.1145/2627752

Zobrazit plný text záznamu

Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA

Autor: Kathryn E. Gray, Christopher Pulte, Ali Sezgin, Peter Sewell, Luc Maranget, Will Deacon, Susmit Sarkar, Shaked Flur

Publikováno v: Principles of Programming Languages 2016 (POPL 2016)
Principles of Programming Languages 2016 (POPL 2016), Jan 2016, Saint Petersburg, United States
POPL

This work was partly funded by the EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems, EP/K008528/1, the Scottish Funding Council (SICSA Early Career Industry Fellowship, Sarkar), an ARM iCASE award (Pulte), and ANR grant WMC (AN

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ff47d827ee18455402b0595f5a65e4c
https://hal.inria.fr/hal-01244776

Zobrazit plný text záznamu

Understanding POWER multiprocessors

Autor: Luc Maranget, Susmit Sarkar, Peter Sewell, Derek Edward Williams, Jade Alglave

Publikováno v: PLDI
PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '11: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2011, San Jose, United States. ⟨10.1145/1993498.1993520⟩

International audience; Exploiting today's multiprocessors requires high-performance and correct concurrent systems code (op-timising compilers, language runtimes, OS kernels, etc.), which in turn requires a good understanding of the observable proce

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6366d0548e70ef69d86c58382a6a0104
https://doi.org/10.1145/1993316.1993520

Zobrazit plný text záznamu

Warnings for pattern matching

Autor: Luc Maranget

Publikováno v: Journal of Functional Programming. 17:387-421

We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the definition of these anomalies, building upon pattern matching semantics, and propose a simple algorithm to detect them. We have integrated the al

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1be941881a10dca93101a4e477125299
https://doi.org/10.1017/s0956796807006223

Zobrazit plný text záznamu

FUNCTIONAL PEARL Functional satisfaction

Autor: Luc Maranget

Publikováno v: Journal of Functional Programming. 14:647-656

This work presents simple decision procedures for the propositional calculus and for a simple predicate calculus. These decision procedures are based upon enumeration of the possible values of the variables in an expression. Yet, by taking advantage

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::fab95accdd4058becf8d1bfa53ebb4e9
https://doi.org/10.1017/s0956796804005155

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání