Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams Not Involved in an Inria International Labs


Inria International Partners

Informal International Partners

Julia Lawall and Gilles Muller collaborate with David Lo and Lingxiao Jiang of Singapore Management University in the context of the ANR-NRF funded project ITrans. This project supports the PhD of Lucas Serrano. In 2019, this collaboration led to an experience paper at ECOOP on a transformation tool (a variant of Coccinelle) for Java [21] and a tool paper at ICSE on using machine learning for identifying bug-fixing patches for the Linux kernel [19]. The latter has been extended to a journal article published in the IEEE Transactions on Software Engineering [11]. Lawall and Serrano spent two weeks visiting Lo and Jiang at Singapore Management University in December 2019.

Julia Lawall collaborates with Jia-Ju Bai at Tsinghua University on bug finding for the Linux kernel. In 2019, this collaboration led to a paper at SANER on detecting data races in device drivers [17], a paper at ISSRE on extending Linux kernel fuzzing to be able to detect bugs in error-handling code [20], a paper at ASPLOS on detection of unnecessary spinning in the Linux kernel [14], a paper at USENIX ATC on detection of use-after free concurrency bugs in the Linux kernel [13]. Bai visited the Whisper team for 2 months starting in January 2019. Lawall visited Bai at Tsinghua University for one week in August.

Michele Martone of the Leibniz Supercomputing Centre in Munich, Germany has been using Coccinelle in an HPC context and giving workshops on Coccinelle in the HPC research engineer community. Martone has contributed some patches to Coccinelle and we keep in touch with him about possible improvements to Coccinelle that may have an impact on its use in the HPC community.