This page lists my school projects. Cette page est également disponible en français.
Some school projects are in French and are only listed on the French page.
Advances in Holistic Ontology Alignment¶
Report for my internship with Pierre Senellart about holistic ontology alignment.
Presentation about CSSV¶
Slides to present the article by Nurit Dor, Michael Rodeh and Mooly Sagiv: CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C. Homework for Patrick Cousot's class.