This page lists my school projects. Cette page est également disponible en
Some school projects are in French and are only listed on the
for my internship with Pierre Senellart
about holistic ontology alignment.
to present the article by Nurit
and Mooly Sagiv: CSSV: Towards
a Realistic Tool for Statically Detecting All Buffer Overflows in
C. Homework for Patrick