Christoph Reichenbach

31 – 40 of 43

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/person/ch1747re?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2013
Mark Second-order constraints in dynamic invariant inference
Li, Kaituo ; Reichenbach, Christoph ^LU ; Smaragdakis, Yannis and Young, Michal (2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 p.103-113
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2012
Mark PQL: A Purely-Declarative Java Extension for Parallel Programming
Reichenbach, Christoph ^LU ; Smaragdakis, Yannis and Immerman, Neil (2012) In Lecture notes in computer science 7313. p.53-78
- Chapter in Book/Report/Conference proceeding › Book chapter
Mark Residual investigation : Predictive and precise bug detection
Li, Kaituo ; Reichenbach, Christoph ^LU ; Csallner, Christoph and Smaragdakis, Yannis (2012) 21st International Symposium on Software Testing and Analysis, ISSTA 2012 p.298-308
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Java wildcards meet definition-site variance
Altidor, John ; Reichenbach, Christoph ^LU and Smaragdakis, Yannis (2012) 26th European Conference on Object-Oriented Programming, ECOOP 2012 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7313 LNCS. p.509-534
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2010
Mark What can the GC compute efficiently? A language for heap assertions at GC time
Reichenbach, Christoph ^LU ; Immerman, Neil ; Smaragdakis, Yannis ; Aftandilian, Edward E. and Guyer, Samuel Z. (2010) In ACM SIGPLAN Notices 45(10). p.256-269
- Contribution to journal › Article
Mark A New Java Runtime for a Parallel World
Reichenbach, Christoph ^LU and Smaragdakis, Yannis (2010) PLDI '10: ACM SIGPLAN Conference on Programming Language Design and Implementation: Fun and Interesting Thoughts (FIT)
- Contribution to conference › Paper, not in proceeding
2009
Mark Program metamorphosis
Reichenbach, Christoph ^LU ; Coughlin, Devin and Diwan, Amer (2009) 23rd European Conference on Object-Oriented Programming, ECOOP 2009 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5653 LNCS. p.394-418
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Analysis of imperative XML programs
Reichenbach, Christoph ^LU ; Burke, Michael G. ; Peshansky, Igor and Raghavachari, Mukund (2009) In Information Systems 34(7). p.624-642
- Contribution to journal › Article
2008
Mark Developing and debugging algebraic specifications for Java classes
Henkel, Johannes ; Reichenbach, Christoph ^LU and Diwan, Amer (2008) In ACM Transactions on Software Engineering and Methodology 17(3).
- Contribution to journal › Article
2007
Mark Analysis of imperative XML programs
Burke, Michael G. ; Peshansky, Igor ; Raghavachari, Mukund and Reichenbach, Christoph ^LU (2007) 11th International Symposium on Database Programming Languages, DBPL 2007 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4797 LNCS. p.216-230
- Chapter in Book/Report/Conference proceeding › Book chapter