Dynamic Dependency-Based Purity Checking. - Alaküla, Anton Risberg; Fors, Niklas; Reichenbach, Christoph (2025)

IntraJ: an on-demand framework for intraprocedural Java code analysis. - Riouak, Idriss; Fors, Niklas; Hedin, Görel; Reichenbach, Christoph (Int. J. Softw. Tools Technol. Transf., 2024)

Clog: A Declarative Language for C Static Code Checkers. - Dura, Alexandru; Reichenbach, Christoph (2024)

Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis. - Riouak, Idriss; Fors, Niklas; Öqvist, Jesper; Hedin, Görel; Reichenbach, Christoph (2024)

Classification-based Static Collection Selection for Java: Effectiveness and Adaptability. - Couderc, Noric; Reichenbach, Christoph; Söderberg, Emma (2023)

Performance Analysis with Bayesian Inference. - Couderc, Noric; Reichenbach, Christoph; Söderberg, Emma (2023)

EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early. - Rizwan, Momina; Caldas, Ricardo; Reichenbach, Christoph; Mayr, Matthias (2023)

TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts. - Munir, Sundas; Reichenbach, Christoph (2023)

JFeature: Know Your Corpus. - Riouak, Idriss; Hedin, Görel; Reichenbach, Christoph; Fors, Niklas (2022)

JavaDL: automatically incrementalizing Java bug pattern detection. - Dura, Alexandru; Reichenbach, Christoph; Söderberg, Emma (Proc. ACM Program. Lang., 2021)

Software Ticks Need No Specifications. - Reichenbach, Christoph (2021)

A Precise Framework for Source-Level Control-Flow Analysis. - Riouak, Idriss; Reichenbach, Christoph; Hedin, Görel; Fors, Niklas (2021)

Using Program Analysis to Identify the Use of Vulnerable Functions. - Hagberg, Rasmus; Hell, Martin; Reichenbach, Christoph (2021)

A domain-specific language for filtering in application-level gateways. - Balldin, Hampus; Reichenbach, Christoph (2020)

The PL-detective revisited. - Reichenbach, Christoph (2020)

JBrainy: Micro-benchmarking Java Collections with Interference. - Couderc, Noric; Söderberg, Emma; Reichenbach, Christoph (2020)

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK, June 15, 2020 (ACM, 2020)

MetaDL: analysing Datalog in Datalog. - Dura, Alexandru; Balldin, Hampus; Reichenbach, Christoph (2019)

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019. (ACM, 2019)

Cleaning up copy-paste clones with interactive merging. - Narasimhan, Krishna; Reichenbach, Christoph; Lawall, Julia (Autom. Softw. Eng., 2018)

Interactive data representation migration: exploiting program dependence to aid program transformation. - Narasimhan, Krishna; Reichenbach, Christoph; Lawall, Julia (2017)

Copy and paste redeemed. - Narasimhan, Krishna; Reichenbach, Christoph (2016)

A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation. - Ackermann, Hilmar; Reichenbach, Christoph; Müller, Christian; Smaragdakis, Yannis (2015)

Copy and Paste Redeemed (T). - Narasimhan, Krishna; Reichenbach, Christoph (2015)

Residual Investigation: Predictive and Precise Bug Detection. - Li, Kaituo; Reichenbach, Christoph; Csallner, Christoph; Smaragdakis, Yannis (2015)

Residual Investigation: Predictive and Precise Bug Detection. - Li, Kaituo; Reichenbach, Christoph; Csallner, Christoph; Smaragdakis, Yannis (ACM Trans. Softw. Eng. Methodol., 2014)

Second-Order Constraints in Dynamic Invariant Inference. - Li, Kaituo; Reichenbach, Christoph; Smaragdakis, Yannis; Young, Michal (2014)

SEDGE: Symbolic example data generation for dataflow programs. - Li, Kaituo; Reichenbach, Christoph; Smaragdakis, Yannis; Diao, Yanlei; Csallner, Christoph (2013)

Second-order constraints in dynamic invariant inference. - Li, Kaituo; Reichenbach, Christoph; Smaragdakis, Yannis; Young, Michal (2013)

PQL: A Purely-Declarative Java Extension for Parallel Programming. - Reichenbach, Christoph; Smaragdakis, Yannis; Immerman, Neil (2012)

Java Wildcards Meet Definition-Site Variance. - Altidor, John; Reichenbach, Christoph; Smaragdakis, Yannis (2012)

Residual investigation: predictive and precise bug detection. - Li, Kaituo; Reichenbach, Christoph; Csallner, Christoph; Smaragdakis, Yannis (2012)

What can the GC compute efficiently?: a language for heap assertions at GC time. - Reichenbach, Christoph; Immerman, Neil; Smaragdakis, Yannis; Aftandilian, Edward; Guyer, Samuel Z. (2010)

Analysis of imperative XML programs. - Reichenbach, Christoph; Burke, Michael G.; Peshansky, Igor; Raghavachari, Mukund (Inf. Syst., 2009)

Program Metamorphosis. - Reichenbach, Christoph; Coughlin, Devin; Diwan, Amer (2009)

Developing and debugging algebraic specifications for Java classes. - Henkel, Johannes; Reichenbach, Christoph; Diwan, Amer (ACM Trans. Softw. Eng. Methodol., 2008)

Errata for "Discovering Documentation for Java Container Classes". - Henkel, Johannes; Reichenbach, Christoph; Diwan, Amer (IEEE Trans. Software Eng., 2008)

Discovering Documentation for Java Container Classes. - Henkel, Johannes; Reichenbach, Christoph; Diwan, Amer (IEEE Trans. Software Eng., 2007)

Analysis of Imperative XML Programs. - Burke, Michael G.; Peshansky, Igor; Raghavachari, Mukund; Reichenbach, Christoph (2007)

Opinion Polarity Identification of Movie Reviews. - Salvetti, Franco; Reichenbach, Christoph; Lewis, Stephen (2006)