Reconstruct distributed traces from send/receive causality

Distributed LNT Compiler

Generate a distributed implementation from the formal model of a concurrent program


Imperial College Logo

Since I started the postdoc at Imperial College, I have been actively involved in the mentoring of several students:

  • Hu “Gary” Guangyu, on cross-testing autotuning compilers and OpenCL drivers
  • Daniel Dean and Andrei Isaila, on a framework to detect security issues related to OpenGL renderings.
  • Stefan Cuturela, on automatic generation of OpenGL shaders


During my PhD, I was a teaching assistant for the following courses at ENSIMAG (top-rated French “Grande École”, part of the Grenoble Insitute of Technology):

  • Operating System and Concurrent Programming, 54h, Master 1 (Postgraduate)
  • Communication Networks, 36h, License 3 (Undergraduate)
  • Algorithms and Data Structures, 54h, License 3 (Undergraduate)


  • Huxley Building (office 345), South Kensington Campus, Imperial College, London SW7 2AZ, UK