Christoph Reichenbach

Search results

• 2024

  IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis

  Riouak, I., Fors, N., Hedin, G. & Reichenbach, C., 2024 Nov 20, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  14 Downloads (Pure)

• Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis

  Riouak, I., Fors, N., Öqvist, J., Hedin, G. & Reichenbach, C., 2024 Oct 17, SLE '24: Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery (ACM), p. 56-69 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  Open Access

• Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)

  Riouak, I., Fors, N., Öqvist, J., Hedin, G. & Reichenbach, C., 2024 Aug 23, 1 p.

  Research output: Other contribution › Miscellaneous › Research

  Open Access

• Clog: A Declarative Language for C Static Code Checkers

  Dura, A. & Reichenbach, C., 2024 Feb 17, CC 2024 - Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction. Rodriguez, G., Sadayappan, P. & Sukumaran-Rajam, A. (eds.). Association for Computing Machinery (ACM), p. 186-197 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  Open Access

  • Programs 100%
  • Evaluation 33%
  • Real World 33%
  • Control Flow 33%
  • Syntactics 33%
• 2023

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

  Rizwan, M., Caldas, R., Reichenbach, C. & Mayr, M., 2023 Jul 26, 2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE). IEEE - Institute of Electrical and Electronics Engineers Inc., p. 61-68 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  Open Access

  • Domain-specific languages 100%
  • Robot 83%
  • Programs 16%
  • Software Component 16%
  • Debugging 16%

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

  Couderc, N., Reichenbach, C. & Söderberg, E., 2023, EASE '23: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering. Association for Computing Machinery (ACM), p. 111–120

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  Open Access

  • Programs 100%
  • Information 100%
  • Harbours 75%
  • Benchmark 50%
  • Approach 50%

• Performance Analysis with Bayesian Inference

  Couderc, N., Reichenbach, C. & Söderberg, E., 2023, 2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER). IEEE - Institute of Electrical and Electronics Engineers Inc.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Analysis 100%
  • Assumption 100%
  • Bayesian 100%
  • Analysis of Variance 66%
  • Statistics 50%

• ROSSMARie: A Domain-Specific Language To Express Dynamic Safety Rules and Recovery Strategies for Autonomous Robots

  Rizwan, M., Reichenbach, C. & Krueger, V., 2023.

  Research output: Contribution to conference › Abstract

  • Robot 100%
  • Domain-Specific Language 100%
  • Robot Safety 14%

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

  Munir, S. & Reichenbach, C., 2023, Proceedings - 2023 IEEE/ACM 6th International Workshop on Emerging Trends in Software Engineering for Blockchain, WETSEB 2023. IEEE - Institute of Electrical and Electronics Engineers Inc., p. 9-16 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Dependency Analyzer 100%
  • Function Invocation 20%
• 2022

  JFeature: Know Your Corpus

  Riouak, I., Hedin, G., Reichenbach, C. & Fors, N., 2022, Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022. IEEE - Institute of Electrical and Electronics Engineers Inc., p. 236-241 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Programs 100%
  • Static Program Analysis 100%
  • Real World 100%
  • Software 100%
  • Software Development Tool 100%
• 2021

  JavaDL: Automatically Incrementalizing Java Bug Pattern Detection

  Dura, A., Reichenbach, C. & Söderberg, E., 2021 Oct 1, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 165.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Pattern Detection 100%
  • Specification Language 100%
  • Benchmark 50%
  • Software Developer 50%
  • Reasoning 50%

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

  Riouak, I., Reichenbach, C., Hedin, G. & Fors, N., 2021, Proceedings - IEEE 21st International Working Conference on Source Code Analysis and Manipulation, SCAM 2021. IEEE - Institute of Electrical and Electronics Engineers Inc., p. 1-11 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  Open Access

  • Attribute Grammar 100%
  • Academia 100%
  • Data-Flow Analysis 100%
  • Bytecode 100%
  • Abstract Syntax Tree 100%

• Software Ticks Need No Specifications

  Reichenbach, C., 2021, Proceedings of the 43rd International Conference on Software Engineering. IEEE - Institute of Electrical and Electronics Engineers Inc.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  File

  • Program Specification 100%
  385 Downloads (Pure)

• Using Program Analysis to Identify the Use of Vulnerable Functions

  Hagberg, R., Hell, M. & Reichenbach, C., 2021, 18th International Conference on Security and Cryptography, SECRYPT 2021. INSTICC Press, p. 520-530

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Program Analysis 100%
  • Open Source Software 100%
  • Software 75%
  • Software Component 50%
  • System Management 25%
• 2020

  A Domain-Specific Language for Filtering in Application-Level Gateways

  Balldin, H. & Reichenbach, C., 2020 Nov, Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. New York, NY, USA: Association for Computing Machinery (ACM), p. 111–123

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  Open Access

  File

  • Filtering 100%
  • Application Level 100%
  • Domain-Specific Language 100%
  • Programs 16%
  • Application Domain 16%
  171 Downloads (Pure)

• The PL-Detective Revisited

  Reichenbach, C., 2020 Nov, Proceedings of the 2020 ACM SIGPLAN Symposium on SPLASH-E. New York, NY, USA: Association for Computing Machinery (ACM), p. 12–22 (SPLASH-E 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  Open Access

  File

  • Semantics of Programming Language 100%
  • Parameter Passing 100%
  127 Downloads (Pure)

• JBrainy: Micro-benchmarking Java Collections with Interference (Work in Progress Paper)

  Couderc, N., Söderberg, E. & Reichenbach, C., 2020, Proceedings of the 11th ACM/SPEC international conference on Performance Engineering. Association for Computing Machinery (ACM), p. 42-45

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  File

  • Benchmark 100%
  • Benchmarking 100%
  • Decision-Making 33%
  • Data Structure 33%
  • Software Developer 33%
  413 Downloads (Pure)

• Message from the Chairs

  Krishnan, P. & Reichenbach, C., 2020, SOAP 2020 - Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, co-located with PLDI 2020. Association for Computing Machinery (ACM), p. III

  Research output: Chapter in Book/Report/Conference proceeding › Preface to conference proceeding
• 2019

  Message from the Chairs

  Schaefer, I., Reichenbach, C. & Van Der Storm, T., 2019 Oct 21, GPCE ’19: Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Schaefer, I., Reichenbach, C. & van der Storm, T. (eds.). New York: Association for Computing Machinery (ACM), p. iiii-iiii 1 p.

  Research output: Chapter in Book/Report/Conference proceeding › Preface to conference proceeding

• MetaDL: Analysing Datalog in Datalog

  Dura, A., Balldin, H. & Reichenbach, C., 2019, SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery (ACM), p. 38-43 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Analysis 100%
  • Languages 50%
  • Program Analysis 30%
  • Research Worker 25%
  • Experience 25%
• 2018

  Cleaning up copy–paste clones with interactive merging

  Narasimhan, K., Reichenbach, C. & Lawall, J., 2018 Sept, In: Automated Software Engineering. 25, 3, p. 627-673

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Open Source 100%
  • Source Codes 100%
  • Software Developer 50%
  • Software Maintenance 50%
  • Software Reuse 50%
• 2017

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

  Narasimhan, K., Reichenbach, C. & Lawall, J., 2017, PEPM 2017 Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation . Association for Computing Machinery (ACM), p. 47-58

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Interactive Data 100%
  • Program Transformation 100%
  • Transformation Rule 20%
  • Structures of Array 20%
  • Array of Structure 20%
• 2016

  Copy-paste redeemed

  Narasimhan, K. & Reichenbach, C., 2016, Software Engineering 2016. Knoop, J. & Zdun, U. (eds.). Gesellschaft fur Informatik, p. 61-62 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P252).

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

  Open Access

  • Software 100%
  • Open Source 50%
  • User Preference 50%

