Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
README.md		README.md

Repository files navigation

Hello, everyone!

Welcome to my GitHub webpage

My main research interests are:

Everything related to Compilers, Programming Languages and Program Analysis.
Abstract Interpretation
... and compilers again.

Recent papers:

📄 (🇸🇪) Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis. Idriss Riouak 🔗, Niklas Fors 🔗, Jesper Öqvist, Görel Hedin 🔗, and Christoph Reichenbach 🔗.
📄 (🇸🇪)JFeature: Know Your Corups. Idriss Riouak 🔗, Görel Hedin 🔗, Christoph Reichenbach 🔗 and Niklas Fors 🔗.
📄 (🇸🇪)IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis Idriss Riouak 🔗, Niklas Fors 🔗, Görel Hedin 🔗, and Christoph Reichenbach 🔗.
📄 (🇸🇪) A Precise Framework for Source-Level Control-Flow Analysis. Idriss Riouak 🔗, Christoph Reichenbach 🔗, Görel Hedin 🔗 and Niklas Fors 🔗.
📄 (🇮🇹) Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. Francesco Fabiano, Idriss Riouak 🔗, Agostino Dovier, Enrico Pontelli.
📄 (🇮🇹) ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak 🔗, Stefano Tonetta, Enea Zaffanella

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

No packages published