Welcome to my personal website!

Idriss Riouak

PhD Candidate in CS

  • (2019 – Nov 2024) WASP PhD Student, Lund University
  • (2016 – 2019) M.S. Degree in Computer Science, UniUD
  • (2013 – 2016) B.S. Computer Science, UniPR

I am a PhD candidate at Lund University as part of the Software Development and Environments (SDE) group, focusing on static analysis and compiler construction. Over the years, I have contributed to several open-source projects, including the ExtendJ Java Compiler and the JastAdd Metacompiler. I have also volunteered for the LLVM project, contributing to the Clang-Tidy tool to help improve code quality and modernize C++ codebases.

My research focuses on developing tools for efficient static analysis, with a particular focus on control-flow and dataflow analysis. I am the main developer of IntraJ, an on-demand static analysis tool for Java.

In addition to my research, I enjoy teaching and have been a teaching assistant for various courses in compilers and program analysis. I have also supervised several MSc students, helping them extend open-source projects and refine their programming skills.

News

21 October, 2024

🏆 I am happy to announce that our paper, ‘Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis’, presented at ACM SIGPLAN Software Language Engineering (SLE) 2024, has won both the Distinguished Paper Award and the Distinguished Artifact Award!

22 November, 2024

I have scheduled my PhD defense for the 22nd of November, 2024! I’m excited to present my work titled ‘Towards Declarative Specification of Static Analysis for Programming Tools.’ You can find more details about the defense, including the opponent and the examination committee, here.

20-25 October, 2024

The paper ‘Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis’ has been accepted at SLE 2024! Excited to present it in Pasadena, California.

… see all News

Students