• Setting Up a Big Data Project: Challenges, Opportunities, Technologies and Optimization

  Zicari, R. V., Rosselli, M., Ivanov, T., Korfiatis, N., Tolle, K., Niemann, R. & Reichenbach, C., 2016, Big Data Optimization: Recent Developments and Challenges. Emrouznejad, A. (ed.). Springer, Vol. 18. p. 17-47 31 p. (Studies in Big Data; vol. 18).

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • Solution and Solubility 100%
• 2015

  Copy and Paste Redeemed

  Narasimhan, K. & Reichenbach, C., 2015 Nov 9, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015 . IEEE Computer Society, p. 630-640

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Software Developer 100%
  • Software Engineer 100%
  • Software Development Tool 50%
  • Software Development 50%
  • Open Source 50%

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

  Ackermann, H., Reichenbach, C., Müller, C. & Smaragdakis, Y., 2015, Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Franke, B. (ed.). Berlin, Heidelberg: Springer, p. 111-130 (Lecture notes in computer science; vol. 9031).

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • User 100%
  • Extension Language 100%
  • Computation 50%
  • Algorithms 50%
  • Data Processing 50%

• Residual Investigation: Predictive and Precise Bug Detection

  Li, K., Reichenbach, C., Csallner, C. & Smaragdakis, Y., 2015, Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW. Assmann, U., Demuth, B., Spitta, T., Puschel, G. & Kaiser, R. (eds.). Gesellschaft fur Informatik, p. 133-134 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-239).

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Programs 100%
  • Static Program Analysis 50%
  • Program Analysis 25%
  • False Positive 25%
  • Reported Error 25%
• 2014

  Residual Investigation: Predictive and Precise Bug Detection

  Li, K., Reichenbach, C., Csallner, C. & Smaragdakis, Y., 2014, In: ACM Transactions on Software Engineering and Methodology. 24, 2, 7.

  Research output: Contribution to journal › Article › peer-review

  • Reported Error 100%
  • Open Source System 100%

• Second-order constraints in dynamic invariant inference

  Li, K., Reichenbach, C., Smaragdakis, Y. & Young, M., 2014, Software Engineering 2014. Hasselbring, W. & Ehmke, N. C. (eds.). Gesellschaft fur Informatik, p. 93-94 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P227).

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

  • Semantics 100%
  • Humans 100%
  • Programs 100%
  • Compiler 100%
• 2013

  SEDGE: Symbolic example data generation for dataflow programs

  Li, K., Reichenbach, C., Smaragdakis, Y., Diao, Y. & Csallner, C., 2013 Dec 1, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 235-245 11 p. 6693083

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Map-Reduce 100%
  • Program State 50%
  • Hadoop Map Reduce 50%
  • Reasoning Engine 50%

• Second-order constraints in dynamic invariant inference

  Li, K., Reichenbach, C., Smaragdakis, Y. & Young, M., 2013 Sept 16, 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings. Association for Computing Machinery (ACM), p. 103-113 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Programs 100%
  • Compiler 100%
  • Higher-Level Constraint 100%
• 2012

  Java wildcards meet definition-site variance

  Altidor, J., Reichenbach, C. & Smaragdakis, Y., 2012 Dec 1, ECOOP 2012 - Object-Oriented Programming: 26th European Conference, Proceedings. p. 509-534 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7313 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Wildcard 100%
  • Variance 100%
  • Soundness 50%
  • Parametric Polymorphism 50%
  • Calculus 11%

• Residual investigation: Predictive and precise bug detection

  Li, K., Reichenbach, C., Csallner, C. & Smaragdakis, Y., 2012 Aug 28, 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings. Association for Computing Machinery (ACM), p. 298-308 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Programs 100%
  • Error 100%
  • Static Program Analysis 50%
  • Analysis 50%
  • Program Analysis 25%

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

  Reichenbach, C., Smaragdakis, Y. & Immerman, N., 2012, ECOOP 2012 – Object-Oriented Programming : 26th European Conference Beijing, China, June 11-16, 2012 Proceedings. Springer, p. 53-78 Chapter 4. (Lecture notes in computer science; vol. 7313).

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • Computing 100%
  • Parallel Programming 100%
  • Compiler 50%
  • Hadoop 50%
  • Parallelism 50%
