Ph.D student, INRIA Rocquencourt, projet Moscova

Research

• Relaxed Memory Models Must Be Rigorous (in EC^2 2009)
• The Semantics of x86-CC Multiprocessor Machine Code (in POPL 2009)
• The Semantics of Power and ARM Multiprocessor Machine Code (in DAMP 2009)

Teaching

At Université Paris 12 :

• Algorithmique expérimentale
  cours de Marie Duflot-Kremer
  
• Initiation à l'algorithmique
  cours de Catalin Dima et Serghei Verlan

818 Pumpkin

• C'est bon la salade !
  
• J'aime le mardi !
• Ceci n'est pas la page web de Samuel Mimram.