Travelled to:1 × Korea
1 × The Netherlands
3 × USA
Collaborated with:∅ A.Anand D.P.Pazel B.Tibbitts R.K.Shyamasundar H.J.Shah A.M.Paradkar P.Charles G.Bikshandi J.G.Castaños S.B.Kodali V.K.Nandivada I.Peshansky V.A.Saraswat S.Sur T.Wen
Talks about:program (2) port (2) transform (1) implement (1) framework (1) asynchron (1) structur (1) recognit (1) individu (1) constant (1)
Person: Pradeep Varma
DBLP: Varma:Pradeep
Contributed to:
2009
2009
20072005
2004Wrote 5 papers:
- ESEC-FSE-2009-VarmaSS #memory management
- Backward-compatible constant-time exception-protected memory (PV, RKS, HJS), pp. 71–80.
- PPoPP-2009-BikshandiCKNPSSVW #implementation #multi #performance #source code
- Efficient, portable implementation of asynchronous multi-place programs (GB, JGC, SBK, VKN, IP, VAS, SS, PV, TW), pp. 271–282.
- SAC-2007-Varma #program analysis #program transformation #recognition
- Generalizing recognition of an individual dialect in program analysis and transformation (PV), pp. 1432–1439.
- SAC-2005-VarmaAPT #automation #migration
- NextGen eXtreme porting: structured by automation (PV, AA, DPP, BT), pp. 1511–1517.
- ICSM-2004-PazelVPTAC #assessment #framework #migration
- A Framework and Tool for Porting Assessment and Remediation (DPP, PV, AMP, BT, AA, PC), p. 504.