Publications
Articles
: `Dynamic Dependency-Based Purity Checking' in Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering
Distinguished Artifact Award
Distinguished Artifact Award
: `EzSkiROS: enhancing robot skill composition with embedded DSL for early error detection' in Frontiers in Robotics and AI
: `IntraJ: an on-demand framework for intraprocedural Java code analysis' in International Journal on Software Tools for Technology Transfer
: `Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis' in Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering
Distinguished Paper Award; Distinguished Artefact Award
Distinguished Paper Award; Distinguished Artefact Award
: `Clog: A Declarative Language for C Static Code Checkers' in Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction
: `Classification-based Static Collection Selection for Java: Effectiveness and Adaptability' in Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering EASE
: `ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots' in Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components
: `EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early' in 2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE)
: `Performance Analysis with Bayesian Inference' in 2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
: `TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts' in 2023 IEEE/ACM 6th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)
: `JFeature: Know Your Corpus' in 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)
: `JavaDL: Automatically Incrementalizing Java Bug Pattern Detection' in Proceedings of the ACM on Programming Languages (OOPSLA 2021)
: `A Precise Framework for Source-Level Control-Flow Analysis' in 21st IEEE International Working Conference on Source Code Analysis
and Manipulation, SCAM 2021
: `Using Program Analysis to Identify the Use of Vulnerable Functions' in 18th International Conference on Security and Cryptography, SECRYPT 2021
: `Software Ticks Need No Specifications' in Proceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging Results Track (ICSE-NIER 2021)
: `JBrainy: Micro-benchmarking Java Collections with Interference (Work in Progress Paper)' in Companion of the ACM/SPEC International Conference on Performance Engineering
: `A Domain-Specific Language for Filtering in Application-Level Gateways' in Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
: `The PL-Detective Revisited' in Proceedings of the 2020 ACM SIGPLAN SPLASH-E Symposium
: `MetaDL: Analysing Datalog in Datalog' in Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Best Presentation Award
Best Presentation Award
: `Cleaning up Copy--Paste Clones with Interactive Merging' in 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)
: `Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation' in Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
: `Copy and Paste Redeemed' in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering
Distinguished Paper Award
Distinguished Paper Award
: `A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation' in 24th International Conference on Compiler Construction
: `Residual Investigation: Predictive and Precise Bug Detection' in ACM Transactions on Software Engineering Methodology
: `SEDGE: Symbolic example data generation for dataflow programs' in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
: `Second-order constraints in dynamic invariant inference' in Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013
: `Java Wildcards Meet Definition-Site Variance' in Proceedings of the 26th European Conference on Object-Oriented Programming
: `Residual investigation: predictive and precise bug detection' in Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012
Distinguished Paper Award
Distinguished Paper Award
: `PQL: A Purely-Declarative Java Extension for Parallel Programming' in ECOOP 2012 – Object-Oriented Programming
: `What can the GC compute efficiently?' in OOPSLA 2010
: `A New Java Runtime for a Parallel World' in Proceedings of the Fun Ideas and Thoughts
Session at PLDI
: `Analysis of imperative XML programs' in Information Systems
: `Program Metamorphosis' in ECOOP 2009 -- Object-Oriented Programming
: `Developing and Debugging Algebraic Specifications for Java Classes' in ACM Trans. Softw. Eng. Methodol.
: `Errata for "Discovering Documentation for Java Container Classes" [Aug 07 526-543]' in IEEE Transactions on Software Engineering
: `Discovering Documentation for Java Container Classes' in IEEE Transactions on Software Engineering
: `Analysis of Imperative XML Programs' in Database Programming Languages
: `Impact of lexical filtering on overall opinion polarity identification' in Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications, Stanford, US
: `Setting Up a Big Data Project: Challenges, Opportunities, Technologies and Optimization' in Big Data Optimization: Recent Developments and Challenges
: `Opinion Polarity Identification of Movie Reviews' in Computing Attitude and Affect in Text: Theory and Applications
Artefacts
: `Artifact for Dynamic Dependency-Based Purity
Checking
'; Software artefact
: `Efficient Demand Evaluation of Fixed-Point
Attributes Using Static Analysis (Artifact)'; Software artefact
: `Clog: A Declarative Language for C Static Code Checkers'; Software artefact
Theses
: `Program Metamorphosis'; Ph.D. dissertation, Department of Computer Science, University of Colorado at Boulder
Tech Reports
: `Compositional Dataflow Analysis via Abstract Transition Systems'; Technical Report , Lund University
: `Program Metamorphosis'; Technical Report 1036, Department of Computer Science, University of Colorado at Boulder
: `Developing and Debugging Algebraic Specifications for Java Classes'; Technical Report 984, Department of Computer Science, University of Colorado at Boulder
: `Discovering Documentation for Java Container Classes'; Technical Report 985, Department of Computer Science, University of Colorado at Boulder
This page is Copyright © 2004-2024 Christoph Reichenbach. Re-use in whole or in parts is allowed without restriction.