Rajesh K. Karmani

According to our database, Rajesh K. Karmani authored at least 8 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Actors.

Rajesh K. Karmani, Gul Agha

Proceedings of the Encyclopedia of Parallel Computing, 2011

Inferring ownership transfer for efficient message passing.

Stas Negara, Rajesh K. Karmani, Gul A. Agha

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Thread contracts for safe parallelism.

Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

2010

Basset: a tool for systematic testing of actor programs.

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.

Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Actor frameworks for the JVM platform: a comparative analysis.

Rajesh K. Karmani, Amin Shali, Gul Agha

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

2007

On Scaling Multi-Agent Task Reallocation Using Market-Based Approach.

Rajesh K. Karmani, Timo Latvala, Gul Agha

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007