AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Luc Maranget

Luc Maranget

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4420317
French National Institute for Research in Computer Science and Control
person_outline Luc Maranget's MOST POPULAR ARTICLES
1-) A calculus of mobile agents International Conference on Concurrency Theory, 406-421, 1996
2-) Herding cats: Modelling, simulation, testing, and data mining for weak memory ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (2), 1-74, 2014
3-) Understanding POWER multiprocessors Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
4-) Fences in weak memory models (extended version) Formal Methods in System Design 40 (2), 170-205, 2012
5-) Modelling the ARMv8 architecture, operationally: Concurrency and ISA Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016