About

idrissrio@

██╗██████╗ ██████╗ ██╗███████╗███████╗ ██║██╔══██╗██╔══██╗██║██╔════╝██╔════╝ ██║██║ ██║██████╔╝██║███████╗███████╗ ██║██║ ██║██╔══██╗██║╚════██║╚════██║ ██║██████╔╝██║ ██║██║███████║███████║ ╚═╝╚═════╝ ╚═╝ ╚═╝╚═╝╚══════╝╚══════╝ ██████╗ ██╗ ██████╗ ██╗ ██╗ █████╗ ██╗ ██╗ ██╔══██╗██║██╔═══██╗██║ ██║██╔══██╗██║ ██╔╝ ██████╔╝██║██║ ██║██║ ██║███████║█████╔╝ ██╔══██╗██║██║ ██║██║ ██║██╔══██║██╔═██╗ ██║ ██║██║╚██████╔╝╚██████╔╝██║ ██║██║ ██╗ ╚═╝ ╚═╝╚═╝ ╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚═╝ ╚═╝

$ whoami

Idriss Riouak Software Engineer II at GitHub email scholar github researchgate linkedin

Idriss Riouak

$ tree ~/education

Mar 2025 – Present Software Engineer II · GitHub
Code Scanning team — working on extractors for C/C++ and Java.

Nov 2019 – Dec 2024 PhD in Computer Science · Lund University · WASP
SDE group. Static analysis, compiler construction, control-flow and dataflow analysis. Main developer of IntraJ.

Mar 2017 – Jul 2019 M.S. Computer Science · University of Udine
Software Verification and Formal Methods. Grade: 110/110 cum laude.

Oct 2013 – Dec 2016 B.S. Computer Science · University of Parma
Grade: 106/110.

$ cat about.md

I work at GitHub in the Code Scanning team, where I work on the extractors for C/C++ and Java. I recently helped add support for Java 25 and Java 26.

Before that, I did my PhD at Lund University in the SDE group, working on static analysis and compiler construction. During that time I contributed to a few open-source projects, including the ExtendJ Java Compiler, the JastAdd Metacompiler, and Clang-Tidy in the LLVM project.

I am the main developer of IntraJ, an on-demand static analysis tool for Java.

I have been a teaching assistant for courses in compilers and program analysis, and have supervised several MSc students.

$ tail -5 ~/news.log

[8 September, 2025] Gave a presentation about Git and GitHub to the AD&M group! It was a fun session introducing version control concepts and GitHub workflows to the team.

[May 2025] Attended my first Code Scanning Off-site in Toronto! 🇨🇦 It was great and very insightful, amazing to meet the team in person and dive deep into code security initiatives.

[11 March, 2025] 🎉 Excited to announce that I’ve started working at GitHub as a Software Engineer II in the Code Scanning team! I’ll be focusing on adding language support for C++/C, Java, and more languages. Recently worked on adding support for Java 25. Looking forward to contributing to the platform that powers millions of developers worldwide.

[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.

$ cat ~/news.log → see all news

$ ls ~/supervised-students/

├── Johan Arrhén and Ruben Wiklund, Lund University (Master Thesis supervisor, “Pointer Analysis for Interactive Programming Environments”, 2024)

├── Johannes Aronsson and David Björk, Lund University (Master Thesis supervisor, “Extending the ExtendJ Java Compiler”, 2023)

├── Mark Lundager and Andreas Berqvist, Lund University (Project Course supervisor, “Project Course EDAN70”, 2023)

├── Alexander Magnusson, Lund University (Project Course supervisor, “Detecting and Fixing Common Code Style Issues in Java”, 2022)

├── Charlie Mrad, Lund University (Project Course supervisor, “A Framework For Efficient Code Fixes Using Reference Attributed Grammars”, 2021)

└── Oskar Kari, Lund University (Project Course supervisor, “Flow Based Bug Detection”, 2020)

$ cat ~/personal.md

Father of Alexander. Married with Marta Rotari. Proud owner of a beautiful Ragdoll Blu Russian named Brioche 🐱.

I like climbing 🧗 and we love Scandinavian countries 🇸🇪🇩🇰🇳🇴.

$ cat ~/places/map.svg

$ tree ~/places –timeline

0 – 2 🇮🇹 Noceto (PR), Italy

2 – 12 🇮🇹 Panocchia (PR), Italy

12 – 22 🇮🇹 Colorno (PR), Italy

22 – 24 🇮🇹 Udine (UD), Italy

24 – 25 🇸🇪 Lund, Sweden

25 – 29 🇸🇪 Malmö, Sweden

29 – 31 🇩🇰 Billund, Denmark

31 – now 🇩🇰 Vejle, Denmark