about it

presentation bibitem

downloads

report slides

prototype

Prototype on gitlab

I have made my D.E.A stage in the Semantics, proof ant Abstract Interpretation team of the Laboratoire d'informatique de l'École polytechnique .

I have designed and implemented a static analyzer for the whole pi-calculus. This analyzer compute both a sound non-uniform description of the interferences between recursive agents of a system and an approximation of the resources a system may use during its executions. 

@mastersthesis{feret:dea,
  author = {J{\'e}r{\^o}me  Feret},
  type = {M\'emoire de DEA},
  title = {Conception de \emph{$\pi$-sa} : un analyseur statique g{\'e}n{\'e}rique pour le $\pi$-calcul},
  school = {SPP},
  month = {september},
  year  = {1999},
  note  = {Electronically available at https://www.di.ens.fr/~feret/dea/}
}