News | Idriss Riouak

News

$ journalctl –user 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.

<a href="#" data-full="https://idrissrio.github.io/images/news/lego0.png">
  <img src="https://idrissrio.github.io/images/news/lego0.png" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/lego1.JPG">
  <img src="https://idrissrio.github.io/images/news/lego1.JPG" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/lego2.JPG">
  <img src="https://idrissrio.github.io/images/news/lego2.JPG" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/lego3.JPG">
  <img src="https://idrissrio.github.io/images/news/lego3.JPG" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/lego4.jpeg">
  <img src="https://idrissrio.github.io/images/news/lego4.jpeg" alt="news photo" />
</a>

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

<a href="#" data-full="https://idrissrio.github.io/images/news/toronto1.JPG">
  <img src="https://idrissrio.github.io/images/news/toronto1.JPG" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/toronto2.JPG">
  <img src="https://idrissrio.github.io/images/news/toronto2.JPG" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/toronto3.jpeg">
  <img src="https://idrissrio.github.io/images/news/toronto3.jpeg" alt="news photo" />
</a>

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

<a href="#" data-full="https://idrissrio.github.io/images/news/github.jpg">
  <img src="https://idrissrio.github.io/images/news/github.jpg" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/codeql.png">
  <img src="https://idrissrio.github.io/images/news/codeql.png" alt="news photo" />
</a>

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

<a href="#" data-full="https://idrissrio.github.io/images/news/sle-2024-paper-stream.png">
  <img src="https://idrissrio.github.io/images/news/sle-2024-paper-stream.png" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/sle-2024-artifact-stream.png">
  <img src="https://idrissrio.github.io/images/news/sle-2024-artifact-stream.png" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/sle-2024-paper.png">
  <img src="https://idrissrio.github.io/images/news/sle-2024-paper.png" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/sle-2024-artifact.png">
  <img src="https://idrissrio.github.io/images/news/sle-2024-artifact.png" alt="news photo" />
</a>

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

<a href="#" data-full="https://idrissrio.github.io/images/news/thesis-cover.png">
  <img src="https://idrissrio.github.io/images/news/thesis-cover.png" alt="news photo" />
</a>

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

<a href="#" data-full="https://idrissrio.github.io/images/news/acm-src-2024.png">
  <img src="https://idrissrio.github.io/images/news/acm-src-2024.png" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/acm-src-2024-2.png">
  <img src="https://idrissrio.github.io/images/news/acm-src-2024-2.png" alt="news photo" />
</a>

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

<a href="#" data-full="https://idrissrio.github.io/images/news/oplss.png">
  <img src="https://idrissrio.github.io/images/news/oplss.png" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/bouldering.png">
  <img src="https://idrissrio.github.io/images/news/bouldering.png" alt="news photo" />
</a>

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

<a href="#" data-full="https://idrissrio.github.io/images/news/licentiate-thesis-defense-2023.jpg">
  <img src="https://idrissrio.github.io/images/news/licentiate-thesis-defense-2023.jpg" alt="news photo" />
</a>
  
<a href="#" data-full="https://idrissrio.github.io/images/news/lic.png">
  <img src="https://idrissrio.github.io/images/news/lic.png" alt="news photo" />
</a>

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

<a href="#" data-full="https://idrissrio.github.io/images/news/scam-2022.png">
  <img src="https://idrissrio.github.io/images/news/scam-2022.png" alt="news photo" />
</a>

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