Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

As part of the Invited Professor program of LIP6, we have hosted Prof. Éric Tanter (University of Chile) for two weeks (December 2017) who took this opportunity to give an introductory master class as well as a research seminar on the topic of gradual typing.

Internships

• Lukas Gnirke, Oberlin College, January 2017, evaluation of our methodology for searching for examples to guide driver porting [16].

• Adina Johnson, Oberlin College, May - August 2017, analysis of the differences between the Linux kernel and the Android kernel.

• Jonathan Carroll, Oberlin College, May - August 2017, use of machine learning to identify stable-kernel relevant patches.

• Bhumika Goyal, October - November 2017, constification of Linux kernel structures, supported by the Linux Foundation's Core Infrastructure Initiative.

• Peio Borthelle, École Normale Supérieure de Lyon, June - July 2017, solving the Oware on a single machine.

• Darius Mercadier, Université Pierre et Marie Curie, January - August 2017, designing and implementing Usuba, a bitslicing compiler.

Research Stays Abroad

• Julia Lawall, visit to David Lo and Lingxiao Jiang at Singapore Management University (two weeks in May 2017).