Christoph Reichenbach

According to our database, Christoph Reichenbach authored at least 31 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Clog: A Declarative Language for C Static Code Checkers.

Alexandru Dura, Christoph Reichenbach

Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

2023

TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts.

Sundas Munir, Christoph Reichenbach

Proceedings of the 6th IEEE/ACM International Workshop on Emerging Trends in Software Engineering for Blockchain, 2023

EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early.

Momina Rizwan, Ricardo Caldas, Christoph Reichenbach, Matthias Mayr

Proceedings of the 5th IEEE/ACM International Workshop on Robotics Software Engineering, 2023

Performance Analysis with Bayesian Inference.

Noric Couderc, Christoph Reichenbach, Emma Söderberg

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Classification-based Static Collection Selection for Java: Effectiveness and Adaptability.

Noric Couderc, Christoph Reichenbach, Emma Söderberg

Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023

2022

JFeature: Know Your Corpus.

Idriss Riouak, Görel Hedin, Christoph Reichenbach, Niklas Fors

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

2021

JavaDL: automatically incrementalizing Java bug pattern detection.

Alexandru Dura, Christoph Reichenbach, Emma Söderberg

Proc. ACM Program. Lang., 2021

Using Program Analysis to Identify the Use of Vulnerable Functions.

Rasmus Hagberg, Martin Hell, Christoph Reichenbach

Proceedings of the 18th International Conference on Security and Cryptography, 2021

A Precise Framework for Source-Level Control-Flow Analysis.

Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

Software Ticks Need No Specifications.

Christoph Reichenbach

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

2020

JBrainy: Micro-benchmarking Java Collections with Interference.

Noric Couderc, Emma Söderberg, Christoph Reichenbach

Proceedings of the Companion of the 2020 ACM/SPEC International Conference on Performance Engineering, 2020

The PL-detective revisited.

Christoph Reichenbach

Proceedings of the SPLASH-E '20, 2020

A domain-specific language for filtering in application-level gateways.

Hampus Balldin, Christoph Reichenbach

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

2019

MetaDL: analysing Datalog in Datalog.

Alexandru Dura, Hampus Balldin, Christoph Reichenbach

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019

2018

Cleaning up copy-paste clones with interactive merging.

Krishna Narasimhan, Christoph Reichenbach, Julia Lawall

Autom. Softw. Eng., 2018

2017

Interactive data representation migration: exploiting program dependence to aid program transformation.

Krishna Narasimhan, Christoph Reichenbach, Julia Lawall

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

2016

Copy and paste redeemed.

Krishna Narasimhan, Christoph Reichenbach

Proceedings of the Software Engineering 2016, 2016

2015

Copy and Paste Redeemed (T).

Krishna Narasimhan, Christoph Reichenbach

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation.

Hilmar Ackermann, Christoph Reichenbach, Christian Müller, Yannis Smaragdakis

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

Residual Investigation: Predictive and Precise Bug Detection.

Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis

ACM Trans. Softw. Eng. Methodol., 2014

Second-Order Constraints in Dynamic Invariant Inference.

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

SEDGE: Symbolic example data generation for dataflow programs.

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

PQL: A Purely-Declarative Java Extension for Parallel Programming.

Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

Java Wildcards Meet Definition-Site Variance.

John Altidor, Christoph Reichenbach, Yannis Smaragdakis

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2010

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

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Analysis of imperative XML programs.

Christoph Reichenbach, Michael G. Burke, Igor Peshansky, Mukund Raghavachari

Inf. Syst., 2009

Program Metamorphosis.

Christoph Reichenbach, Devin Coughlin, Amer Diwan

Proceedings of the ECOOP 2009, 2009

2008

Errata for "Discovering Documentation for Java Container Classes".

Johannes Henkel, Christoph Reichenbach, Amer Diwan

IEEE Trans. Software Eng., 2008

Developing and debugging algebraic specifications for Java classes.

Johannes Henkel, Christoph Reichenbach, Amer Diwan

ACM Trans. Softw. Eng. Methodol., 2008

2007

Discovering Documentation for Java Container Classes.

Johannes Henkel, Christoph Reichenbach, Amer Diwan

IEEE Trans. Software Eng., 2007

2006

Opinion Polarity Identification of Movie Reviews.

Franco Salvetti, Christoph Reichenbach, Stephen Lewis

Proceedings of the Computing Attitude and Affect in Text: Theory and Applications, 2006