Travelled to:1 × Canada
1 × USA
1 × United Kingdom
Collaborated with:C.T.Haynes ∅ H.Zade S.A.Adimoolam S.Gollapudi A.K.Dey
Talks about:type (2) reconstruct (1) polymorph (1) quantit (1) distanc (1) bisimul (1) modulo (1) measur (1) evolut (1) track (1)
Person: Venkatesh Choppella
DBLP: Choppella:Venkatesh
Contributed to:
2014
2003
2003Wrote 3 papers:
- CHI-2014-ZadeAGDC #bisimulation #distance #edit distance #evolution #modelling
- Edit distance modulo bisimulation: a quantitative measure to study evolution of user models (HZ, SAA, SG, AKD, VC), pp. 1757–1766.
- CADE-2003-ChoppellaH #unification
- Source-Tracking Unification (VC, CTH), pp. 458–472.
- IFL-2003-Choppella #equation #polymorphism #re-engineering #using
- Polymorphic Type Reconstruction Using Type Equations (VC), pp. 53–68.