Luc Maranget

22 papers and 315 indexed citations i.

Luc Maranget has authored 22 papers that have received a total of 315 indexed citations. This includes 14 papers in Artificial Intelligence, 14 papers in Computer Networks and Communications and 13 papers in Hardware and Architecture. The topics of these papers are Parallel Computing and Optimization Techniques (13 papers), Distributed systems and fault tolerance (12 papers) and Logic, programming, and type systems (11 papers). Luc Maranget is often cited by papers focused on Parallel Computing and Optimization Techniques (13 papers), Distributed systems and fault tolerance (12 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in France, United Kingdom and United States. Luc Maranget's co-authors include Jade Alglave, Peter Sewell, Susmit Sarkar, Fabrice Le Fessant and Bruno Pagano and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and IEEE Micro.