Rajesh Karmani
Cited by
Cited by
Actor frameworks for the JVM platform: a comparative analysis
RK Karmani, A Shali, G Agha
Proceedings of the 7th International Conference on Principles and Practice …, 2009
TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs
S Tasharofi, RK Karmani, S Lauterburg, A Legay, D Marinov, G Agha
Formal Techniques for Distributed Systems, 219-234, 2012
RK Karmani, G Agha
Evaluating ordering heuristics for dynamic partial-order reduction techniques
S Lauterburg, RK Karmani, D Marinov, G Agha
International Conference on Fundamental Approaches to Software Engineering …, 2010
Inferring ownership transfer for efficient message passing
S Negara, RK Karmani, G Agha
ACM SIGPLAN Notices 46 (8), 81-90, 2011
On scaling multi-agent task reallocation using market-based approach
RK Karmani, T Latvala, G Agha
First International Conference on Self-Adaptive and Self-Organizing Systems …, 2007
Thread contracts for safe parallelism
RK Karmani, P Madhusudan, BM Moore
ACM SIGPLAN Notices 46 (8), 125-134, 2011
Basset: a tool for systematic testing of actor programs
S Lauterburg, RK Karmani, D Marinov, G Agha
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
Barrier synchronization pattern
RK Karmani, N Chen, BY Su, A Shali, R Johnson
University of California, Berkeley, 2009
Collective communication patterns
N Chen, RK Karmani, A Shali, BY Su, R Johnson
Workshop on Parallel Programming Patterns (ParaPLOP), 2009
Debugging wireless sensor networks using mobile actors
R Karmani
Improved Dynamic Partial-Order Reduction for Asynchronous Message-Passing Programs
RK Karmani, S Tasharofi, S Lauterburg, D Marinov, G Agha
Workshop Publications, Demonstrations, and Posters
BS Pattern, R Karmani, N Chen, BY Su, A Shali
A Contract Language for Race-Freedom
RK Karmani, P Madhusudan
The system can't perform the operation now. Try again later.
Articles 1–14