Rajesh K. Karmani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2010–2012
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | FORTE | TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. | Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha |
| 2011 | PPoPP | Thread contracts for safe parallelism. | Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore |
| 2011 | PPoPP | Inferring ownership transfer for efficient message passing. | Stas Negara, Rajesh K. Karmani, Gul A. Agha |
| 2010 | FASE | Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. | Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |