Publications
Articles
: `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 Automated Software Engineering
: `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 Compiler Construction
: `Residual Investigation: Predictive and Precise Bug Detection' in ACM Trans. Softw. Eng. Methodol.
: `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 ECOOP 2012 – 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 ACM SIGPLAN Notices
: `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
Theses
: `Program Metamorphosis'; Ph.D. dissertation, Department of Computer Science, University of Colorado at Boulder
Tech Reports
: `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-2019 Christoph Reichenbach. Re-use in whole or in parts is allowed without restriction.