Research output per year
Research output per year
Project Details
Description
Not all software bugs are defects in functionality; some instead materialise as excessive resource usage. In this project, we explore program analysis techniques to help identify issues in software, with a focus on performance issues in system software, to help programmers develop higher-quality software systems.
| Status | Active |
|---|---|
| Effective start/end date | 2018/10/15 → … |
UKÄ subject classification
- Software Engineering
- Computer Science
-
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Dura, A., Reichenbach, C. & Söderberg, E., 2021 Oct 1, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 165.Research output: Contribution to journal › Article › peer-review
Open Access -
MetaDL: Declarative program analysis for the masses
Dura, A. & Balldin, H., 2019 Oct 20, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). Association for Computing Machinery (ACM), p. 17-18 2 p. (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
-
MetaDL: Analysing Datalog in Datalog
Dura, A., Balldin, H. & Reichenbach, C., 2019, SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery (ACM), p. 38-43 6 p.Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
-
WASP: Wallenberg AI, Autonomous Systems and Software Program at Lund University
2015/10/01 → 2029/12/31
Project: Research
-
Activities
- 1 Presentation
-
MetaDL and Beyond: Custom Program Analyses in Datalog
Christoph Reichenbach (Role not specified)
2019 Jun 23Activity: Talk or presentation › Presentation
Prizes
-
Best Presentation Award
Reichenbach, Christoph (Recipient), 2019 Jun 24
Prize: Prize (including medals and awards)