Christoph Reichenbach

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 17

Top Topics

Collection Selection

Top Venues

Software Engineering

Publications

Alexandru Dura, Christoph Reichenbach
Clog: A Declarative Language for C Static Code Checkers. CC (2024)
Momina Rizwan, Ricardo Caldas, Christoph Reichenbach, Matthias Mayr
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early. RoSE@ICSE (2023)
Noric Couderc, Christoph Reichenbach, Emma Söderberg
Performance Analysis with Bayesian Inference. ICSE (NIER) (2023)
Sundas Munir, Christoph Reichenbach
TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts. WETSEB (2023)
Noric Couderc, Christoph Reichenbach, Emma Söderberg
Classification-based Static Collection Selection for Java: Effectiveness and Adaptability. EASE (2023)
Idriss Riouak, Görel Hedin, Christoph Reichenbach, Niklas Fors
JFeature: Know Your Corpus. SCAM (2022)
Christoph Reichenbach
Software Ticks Need No Specifications. ICSE (NIER) (2021)
Rasmus Hagberg, Martin Hell, Christoph Reichenbach
Using Program Analysis to Identify the Use of Vulnerable Functions. SECRYPT (2021)
Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors
A Precise Framework for Source-Level Control-Flow Analysis. SCAM (2021)
Alexandru Dura, Christoph Reichenbach, Emma Söderberg
JavaDL: automatically incrementalizing Java bug pattern detection. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Hampus Balldin, Christoph Reichenbach
A domain-specific language for filtering in application-level gateways. GPCE (2020)
Christoph Reichenbach
The PL-detective revisited. SPLASH-E (2020)
Noric Couderc, Emma Söderberg, Christoph Reichenbach
JBrainy: Micro-benchmarking Java Collections with Interference. ICPE Companion (2020)
Alexandru Dura, Hampus Balldin, Christoph Reichenbach
MetaDL: analysing Datalog in Datalog. SOAP@PLDI (2019)
Krishna Narasimhan, Christoph Reichenbach, Julia Lawall
Cleaning up copy-paste clones with interactive merging. Autom. Softw. Eng. 25 (3) (2018)
Krishna Narasimhan, Christoph Reichenbach, Julia Lawall
Interactive data representation migration: exploiting program dependence to aid program transformation. PEPM (2017)
Krishna Narasimhan, Christoph Reichenbach
Copy and paste redeemed. Software Engineering (2016)
Krishna Narasimhan, Christoph Reichenbach
Copy and Paste Redeemed (T). ASE (2015)
Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. CC (2015)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual Investigation: Predictive and Precise Bug Detection. Software Engineering & Management (2015)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual Investigation: Predictive and Precise Bug Detection. ACM Trans. Softw. Eng. Methodol. 24 (2) (2014)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
Second-Order Constraints in Dynamic Invariant Inference. Software Engineering (2014)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
Second-order constraints in dynamic invariant inference. ESEC/SIGSOFT FSE (2013)
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner
SEDGE: Symbolic example data generation for dataflow programs. ASE (2013)
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
Residual investigation: predictive and precise bug detection. ISSTA (2012)
John Altidor, Christoph Reichenbach, Yannis Smaragdakis
Java Wildcards Meet Definition-Site Variance. ECOOP (2012)
Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman
PQL: A Purely-Declarative Java Extension for Parallel Programming. ECOOP (2012)
Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer
What can the GC compute efficiently?: a language for heap assertions at GC time. OOPSLA (2010)
Christoph Reichenbach, Michael G. Burke, Igor Peshansky, Mukund Raghavachari
Analysis of imperative XML programs. Inf. Syst. 34 (7) (2009)
Christoph Reichenbach, Devin Coughlin, Amer Diwan
Program Metamorphosis. ECOOP (2009)
Johannes Henkel, Christoph Reichenbach, Amer Diwan
Errata for "Discovering Documentation for Java Container Classes". IEEE Trans. Software Eng. 34 (2) (2008)
Johannes Henkel, Christoph Reichenbach, Amer Diwan
Developing and debugging algebraic specifications for Java classes. ACM Trans. Softw. Eng. Methodol. 17 (3) (2008)
Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach
Analysis of Imperative XML Programs. DBPL (2007)
Johannes Henkel, Christoph Reichenbach, Amer Diwan
Discovering Documentation for Java Container Classes. IEEE Trans. Software Eng. 33 (8) (2007)