Determining whether a parallel program always behaves as expected on any execution is difficult due to non-determinism, and despite the growing number of verification tools, debugging parallel programs remains a significant challenge. The goal of the internship is to explore a new AI-assisted approach for analyzing parallel programs to detect bugs.
We have a large set of incorrect parallel codes that are labeled with different types of errors, including data races and deadlocks. The internship task is to build machine learning models that predict for new unseen codes whether or not they have errors.
In particular, the student will explore different types of input features or models. We will start by exploring LLVM Intermediate Representation (IR) embedding techniques that transform codes into vectors. The idea is that codes that have a similar behaviors will be represented by similar vectors. Therefore, if a new code has a very similar vector to a code with an error, we can expect that this new code also has this error.
The student can also explore more experimental methods. For instance, the compiler middle end optimization process can compile the same code with many different optimizations resulting in different intermediate representations of the same code. We plan to also explore how recompiling codes provides more data to feed the deep learning model and in turn improve the prediction accuracy.
The work will be conducted while collaborating with the University of Iowa, US. Therefore, the student will have the opportunity to discuss and present his/her work both with the PhD students and advisors involved from Inria and from the University of Iowa.
The student will work on extracting features and training models to predict errors. He/she is also strongly encouraged to attend weekly group meetings and present his/her work progress: this is an opportunity to integrate the team STORM. Depending on the research results, the student can also participate in the writing process to publish a research article.
The internship goal for the student is to develop his/her knowledge on machine learning, feature engineering with LLVM IR, as well as his/her writing and presentation skills. The internship is also an opportunity to observe how academical research is conducted.
MPI, Machine learning, Verification
Candidates are expected to:
Inria Bordeaux Sud-Ouest, STORM team