متابعة
Luc Maranget
Luc Maranget
Inria
بريد إلكتروني تم التحقق منه على inria.fr
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
A calculus of mobile agents‏
C Fournet, G Gonthier, JJ Lévy, L Maranget, D Rémy‏
CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996‏
6511996
Herding cats: Modelling, simulation, testing, and data mining for weak memory‏
J Alglave, L Maranget, M Tautschnig‏
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (2), 1-74, 2014‏
4842014
Understanding POWER multiprocessors‏
S Sarkar, P Sewell, J Alglave, L Maranget, D Williams‏
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011‏
3532011
Fences in weak memory models (extended version)‏
J Alglave, L Maranget, S Sarkar, P Sewell‏
Formal Methods in System Design 40, 170-205, 2012‏
218*2012
Modelling the ARMv8 architecture, operationally: Concurrency and ISA‏
S Flur, KE Gray, C Pulte, S Sarkar, A Sezgin, L Maranget, W Deacon, ...‏
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016‏
2032016
An axiomatic memory model for POWER multiprocessors‏
S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...‏
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012‏
1612012
Litmus: Running tests against hardware‏
J Alglave, L Maranget, S Sarkar, P Sewell‏
International Conference on Tools and Algorithms for the Construction and …, 2011‏
1512011
Synchronising c/c++ and power‏
S Sarkar, K Memarian, S Owens, M Batty, P Sewell, L Maranget, J Alglave, ...‏
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language …, 2012‏
1302012
Optimizing pattern matching‏
F Le Fessant, L Maranget‏
ACM SIGPLAN Notices 36 (10), 26-37, 2001‏
1202001
Implicit typing à la ML for the join-calculus‏
C Fournet, L Maranget, C Laneve, D Rémy‏
CONCUR'97: Concurrency Theory: 8th International Conference Warsaw, Poland …, 1997‏
1041997
Compiling pattern matching to good decision trees‏
L Maranget‏
Proceedings of the 2008 ACM SIGPLAN workshop on ML, 35-46, 2008‏
932008
JoCaml: A language for concurrent distributed and mobile programming‏
C Fournet, F Le Fessant, L Maranget, A Schmitt‏
International School on Advanced Functional Programming, 129-158, 2002‏
912002
Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems‏
L Maranget‏
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991‏
891991
Stability in weak memory models‏
J Alglave, L Maranget‏
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011‏
792011
Functional runtime systems within the lambda-sigma calculus‏
T Hardin, L Maranget, B Pagano‏
Journal of Functional Programming 8 (2), 131-176, 1998‏
771998
Frightening small children and disconcerting grown-ups: Concurrency in the linux kernel‏
J Alglave, L Maranget, PE McKenney, A Parri, A Stern‏
Proceedings of the Twenty-Third International Conference on Architectural …, 2018‏
752018
A tutorial introduction to the ARM and POWER relaxed memory models‏
L Maranget, S Sarkar, P Sewell‏
Draft available from http://www. cl. cam. ac. uk/~ pes20/ppc-supplemental …, 2012‏
742012
Compiling join-patterns‏
F Le Fessant, L Maranget‏
Electronic Notes in Theoretical Computer Science 16 (3), 205-224, 1998‏
671998
Mixed-size concurrency: ARM, Power, C/C++ 11, and SC‏
S Flur, S Sarkar, C Pulte, K Nienhuis, L Maranget, KE Gray, A Sezgin, ...‏
ACM SIGPLAN Notices 52 (1), 429-442, 2017‏
632017
Warnings for pattern matching‏
L Maranget‏
Journal of Functional Programming 17 (3), 387-421, 2007‏
632007
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20