Statistics
Publications
27
Citations
1.6K
H-Index
20
Active since
1991
Luc Maranget is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and compilers.
Publications per year
1991–2022
27
27
Jade Alglave, Luc Maranget, Michael Tautschnig · ACM Transactions on Programming Languages and Systems · 2014 · 335 citations · Full text
Understanding POWER multiprocessors
Susmit Sarkar, Peter Sewell, Jade Alglave et al. · 2011 · 190 citations
Understanding POWER multiprocessors
Susmit Sarkar, Peter Sewell, Jade Alglave et al. · ACM SIGPLAN Notices · 2011 · 170 citations
Modelling the ARMv8 architecture, operationally: concurrency and ISA
Shaked Flur, Kathryn E. Gray, Christopher Pulte et al. · 2016 · 139 citations · Full text
Susmit Sarkar, Kayvan Memarian, Scott Owens et al. · 2012 · 97 citations · Full text
1–5 of 27