Travelled to:1 × Cyprus
2 × USA
Collaborated with:S.Lauterburg D.Marinov G.Agha P.Madhusudan B.M.Moore S.Negara G.A.Agha
Talks about:order (2) ownership (1) transfer (1) techniqu (1) systemat (1) parallel (1) contract (1) program (1) partial (1) heurist (1)
Person: Rajesh K. Karmani
DBLP: Karmani:Rajesh_K=
Contributed to:
2011
2010
2010Wrote 4 papers:
- PPoPP-2011-KarmaniMM #concurrent #contract #parallel #thread
- Thread contracts for safe parallelism (RKK, PM, BMM), pp. 125–134.
- PPoPP-2011-NegaraKA #message passing #performance
- Inferring ownership transfer for efficient message passing (SN, RKK, GAA), pp. 81–90.
- FASE-2010-LauterburgKMA #heuristic #partial order #reduction
- Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques (SL, RKK, DM, GA), pp. 308–322.
- FSE-2010-LauterburgKMA #named #source code #testing
- Basset: a tool for systematic testing of actor programs (SL, RKK, DM, GA), pp. 363–364.