From March to August 2018, I worked under the supervision of Antoine Miné at the LIP6 laboratory, in Paris, France. I designed a static analysis by abstract interpretation that detects potential type errors in Python programs. I implemented this analysis into a modular static analyzer called MOPSA.
You can find my report here, and my slides here.
From June to July 2015, I worked under the supervision of Antoine Miné at the École Normale Supérieure, France, on static analysis by abstract interpretation of concurrent programs. I learned how to use the Abstract Interpretation framework to develop, implement and test new methods to analyze concurrent programs more precisely. I implemented a prototype in OCaml, using the Apron library, and compared the results obtained with this approach to an academic analyzer called Concurinterproc.