= Papers =

== MutekH as OS for hardware development ==

 * Nicolas Pouillon, Alexandre Becoulet, Aline Vieira-de-Mello, François Pêcheux, Alain Greiner[[BR]]
   ''A Generic Instruction Set Simulator API for Timed and Untimed Simulation and Debug of MP2-!SoCs''[[BR]]
   At [http://www.rsp-symposium.org/ RSP'09], doi [http://dx.doi.org/10.1109/RSP.2009.11 10.1109/RSP.2009.11] See [soclib:wiki:PapersAndPublications#ISSdesign SoCLib's page] for slides

= !PhDs =

 * Alexandre Becoulet [[BR]]
   ''Conception d’un système d’exploitation supportant nativement les architectures multiprocesseurs hétérogènes à mémoire partagée'' [[BR]]
   Obtenue avec "Mention très honorable", [[BR]]
   UPMC, Sept 28, 2010 [[BR]]
   [http://www.mutekh.org/www/publis/these_mutekh.pdf manuscript (fr)],
   [http://www.mutekh.org/www/publis/slides_these_mutekh.pdf slides (en)],
   [http://mutekh.ssji.net/soutenance_alex/20100928-01-Soutenance.mov defence (fr)]

 * Joel Porquet [[BR]]
   ''Architecture de sécurité dynamique pour systèmes multiprocesseurs intégrés sur puce''[[BR]]
   UPMC, Dec 13, 2010 [[BR]]
   [http://www.mutekh.org/www/publis/porquet-manuscrit.pdf manuscript (fr)],
   [http://www.mutekh.org/www/publis/porquet-slides.pdf slides (fr)],
   [http://mutekh.ssji.net/soutenance_joel/20101213-01-Soutenance.mov defence (fr)]