BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Karmani:Rajesh_K=

Contributed to:

PPoPP 20112011
FASE 20102010
FSE 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.