Rajesh K. Karmani

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Relational Databases

Dynamically Changing

Partial Order Reduction

Test Generation

Top Venues

Publications

Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. FMOODS/FORTE (2012)
Stas Negara, Rajesh K. Karmani, Gul A. Agha
Inferring ownership transfer for efficient message passing. PPOPP (2011)
Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore
Thread contracts for safe parallelism. PPOPP (2011)
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
Basset: a tool for systematic testing of actor programs. SIGSOFT FSE (2010)
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE (2010)
Rajesh K. Karmani, Amin Shali, Gul Agha
Actor frameworks for the JVM platform: a comparative analysis. PPPJ (2009)
Rajesh K. Karmani, Timo Latvala, Gul Agha
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO (2007)