Travelled to:1 × China
1 × Italy
1 × Russia
1 × United Kingdom
3 × USA
Collaborated with:Y.Smaragdakis K.Narasimhan K.Li N.Immerman C.Csallner J.Altidor D.Coughlin A.Diwan J.Lawall H.Ackermann C.Müller M.Young Y.Diao E.Aftandilian S.Z.Guyer
Talks about:program (5) java (3) extens (2) time (2) data (2) pql (2) metamorphosi (1) constraint (1) transform (1) represent (1)
Person: Christoph Reichenbach
DBLP: Reichenbach:Christoph
Facilitated 1 volumes:
EdContributed to:
2015
2013
2013
2012
2012
201020092015
2017Wrote 10 papers:
- CC-2015-AckermannRMS #java #optimisation #runtime
- A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation (HA, CR, CM, YS), pp. 111–130.
- ASE-2013-LiRSDC #data flow #generative #named #source code
- SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
- ESEC-FSE-2013-LiRSY #constraints #higher-order #invariant
- Second-order constraints in dynamic invariant inference (KL, CR, YS, MY), pp. 103–113.
- ECOOP-2012-AltidorRS #java
- Java Wildcards Meet Definition-Site Variance (JA, CR, YS), pp. 509–534.
- ECOOP-2012-ReichenbachSI #java #named #parallel #programming
- PQL: A Purely-Declarative Java Extension for Parallel Programming (CR, YS, NI), pp. 53–78.
- ISSTA-2012-LiRCS #debugging #detection #precise #predict
- Residual investigation: predictive and precise bug detection (KL, CR, CC, YS), pp. 298–308.
- OOPSLA-2010-ReichenbachISAG #garbage collection #what
- What can the GC compute efficiently?: a language for heap assertions at GC time (CR, NI, YS, EA, SZG), pp. 256–269.
- ECOOP-2009-ReichenbachCD
- Program Metamorphosis (CR, DC, AD), pp. 394–418.
- ASE-2015-NarasimhanR
- Copy and Paste Redeemed (T) (KN, CR), pp. 630–640.
- PEPM-2017-NarasimhanRL #data transformation #dependence #interactive #migration #program transformation #representation
- Interactive data representation migration: exploiting program dependence to aid program transformation (KN, CR, JL), pp. 47–58.