Research output per year
Research output per year
Project Details
Description
Support easy development of powerful and explainable program analyses through declarative programming, so that interactive tools can effectively and efficiently utilize such analyses and describe the analyses’ conclusions to software developers.
| Status | Active |
|---|---|
| Effective start/end date | 2019/11/01 → … |
-
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 AccessFile13 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 AccessFile178 Downloads (Pure)
Projects
- 1 Active
-
WASP: Wallenberg AI, Autonomous Systems and Software Program at Lund University
Årzén, K.-E. (Researcher)
2015/10/01 → 2029/12/31
Project: Research
Prizes
-
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