Welcome to my personal website!

Idriss Riouak

PhD in Computer Science

  • (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 hold a PhD in Computer Science from Lund University, where I was part of the Software Development and Environments (SDE) group. My research focuses on static analysis, compiler construction, and practical tools for programming languages. 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

22 November, 2024

I have successfully defended my PhD thesis, ‘Towards Declarative Specification of Static Analysis for Programming Tools.’ This marks the conclusion of an incredible 5-year journey of research, learning, and collaboration.

I have successfully defended my PhD thesis, *'Towards Declarative Specification of Static Analysis for Programming Tools.'* This marks the conclusion of an incredible 5-year journey of research, learning, and collaboration.

I have successfully defended my PhD thesis, *'Towards Declarative Specification of Static Analysis for Programming Tools.'* This marks the conclusion of an incredible 5-year journey of research, learning, and collaboration.

I have successfully defended my PhD thesis, *'Towards Declarative Specification of Static Analysis for Programming Tools.'* This marks the conclusion of an incredible 5-year journey of research, learning, and collaboration.

I have successfully defended my PhD thesis, *'Towards Declarative Specification of Static Analysis for Programming Tools.'* This marks the conclusion of an incredible 5-year journey of research, learning, and collaboration.

26 November, 2024

Our paper ‘IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis’ has been published in The International Journal on Software Tools for Technology Transfer (STTT)! It discusses how IntraJ provides interactive analysis results directly in the editor with response times under 0.1 seconds for most Java compilation units.

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!

🏆 I am happy to announce that our paper, '[Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis](https://dl.acm.org/doi/10.1145/3687997.3695644)', presented at [ACM SIGPLAN Software Language Engineering (SLE) 2024](https://2024.splashcon.org/track/sle-2024), has won both the _Distinguished Paper Award_ and the _Distinguished Artifact Award_!

🏆 I am happy to announce that our paper, '[Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis](https://dl.acm.org/doi/10.1145/3687997.3695644)', presented at [ACM SIGPLAN Software Language Engineering (SLE) 2024](https://2024.splashcon.org/track/sle-2024), has won both the _Distinguished Paper Award_ and the _Distinguished Artifact Award_!

🏆 I am happy to announce that our paper, '[Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis](https://dl.acm.org/doi/10.1145/3687997.3695644)', presented at [ACM SIGPLAN Software Language Engineering (SLE) 2024](https://2024.splashcon.org/track/sle-2024), has won both the _Distinguished Paper Award_ and the _Distinguished Artifact Award_!

🏆 I am happy to announce that our paper, '[Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis](https://dl.acm.org/doi/10.1145/3687997.3695644)', presented at [ACM SIGPLAN Software Language Engineering (SLE) 2024](https://2024.splashcon.org/track/sle-2024), has won both the _Distinguished Paper Award_ and the _Distinguished Artifact Award_!

… see all News

Students