News

$ journalctl –user idriss

[1 September 2026] Promoted from Software Engineer II to Software Engineer III at GitHub.

GitHub Octocat holding developer tools to celebrate Idriss Riouak’s promotion to Software Engineer III

$ cat management.log

Since joining GitHub 18 months ago, Idriss has made exceptional impact. He quickly developed deep expertise in CodeQL, advancing MISRA coding standard support and improving C/C++ databases. He contributed to incremental C/C++ analysis, helping achieve a 36% end-to-end speedup, and stepped up as DRI for the rollout of incremental C/C++ support. He also took responsibility for the Java extractor upgrades and became the team's primary contact for this work. Idriss can be trusted to lead complex work independently, while showing good judgement about when to seek input. He is also a thoughtful and valued reviewer whose questions strengthen both the work and the thinking behind it. His technical range, initiative, and collaborative approach make Idriss a pleasure to work with, while helping the team scale. I look forward to working with them in their new role. Congratulations, Idriss!

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

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

[2 July, 2024] Submitted the paper ‘IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis’ to the Journal of Technology Transfer (JTTT)!

[25 May, 2024] Presented my work on IntraJ at the Challenges of Software Verification Symposium!

[23 March, 2024] Won the Student Research Competition at the ACM SRC during <Programming> 2024 for my work on using static analysis to improve the efficiency of static analyzers!

[10 March, 2024] Honored to serve as Chair for the Programming Workshop track at the ACM Programming Conference.

[July 2023] Excited to attend the Oregon Programming Languages Summer School (OPLSS) in Oregon, USA!

[25 March, 2023] Successfully defended my Licentiate thesis ‘Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis’ at Lund University. Great discussion with my opponent, Alexandre Bartel!

[20-23 September, 2022] Going to the first instance of Security Testing and Verification in Leuven!

[2 August, 2022] Accepted paper at SCAM on extracting Java Features! The paper is titled ‘JFeature: Know Your Corpus’.

[7 September, 2021] Accepted paper at SCAM on control-flow and dataflow analysis. The paper, ‘A Precise Framework for Source-Level Control-Flow Analysis’, was published by IEEE. It’s open access, check it out!