| 2025 | SLE | Dynamic Dependency-Based Purity Checking. | Anton Risberg Alakla, Niklas Fors, Christoph Reichenbach |
| 2024 | CC | Clog: A Declarative Language for C Static Code Checkers. | Alexandru Dura, Christoph Reichenbach |
| 2024 | SLE | Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis. | Idriss Riouak, Niklas Fors, Jesper qvist, Grel Hedin, Christoph Reichenbach |
| 2023 | EASE | Classification-based Static Collection Selection for Java: Effectiveness and Adaptability. | Noric Couderc, Christoph Reichenbach, Emma Sderberg |
| 2023 | ICSE | Performance Analysis with Bayesian Inference. | Noric Couderc, Christoph Reichenbach, Emma Sderberg |
| 2022 | SCAM | JFeature: Know Your Corpus. | Idriss Riouak, Grel Hedin, Christoph Reichenbach, Niklas Fors |
| 2021 | ICSE | Software Ticks Need No Specifications. | Christoph Reichenbach |
| 2021 | SCAM | A Precise Framework for Source-Level Control-Flow Analysis. | Idriss Riouak, Christoph Reichenbach, Grel Hedin, Niklas Fors |
| 2021 | SECRYPT | Using Program Analysis to Identify the Use of Vulnerable Functions. | Rasmus Hagberg, Martin Hell, Christoph Reichenbach |
| 2020 | GPCE | A domain-specific language for filtering in application-level gateways. | Hampus Balldin, Christoph Reichenbach |
| 2019 | PLDI | MetaDL: analysing Datalog in Datalog. | Alexandru Dura, Hampus Balldin, Christoph Reichenbach |
| 2017 | PEPM | Interactive data representation migration: exploiting program dependence to aid program transformation. | Krishna Narasimhan, Christoph Reichenbach, Julia Lawall |
| 2015 | CC | A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. | Hilmar Ackermann, Christoph Reichenbach, Christian Mller, Yannis Smaragdakis |
| 2012 | ECOOP | Java Wildcards Meet Definition-Site Variance. | John Altidor, Christoph Reichenbach, Yannis Smaragdakis |
| 2012 | ECOOP | PQL: A Purely-Declarative Java Extension for Parallel Programming. | Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman |
| 2012 | ISSTA | Residual investigation: predictive and precise bug detection. | Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis |
| 2010 | OOPSLA | What can the GC compute efficiently?: a language for heap assertions at GC time. | Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer |
| 2009 | ECOOP | Program Metamorphosis. | Christoph Reichenbach, Devin Coughlin, Amer Diwan |