Section: Partnerships and Cooperations

International Initiatives

Inria International Labs

• EPFL-Inria Lab Our work on the Ipanema DSL [17] is done as part of the EPFL-Inria Lab. Baptiste Lepers (EPFL) is supported in 2017 as a joint postdoc between the Whisper and the groups of V. Kuncak and W. Zwaenepoel.

Inria International Partners

Informal International Partners

• We collaborate with David Lo and Lingxiao Jiang of Singapore Management University, who are experts in software mining, clone detection, and information retrieval techniques. Our work with Lo and/or Jiang has led to 8 joint publications since 2013 [12], [68], [78], [83], [84], [85], [88], [86], at conferences including ASE and ICSME. The ITrans ANR is a joint project with them.

• We collaborate with Christoph Reichenbach of the University of Lund and Krishna Narasimhan of Itemis (Germany) on program transformation [18] and the design of tools for code clone management.

• We collaborate with Wouter Swierstra of the University of Utrecht (Netherlands) on type-directed structured differences [20].

• We collaborate with Eric Tanter of the University of Chile (Chile) on the theoretical and practical aspects of dependent interoperability  [38] in type theory.