Forskningsoutput per år
Forskningsoutput per år
Projektinformation
Beskrivning
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 | Pågående |
|---|---|
| Gällande start-/slutdatum | 2018/10/15 → … |
Ämnesklassifikation (UKÄ)
- Programvaruteknik
- Datavetenskap (datalogi)
-
Clog: A Declarative Language for C Static Code Checkers
Dura, A. & Reichenbach, C., 2024 feb. 17, CC 2024 - Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction. Rodriguez, G., Sadayappan, P. & Sukumaran-Rajam, A. (red.). Association for Computing Machinery (ACM), s. 186-197 12 s.Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review
Öppen tillgång -
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Dura, A., Reichenbach, C. & Söderberg, E., 2021 okt. 1, I: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 165.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift › Peer review
Öppen tillgång -
MetaDL: Declarative program analysis for the masses
Dura, A. & Balldin, H., 2019 okt. 20, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (red.). Association for Computing Machinery (ACM), s. 17-18 2 s. (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review
-
WASP: Wallenberg AI, Autonomous Systems and Software Program at Lund University
Årzén, K.-E. (Forskare)
2015/10/01 → 2029/12/31
Projekt: Forskning
-
WASP startup package Christoph Reichenbach
Reichenbach, C. (Forskare)
2017/10/16 → 2021/10/15
Projekt: Forskning
Aktiviteter
- 1 Presentation
-
MetaDL and Beyond: Custom Program Analyses in Datalog
Reichenbach, C. (Roll ej angiven)
2019 juni 23Aktivitet: Föredrag eller presentation › Presentation
Priser
-
Best Presentation Award
Reichenbach, C. (Mottagare), 2019 juni 24
Pris: Pris (inklusive medaljer och utmärkelser)