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 | 236 | 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 International Conference on Formal Methods for Open Object-Based Distributed …, 2012 | 96 | 2012 |
Actors. RK Karmani, G Agha Encyclopedia of Parallel Computing 10, 978-0, 2011 | 60 | 2011 |
Evaluating ordering heuristics for dynamic partial-order reduction techniques S Lauterburg, RK Karmani, D Marinov, G Agha Fundamental Approaches to Software Engineering: 13th International …, 2010 | 56 | 2010 |
Inferring ownership transfer for efficient message passing S Negara, RK Karmani, G Agha ACM SIGPLAN Notices 46 (8), 81-90, 2011 | 46 | 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 | 24 | 2007 |
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 | 17 | 2010 |
Barrier synchronization pattern RK Karmani, N Chen, BY Su, A Shali, R Johnson Workshop on Parallel Programming Patterns (ParaPLOP), 2009 | 15 | 2009 |
Thread contracts for safe parallelism RK Karmani, P Madhusudan, BM Moore ACM SIGPLAN Notices 46 (8), 125-134, 2011 | 14 | 2011 |
Collective communication patterns N Chen, RK Karmani, A Shali, BY Su, R Johnson Workshop on Parallel Programming Patterns (ParaPLOP), 2009 | 10 | 2009 |
Debugging wireless sensor networks using mobile actors R Karmani | 4 | 2008 |
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 | | |