| 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 | 634 | 1996 |
| 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 | 395 | 2014 |
| Understanding POWER multiprocessors S Sarkar, P Sewell, J Alglave, L Maranget, D Williams Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 309 | 2011 |
| Fences in weak memory models (extended version) J Alglave, L Maranget, S Sarkar, P Sewell Formal Methods in System Design 40, 170-205, 2012 | 192* | 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 | 175 | 2016 |
| 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 | 147 | 2012 |
| Litmus: Running Tests against Hardware. J Alglave, L Maranget, S Sarkar, P Sewell TACAS 11, 41-44, 2011 | 127 | 2011 |
| Optimizing pattern matching F Le Fessant, L Maranget ACM SIGPLAN Notices 36 (10), 26-37, 2001 | 117 | 2001 |
| 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 | 116 | 2012 |
| 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 | 106 | 1997 |
| 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 | 91 | 1991 |
| JoCaml: A language for concurrent distributed and mobile programming C Fournet, F Le Fessant, L Maranget, A Schmitt Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003 | 86 | 2003 |
| Compiling pattern matching to good decision trees L Maranget Proceedings of the 2008 ACM SIGPLAN workshop on ML, 35-46, 2008 | 83 | 2008 |
| Stability in weak memory models J Alglave, L Maranget Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 76 | 2011 |
| Functional runtime systems within the lambda-sigma calculus T Hardin, L Maranget, B Pagano Journal of Functional Programming 8 (2), 131-176, 1998 | 75 | 1998 |
| 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 | 65 | 2012 |
| Compiling join-patterns F Le Fessant, L Maranget Electronic Notes in Theoretical Computer Science 16 (3), 205-224, 1998 | 64 | 1998 |
| 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 | 56 | 2018 |
| La stratégie paresseuse L Maranget Paris 7, 1992 | 52 | 1992 |
| Warnings for pattern matching L Maranget Journal of Functional Programming 17 (3), 387-421, 2007 | 49 | 2007 |
Jade AlglaveARM and University College LondonEmail verificata su ucl.ac.uk
