IRIT - UMR 5505

Français
CNRS
INPT
UPS
UT1
UTM
  Bandeau IRIT
 

  Sotin Pascal


  Status : Permanent
  Service/Team :  groupe de Research en Architecture et Compilation pour les Systèmes Embarqués
  Contact : Pascal.Sotin@irit.fr
  Localization : Autres sites - IRIT et IUT Blagnac
  Phone : +33 (0)5 61 55 6360

 

Research

 Research Topics

Program analysis, loop bound analysis, Worst Case Execution Time analysis, abstract interpretation.

 Supervision

  • Frédéric Fort, Training Period, early WCET using machine learning
  • Vincent Mussot, Master Thesis and ongoing PhD, representing flow information using automata
  • Félix Loubaton, Training Period, loop bound analysis on assembly code
  • Cyrille Ruggero, Training Period, loop bound analysis over MemCAD
  • Marc Pasqualetto, Training Period, loop bound analysis over Apron
  • Antoine Voizard, Training Period, data cache analysis over separation logic

 Upcoming Events

Submit to RTNS'17 and visit Grenoble! (call for paper)



Teaching

In French only.