Papers

MutekH as OS for hardware development

• Nicolas Pouillon, Alexandre Becoulet, Aline Vieira-de-Mello, François Pêcheux, Alain Greiner
  A Generic Instruction Set Simulator API for Timed and Untimed Simulation and Debug of MP2-SoCs
  At ​RSP'09, doi ​10.1109/RSP.2009.11 See ​SoCLib's page for slides

PhDs

• Alexandre Becoulet
  Conception d’un système d’exploitation supportant nativement les architectures multiprocesseurs hétérogènes à mémoire partagée
  Obtenue avec "Mention très honorable",
  UPMC, Sept 28, 2010
  manuscript (fr), slides (en), ​defence (fr)

• Joel Porquet
  Architecture de sécurité dynamique pour systèmes multiprocesseurs intégrés sur puce
  UPMC, Dec 13, 2010
  manuscript (fr), slides (fr), ​defence (fr)