Christoph Reichenbach
21 – 30 of 40
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2014
-
Mark
Second-order constraints in dynamic invariant inference
2014) Software Engineering 2014 In Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI) P227. p.93-94(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2013
-
Mark
SEDGE : Symbolic example data generation for dataflow programs
2013) 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 p.235-245(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Second-order constraints in dynamic invariant inference
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
(
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Residual investigation : Predictive and precise bug detection
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Java wildcards meet definition-site variance
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
(
- Contribution to journal › Article
-
Mark
A New Java Runtime for a Parallel World
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
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
(
- Contribution to journal › Article