Christoph Reichenbach
Universitetslektor- 2020
A Domain-Specific Language for Filtering in Application-Level Gateways
Hampus Balldin & Christoph Reichenbach, 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), s. 111–123Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
The PL-Detective Revisited
Christoph Reichenbach, 2020 nov, Proceedings of the 2020 ACM SIGPLAN Symposium on SPLASH-E. New York, NY, USA: Association for Computing Machinery (ACM), s. 12–22 (SPLASH-E 2020).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
JBrainy: Micro-benchmarking Java Collections with Interference (Work in Progress Paper)
Noric Couderc, Emma Söderberg & Christoph Reichenbach, 2020, Proceedings of the 11th ACM/SPEC international conference on Performance Engineering. Association for Computing Machinery (ACM), s. 42-45Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
-
Message from the Chairs
Paddy Krishnan & Christoph Reichenbach, 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), s. IIIForskningsoutput: Kapitel i bok/rapport/Conference proceeding › Förord till konferenspublikation
- 2019
-
Message from the Chairs
Ina Schaefer, Christoph Reichenbach & Tijs Van Der Storm, 2019 okt 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. (red.). New York: Association for Computing Machinery (ACM), s. iiii-iiii 1 s.Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Förord till konferenspublikation
-
MetaDL: Analysing Datalog in Datalog
Alexandru Dura, Hampus Balldin & Christoph Reichenbach, 2019, SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery (ACM), s. 38-43 6 s.Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
- 2018
Cleaning up copy–paste clones with interactive merging
Krishna Narasimhan, Christoph Reichenbach & Julia Lawall, 2018 sep, I: Automated Software Engineering. 25, 3, s. 627-673Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift
- 2017
-
Interactive data representation migration: exploiting program dependence to aid program transformation
Krishna Narasimhan, Christoph Reichenbach & Julia Lawall, 2017, PEPM 2017 Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation . Association for Computing Machinery (ACM), s. 47-58Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
- 2015
-
Copy and Paste Redeemed
Krishna Narasimhan & Christoph Reichenbach, 2015 nov 9, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015 . IEEE Computer Society, s. 630-640Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
-
A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation
Hilmar Ackermann, Christoph Reichenbach, Christian Müller & Yannis Smaragdakis, 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. (red.). Berlin, Heidelberg: Springer, s. 111-130 (Lecture notes in computer science; vol. 9031).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
- 2014
-
Residual Investigation: Predictive and Precise Bug Detection
Kaituo Li, Christoph Reichenbach, Christoph Csallner & Yannis Smaragdakis, 2014, I: ACM Transactions on Software Engineering and Methodology. 24, 2, 7.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift
- 2013
-
SEDGE: Symbolic example data generation for dataflow programs
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao & Christoph Csallner, 2013 dec 1, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. s. 235-245 11 s. 6693083Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
-
Second-order constraints in dynamic invariant inference
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis & Michal Young, 2013 sep 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), s. 103-113 11 s.Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
- 2012
-
Java wildcards meet definition-site variance
John Altidor, Christoph Reichenbach & Yannis Smaragdakis, 2012 dec 1, ECOOP 2012 - Object-Oriented Programming: 26th European Conference, Proceedings. s. 509-534 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7313 LNCS).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
-
Residual investigation: Predictive and precise bug detection
Kaituo Li, Christoph Reichenbach, Christoph Csallner & Yannis Smaragdakis, 2012 aug 28, 2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings. Association for Computing Machinery (ACM), s. 298-308 11 s.Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
-
PQL: A Purely-Declarative Java Extension for Parallel Programming
Christoph Reichenbach, Yannis Smaragdakis & Neil Immerman, 2012, ECOOP 2012 – Object-Oriented Programming : 26th European Conference Beijing, China, June 11-16, 2012 Proceedings. Springer, s. 53-78 Chapter 4. (Lecture notes in computer science; vol. 7313).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Kapitel samlingsverk
- 2010
-
What can the GC compute efficiently? A language for heap assertions at GC time
Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward E. Aftandilian & Samuel Z. Guyer, 2010 okt 1, I: ACM SIGPLAN Notices. 45, 10, s. 256-269 14 s.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift
- 2009
-
Analysis of imperative XML programs
Christoph Reichenbach, Michael G. Burke, Igor Peshansky & Mukund Raghavachari, 2009 nov 1, I: Information Systems. 34, 7, s. 624-642 19 s.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift
-
Program metamorphosis
Christoph Reichenbach, Devin Coughlin & Amer Diwan, 2009 sep 14, ECOOP 2009 - Object-Oriented Programming - 23rd European Conference, Proceedings. Springer, s. 394-418 25 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5653 LNCS).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding
- 2008
-
Developing and debugging algebraic specifications for Java classes
Johannes Henkel, Christoph Reichenbach & Amer Diwan, 2008 jun 1, I: ACM Transactions on Software Engineering and Methodology. 17, 3, 14.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift
- 2007
-
Analysis of imperative XML programs
Michael G. Burke, Igor Peshansky, Mukund Raghavachari & Christoph Reichenbach, 2007 dec 1, Database Programming Languages: 11th International Symposium, DBPL 2007, Revised Selected Papers. Springer, s. 216-230 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4797 LNCS).Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Kapitel samlingsverk
-
Discovering documentation for Java container classes
Johannes Henkel, Christoph Reichenbach & Amer Diwan, 2007 aug 1, I: IEEE Transactions on Software Engineering. 33, 8, s. 526-543 18 s.Forskningsoutput: Tidskriftsbidrag › Artikel i vetenskaplig tidskrift
- 2006
-
Opinion Polarity Identification of Movie Reviews
Franco Salvetti, Christoph Reichenbach & Stephen Lewis, 2006, Computing Attitude and Affect in Text: Theory and Applications. Shanahan, J. G., Qu, Y. & Wiebe, J. (red.). Springer, s. 303-316 Chapter 23Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Kapitel samlingsverk
- 2005
-
Impact of lexical filtering on overall opinion polarity identification
Franco Salvetti, Stephen Lewis & Christoph Reichenbach, 2005 dec 1, EXPLORING ATTITUDE AND AFFECT IN TEXT: THEORIES AND APPLICATIONS: Papers from the AAAI Spring Symposium. AAAI Press, s. 128-133 6 s.Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding