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!

🏆 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_!

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.

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](https://cs.lth.se/kalendarium/?evenemang=idriss-riouaks-phd-defence-towards-declarative-specification-static-analysis-programming-tools).

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!

Won the Student Research Competition at the <a href='https://src.acm.org/winners/2024'>ACM SRC</a> during <Programming> 2024 for my work on using static analysis to improve the efficiency of static analyzers!

Won the Student Research Competition at the <a href='https://src.acm.org/winners/2024'>ACM SRC</a> 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!

Excited to attend the [Oregon Programming Languages Summer School (OPLSS)](https://www.cs.uoregon.edu/research/summerschool/summer23/schedule.php) in Oregon, USA!

Excited to attend the [Oregon Programming Languages Summer School (OPLSS)](https://www.cs.uoregon.edu/research/summerschool/summer23/schedule.php) 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!

Successfully defended my Licentiate thesis 'Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis' at [Lund University](https://www.lu.se). Great discussion with my opponent, Alexandre Bartel!

Successfully defended my Licentiate thesis 'Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis' at [Lund University](https://www.lu.se). 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’.

Accepted paper at SCAM on extracting Java Features! The paper is titled '[JFeature: Know Your Corpus](https://ieeexplore.ieee.org/document/10006853)'.

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!