Research output per year
Research output per year
Personal profile
Research
Personal website: idrissr.com.
I am currently a WASP Ph.D. candidate in Computer Science, Lund University. My advisors are Görel Hedin, Christoph Reichenbach and Niklas Fors. I obtained my B.S. degree from the University of Parma in 2013 and M.S. degree form the University of Udine.
My position is funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP).
My main research interest are:
- Static analysis
- Compilers
- Data-flow analysis
- Reference Attribute Grammars
I am also member of the Software Development and Environment Research Group (SDE).
Fingerprint
Dive into the research topics where Idriss Riouak is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
Riouak, I., Fors, N., Hedin, G. & Reichenbach, C., 2024 Nov 20, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.Research output: Contribution to journal › Article › peer-review
Open AccessFile20 Downloads (Pure) -
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Riouak, I., Fors, N., Öqvist, J., Hedin, G. & Reichenbach, C., 2024 Oct 17, SLE '24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery (ACM), p. 56-69 12 p.Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access -
Towards Declarative Specification of Static Analysis for Programming Tools
Riouak, I., 2024 Oct 15, Lund: Computer Science, Lund University. 198 p.Research output: Thesis › Doctoral Thesis (compilation)
Open AccessFile48 Downloads (Pure) -
Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)
Riouak, I., Fors, N., Öqvist, J., Hedin, G. & Reichenbach, C., 2024 Aug 23, 1 p.Research output: Other contribution › Miscellaneous › Research
Open Access -
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis
Riouak, I., 2023 Feb 17, Lund University. 109 p.Research output: Thesis › Licentiate Thesis
Open AccessFile163 Downloads (Pure)
Projects
- 1 Active
-
Explainable Declarative Programming Analysis
Riouak, I. (Researcher), Hedin, G. (Supervisor), Reichenbach, C. (Supervisor) & Fors, N. (Supervisor)
2019/11/01 → …
Project: Dissertation
Prizes and Distinction
-
Distinguished Artifact Award
Riouak, I. (Recipient), Fors, N. (Recipient), Öqvist, J. (Recipient), Hedin, G. (Recipient) & Reichenbach, C. (Recipient), 2024 Oct 21
Prize: Other distinction
File -
Distinguished Paper Award
Riouak, I. (Recipient), Fors, N. (Recipient), Öqvist, J. (Recipient), Hedin, G. (Recipient) & Reichenbach, C. (Recipient), 2024 Oct 21
Prize: Other distinction
File