Christoph Reichenbach

43 papers A* 2A 6B 6C 6Journal 10Unranked 11
YearRankTypeTitle / Venue / Authors
2025 B conf
Dynamic Dependency-Based Purity Checking.
SLE
Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach
2025 J jnl
Probabilistic energy profiler for statically typed JVM-based programming languages.
CoRR
Joel Nyholm, Wojciech Mostowski, Christoph Reichenbach
2025 — conf
Reflex-Plan: A Safety Monitoring Architecture for Thinking Fast and Slow.
CASE
Momina Rizwan, Christoph Reichenbach, Volker Krüger
2024 B conf
Clog: A Declarative Language for C Static Code Checkers.
CC
Alexandru Dura, Christoph Reichenbach
2024 B conf
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis.
SLE
Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, Christoph Reichenbach
2024 J jnl
EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection.
Frontiers Robotics AI
Momina Rizwan, Christoph Reichenbach, Ricardo Caldas, Matthias Mayr, Volker Krüger
2024 J jnl
IntraJ: an on-demand framework for intraprocedural Java code analysis.
Int. J. Softw. Tools Technol. Transf.
Idriss Riouak, Niklas Fors, Görel Hedin, Christoph Reichenbach
2023 A conf
Classification-based Static Collection Selection for Java: Effectiveness and Adaptability.
EASE
Noric Couderc, Christoph Reichenbach, Emma Söderberg
2023 — conf
EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early.
RoSE@ICSE
Momina Rizwan, Ricardo Caldas, Christoph Reichenbach, Matthias Mayr
2023 — conf
Performance Analysis with Bayesian Inference.
ICSE (NIER)
Noric Couderc, Christoph Reichenbach, Emma Söderberg
2023 — conf
TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts.
WETSEB
Sundas Munir, Christoph Reichenbach
2022 C conf
JFeature: Know Your Corpus.
SCAM
Idriss Riouak, Görel Hedin, Christoph Reichenbach, Niklas Fors
2021 C conf
A Precise Framework for Source-Level Control-Flow Analysis.
SCAM
Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors
2021 J jnl
JavaDL: automatically incrementalizing Java bug pattern detection.
Proc. ACM Program. Lang.
Alexandru Dura, Christoph Reichenbach, Emma Söderberg
2021 — conf
Software Ticks Need No Specifications.
ICSE (NIER)
Christoph Reichenbach
2021 C conf
Using Program Analysis to Identify the Use of Vulnerable Functions.
SECRYPT
Rasmus Hagberg, Martin Hell, Christoph Reichenbach
2020 B conf
A domain-specific language for filtering in application-level gateways.
GPCE
Hampus Balldin, Christoph Reichenbach
2020 — conf
JBrainy: Micro-benchmarking Java Collections with Interference.
ICPE Companion
Noric Couderc, Emma Söderberg, Christoph Reichenbach
2020 — ed.
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
SOAP@PLDI
Paddy Krishnan, Christoph Reichenbach
2020 — conf
The PL-detective revisited.
SPLASH-E
Christoph Reichenbach
2019 — conf
MetaDL: analysing Datalog in Datalog.
SOAP@PLDI
Alexandru Dura, Hampus Balldin, Christoph Reichenbach
2019 B ed.
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019.
GPCE
Ina Schaefer, Christoph Reichenbach, Tijs van der Storm
2018 J jnl
Cleaning up copy-paste clones with interactive merging.
Autom. Softw. Eng.
Krishna Narasimhan, Christoph Reichenbach, Julia Lawall
2017 C conf
Interactive data representation migration: exploiting program dependence to aid program transformation.
PEPM
Krishna Narasimhan, Christoph Reichenbach, Julia Lawall
2016 C conf
Copy and paste redeemed.
Software Engineering
Krishna Narasimhan, Christoph Reichenbach
2015 B conf
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation.
CC
Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis
2015 A* conf
Copy and Paste Redeemed (T).
ASE
Krishna Narasimhan, Christoph Reichenbach
2015 — conf
Residual Investigation: Predictive and Precise Bug Detection.
Software Engineering & Management
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2014 J jnl
Residual Investigation: Predictive and Precise Bug Detection.
ACM Trans. Softw. Eng. Methodol.
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2014 C conf
Second-Order Constraints in Dynamic Invariant Inference.
Software Engineering
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
2013 A* conf
SEDGE: Symbolic example data generation for dataflow programs.
ASE
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner
2013 — conf
Second-order constraints in dynamic invariant inference.
ESEC/SIGSOFT FSE
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young
2012 A conf
Java Wildcards Meet Definition-Site Variance.
ECOOP
John Altidor, Christoph Reichenbach, Yannis Smaragdakis
2012 A conf
PQL: A Purely-Declarative Java Extension for Parallel Programming.
ECOOP
Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman
2012 A conf
Residual investigation: predictive and precise bug detection.
ISSTA
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2010 A conf
What can the GC compute efficiently?: a language for heap assertions at GC time.
OOPSLA
Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer
2009 J jnl
Analysis of imperative XML programs.
Inf. Syst.
Christoph Reichenbach, Michael G. Burke, Igor Peshansky, Mukund Raghavachari
2009 A conf
Program Metamorphosis.
ECOOP
Christoph Reichenbach, Devin Coughlin, Amer Diwan
2008 J jnl
Developing and debugging algebraic specifications for Java classes.
ACM Trans. Softw. Eng. Methodol.
Johannes Henkel, Christoph Reichenbach, Amer Diwan
2008 J jnl
Errata for "Discovering Documentation for Java Container Classes".
IEEE Trans. Software Eng.
Johannes Henkel, Christoph Reichenbach, Amer Diwan
2007 — conf
Analysis of Imperative XML Programs.
DBPL
Michael G. Burke, Igor Peshansky, Mukund Raghavachari, Christoph Reichenbach
2007 J jnl
Discovering Documentation for Java Container Classes.
IEEE Trans. Software Eng.
Johannes Henkel, Christoph Reichenbach, Amer Diwan
2006 — ch.
Opinion Polarity Identification of Movie Reviews.
Computing Attitude and Affect in Text
Franco Salvetti, Christoph Reichenbach, Stephen Lewis