Publications

  1. Riouak, I., Fors, N., Öqvist, J., Hedin, G., & Reichenbach, C. (2024). Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis. Proceedings of the 17th International Conference on Software Language Engineering (SLE 2024). https://conf.researchr.org/home/sle-2024
  2. Riouak, I. (2024). Using Static Analysis to Improve the Efficiency of Program Analysis. Programming 2024, ACM SIGPLAN Student Research Competition. https://src.acm.org/binaries/content/assets/src/2024/idriss-riouak.pdf
  3. Riouak, I., Fors, N., Hedin, G., & Reichenbach, C. (2024). IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis. The International Journal on Software Tools for Technology Transfer (STTT).
  4. Riouak, I., Hedin, G., Reichenbach, C., & Fors, N. (2022). JFeature: Know Your Corpus. 22st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2022, Cyprus October 3-4, 2022. https://github.com/lu-cs-sde/JFeature/blob/main/preprint.pdf
  5. Riouak, I., Reichenbach, C., Hedin, G., & Fors, N. (2021). A Precise Framework for Source-Level Control-Flow Analysis. 21st IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2021, Luxembourg, September 27-28, 2021, 1–11. https://doi.org/10.1109/SCAM52516.2021.00009
  6. Fabiano, F., Riouak, I., Dovier, A., & Pontelli, E. (2019). Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. In A. Casagrande & E. G. Omodeo (Eds.), Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019 (Vol. 2396, pp. 242–259). CEUR-WS.org. http://ceur-ws.org/Vol-2396/paper38.pdf
  7. Frehse, G., Abate, A., Adzkiya, D., Becchi, A., Bu, L., Cimatti, A., Giacobbe, M., Griggio, A., Mover, S., Mufid, M. S., Riouak, I., Tonetta, S., & Zaffanella, E. (2019). ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. In G. Frehse & M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019 (Vol. 61, pp. 1–13). EasyChair. https://doi.org/10.29007/rjwn

Theses

  1. Riouak, I. (2024). Towards Declarative Specification of Static Analysis for Programming Tools. Lund University.
  2. Riouak, I. (2023). Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis. Lund University.
  3. Riouak, I. (2019). Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. University of Udine.
  4. Riouak, I. (2016). A study on the effectiveness of automatic checkers for modernizing C++. University of Parma; Language: Italian.

Talks

  1. Riouak, I. (2022). Source-Level Dataflow-Based Fixes: Experiences From Using Intraj and Magpiebridge. ECOOP; PRIDE Workshop - Berlin. https://2022.ecoop.org/details/pride-2022/6/Source-Level-Dataflow-Based-Fixes-Experiences-From-Using-Intraj-and-Magpiebridge
  2. Riouak, I. (2022). Presenting IntraJ Poster ad CISOSE, Google and Apple. IEEE; 2022 IEEE CISOSE - California.
  3. Idriss Riouak, C. R., Hedin, G., & Fors, N. (2021). IntraJ - Artifact reusability. IEEE; ROSE - Recognizing and Rewarding Open Science in SE. https://icsme2021.github.io/cfp/AEandROSETrack.html