Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Luc Maranget
conf.researchr.org general profile
ICFP 2016 profile
PLDI 2020 profile
POPL 2016 profile
POPL 2017 profile
POPL 2021 profile
POPL 2022 profile
POPL 2024 profile
STAF 2026 profile
Registered user since Mon 9 Mar 2020
Name:
Luc Maranget
Country:
France
Affiliation:
Inria
Personal website:
http://cambium.inria.fr/~maranget
Contributions
2026
GCM
Author of Purr-spectives on graphs within the GCM 2026-track
2024
POPL
Author of Arm Architecture and Formal Artifacts: Memory Model and Instruction Semantics within the TutorialFest-track
2022
POPL
Author of Extending Intel-x86 Consistency and Persistency: Formalising the Semantics of Intel-x86 Memory Types and Non-temporal Stores within the POPL-track
Author of Armed cats: formal concurrency modelling at Arm within the POPL-track
2021
POPL
Committee Member in Program Committee within the POPL-track
2020
DeepSpec
Author of ARMv8 and RISC-V relaxed memory concurrency within the REMS-DeepSpec 2020-track
2017
POPL
Author of Mixed-size Concurrency: ARM, POWER, C/C++11, and SC within the POPL-track
ERC member in External Review Committee within the POPL-track
2016
ML Family Workshop
Author of Ambiguous pattern variables within the ML-track
POPL
Author of Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA within the Research Papers-track
Share
x
Thu 13 Aug 21:05
