Personlig profil
Forskning
My research is on helping software developers work with software by exploring high-level techniques that address concrete technical challenges. My current focus is on program analysis, especially but not exclusively static analysis, and its applications to bug detection, security, performance (e.g., automatic datastructure selection), and safety and reliability of autonomous systems, in collaboration with the Robotics group. My other research interests include domain-specific languages, programming language design and implementation, refactoring, and performance analysis.
Undervisning
My educational activities focus on teaching techniques for the automatic analysis of software properties. Previously I have also been involved in courses on systems programming, programming languages, compilers, and discrete structures, as well as a variety of applied project courses on software development. My courses generally involve some degree of active learning, including research tools that support active learning.
Ämnesklassifikation (UKÄ)
- Datavetenskap (Datalogi)
- Programvaruteknik
Expertis relaterad till FN:s globala mål
2015 godkände FN:s medlemsstater 17 Globala mål för en hållbar utveckling, för att utrota fattigdomen, skydda planeten och garantera välstånd för alla. Den här personens arbete relaterar till följande Globala mål:
-
SDG 3 – God hälsa och välbefinnande
Fingeravtryck
- 1 Liknande profiler
Samarbeten under de senaste fem åren
Forskningsoutput
-
Reflex-plan: a safety monitoring architecture for thinking fast and slow
Rizwan, M., Reichenbach, C. & Krueger, V., 2025 aug. 17, 2025 IEEE 21st International Conference on Automation Science and Engineering (CASE): 17-21 Aug. 2025. IEEE, s. 562-569Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review
-
Compositional dataflow analysis via abstract transition systems
Bronevetsky, G., Burke, M. G., Aananthakrishnan, S., Reichenbach, C., Jisheng, Z. & Sarkar, V., 2025 juli 27, HAL (Hyper Articles en Ligne), 55 s.Forskningsoutput: Working paper/Preprint › Working paper
-
Dynamic Dependency-Based Purity Checking
Risberg Alaküla, A., Fors, N. & Reichenbach, C., 2025 juni 17, SLE '25: 18th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery (ACM), s. 148-161Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review
Öppen tillgång -
Dynamic Dependency-Based Purity Checking (Artifact)
Risberg Alaküla, A., Fors, N. & Reichenbach, C., 2025 juni 17, Zenodo.Forskningsoutput: Övriga bidrag › Övrigt › Forskning
Öppen tillgång -
EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection
Rizwan, M., Reichenbach, C., Caldas, R., Mayr, M. & Krueger, V., 2025 jan. 3, I: Frontiers in robotics and AI. 11(2024), 18 s., 1363443.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift › Peer review
Öppen tillgång
-
Domain-Specific Robot Programming for Reliability, Safety, and Availability
Rizwan, M. (Forskare), Reichenbach, C. (Handledare) & Krueger, V. (Handledare)
2020/02/01 → …
Projekt: Avhandling
-
Explainable Declarative Programming Analysis
Riouak, I. (Forskare), Hedin, G. (Handledare), Reichenbach, C. (Handledare) & Fors, N. (Handledare)
2019/11/01 → …
Projekt: Avhandling
-
Performance bug detection through combined static and dynamic program analysis
Dura, A. (Forskare) & Reichenbach, C. (Forskare)
2018/10/15 → …
Projekt: Avhandling
-
RobotLab LTH
Bagge Carlson, F. (Forskare), Johansson, R. (Forskare), Karlsson, M. (Forskare), Olofsson, B. (Forskare), Robertsson, A. (Forskare), Robertz, S. (Forskare), Haage, M. (Forskare), Malec, J. (Forskare), Nilsson, K. (Forskare), Nugues, P. (Forskare), Stenmark, M. (Forskare), Topp, E. A. (Forskare), Krueger, V. (PI), Åström, H. (Forskare), Mayr, M. (Forskare), Salt Ducaju, J. (Forskare), Nishimura, M. (Administratör), Wisbrant, J. (Projektkommunikatör), Dürr, A. (Forskare), Mayr, M. (Forskare), Nugues, P. (Forskare), Klang, M. (Forskningsingenjör), Klöckner, M. (Forskare), Nardi, L. (Forskare), Ahmad, F. (Forskare), Oxenstierna, J. (Forskare), Rizwan, M. (Forskare), Reichenbach, C. (Forskare), Bergström, J. (Forskare), Dell'Unto, N. (Forskare), Maunsbach, L. (Forskare), Åström, K. (Forskare), Blomdell, A. (Forskningsingenjör), Magnusson, M. (Forskare), Fransson, P.-A. (Forskare), Karayiannidis, Y. (Forskare), Johansson, A. T. (Forskare), Jia, Z. (Forskare), Laban, L. (Forskare), Wingqvist, B. (Forskare), Guberina, M. (Forskare), Jena, A. (Forskare), Westin, E. (Administratör), Frick, C. (Administratör), Pisarevskiy, A. (Forskningsingenjör), Nilsson, A. (Forskningsingenjör), Reitmann, S. (Forskare), Hvarfner, C. (Forskare), Stoltenberg, P. (Forskare) & Fregnan, S. (Forskare)
1993/01/01 → …
Projekt: Forskning
-
ConTraStAR: "ConTraStAR: Contestable Traces for Static Analysis Refinement
Reichenbach, C. (Forskare)
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 och utmärkelser
-
Distinguished Artifact Award
Risberg Alaküla, A. (Mottagare), Fors, N. (Mottagare) & Reichenbach, C. (Mottagare), 2025 juni 12
Pris: Annan utmärkelse
Fil -
Distinguished Artifact Award
Riouak, I. (Mottagare), Fors, N. (Mottagare), Öqvist, J. (Mottagare), Hedin, G. (Mottagare) & Reichenbach, C. (Mottagare), 2024 okt. 21
Pris: Annan utmärkelse
Fil -
Distinguished Paper Award
Riouak, I. (Mottagare), Fors, N. (Mottagare), Öqvist, J. (Mottagare), Hedin, G. (Mottagare) & Reichenbach, C. (Mottagare), 2024 okt. 21
Pris: Annan utmärkelse
Fil -
ICSE 2022 Distinguished Reviewer Award
Reichenbach, C. (Mottagare), 2022 maj 11
Pris: Pris (inklusive medaljer och utmärkelser)
Fil -
ASE 2021 Distinguished Reviewer Award
Reichenbach, C. (Mottagare), 2021 nov. 15
Pris: Pris (inklusive medaljer och utmärkelser)