• 2010

  What can the GC compute efficiently? A language for heap assertions at GC time

  Reichenbach, C., Immerman, N., Smaragdakis, Y., Aftandilian, E. E. & Guyer, S. Z., 2010 Oct 1, In: ACM SIGPLAN Notices. 45, 10, p. 256-269 14 p.

  Research output: Contribution to journal › Article › peer-review

  • Assertion 100%
  • Programs 40%
  • Garbage Collection 40%
  • Evaluating Result 20%

• A New Java Runtime for a Parallel World

  Reichenbach, C. & Smaragdakis, Y., 2010.

  Research output: Contribution to conference › Paper, not in proceeding › peer-review

  Open Access

  File

  • runtime system 100%
  • Parallelization 100%
  • Parallelism 100%
  45 Downloads (Pure)
• 2009

  Analysis of imperative XML programs

  Reichenbach, C., Burke, M. G., Peshansky, I. & Raghavachari, M., 2009 Nov 1, In: Information Systems. 34, 7, p. 624-642 19 p.

  Research output: Contribution to journal › Article › peer-review

  • Programs 100%
  • Computation 33%
  • Benchmark 33%
  • Program Analysis 33%
  • Performance Improvement 33%

• Program metamorphosis

  Reichenbach, C., Coughlin, D. & Diwan, A., 2009 Sept 14, ECOOP 2009 - Object-Oriented Programming - 23rd European Conference, Proceedings. Springer, p. 394-418 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5653 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Programs 100%
  • Refactoring 100%
  • Transformations 66%
  • Behavioral Change 16%
  • Development Environment 16%
• 2008

  Developing and debugging algebraic specifications for Java classes

  Henkel, J., Reichenbach, C. & Diwan, A., 2008 Jun 1, In: ACM Transactions on Software Engineering and Methodology. 17, 3, 14.

  Research output: Contribution to journal › Article › peer-review

  • Algebraic Specifications 100%
  • Java Application 16%
  • Container Class 16%
  • Reusable Software 16%
• 2007

  Analysis of imperative XML programs

  Burke, M. G., Peshansky, I., Raghavachari, M. & Reichenbach, C., 2007 Dec 1, Database Programming Languages: 11th International Symposium, DBPL 2007, Revised Selected Papers. Springer, p. 216-230 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4797 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • Programs 100%
  • Computation 33%
  • Benchmark 33%
  • Program Analysis 33%
  • Type Systems 33%

• Discovering documentation for Java container classes

  Henkel, J., Reichenbach, C. & Diwan, A., 2007 Aug 1, In: IEEE Transactions on Software Engineering. 33, 8, p. 526-543 18 p.

  Research output: Contribution to journal › Article › peer-review

  • Formal Specification 100%
  • Container Class 100%
  • Programs 66%
  • Code Reuse 33%
  • Software Library 33%
• 2006

  Opinion Polarity Identification of Movie Reviews

  Salvetti, F., Reichenbach, C. & Lewis, S., 2006, Computing Attitude and Affect in Text: Theory and Applications. Shanahan, J. G., Qu, Y. & Wiebe, J. (eds.). Springer, p. 303-316 Chapter 23

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

  • Markov Model 100%
  • Classifier 66%
  • Feature Selection 66%
  • Feature Extraction 50%
  • Evaluation 33%
• 2005

  Impact of lexical filtering on overall opinion polarity identification

  Salvetti, F., Lewis, S. & Reichenbach, C., 2005 Dec 1, EXPLORING ATTITUDE AND AFFECT IN TEXT: THEORIES AND APPLICATIONS: Papers from the AAAI Spring Symposium. AAAI Press, p. 128-133 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

  • Filtering 100%
  • Classifier 66%
  • Evaluation 33%
  • Machine Learning 33%
  • Learning Mechanism 33%