I am exploring potential research problems for my dissertation. I am interested in concurrent programming including programming models, design patterns, run-time environments. Previously I have worked on multi-agent systems and Wireless Sensor Networks. Therefore, I am fascinated by the prospects of a uniform programming environment for multi-agent systems, WSNs, distributed systems and multiprocessor architectures.

I am currently working on an interesting project called ActorFoundry which is a Java-based library for Actor programming. Try it out; it is very user-friendly. My research goal is to extend it with reusable coordination mechanisms for large-scale Actor programs.

My resume is available here.

Select publications

Lauterburg, Steven, Rajesh Kumar Karmani, Darko Marinov, Gul Agha. "Evaluating Ordering Heuristics for Dynamic Partial-order Reduction Techniques," Fundamental Approaches to Software Engineering (FASE) with ETAPS, 2010. [pdf] [bib]
Karmani, Rajesh Kumar, Amin Shali, Gul Agha. "Actor frameworks for the JVM platform: A Comparative Analysis," In the proceedings of the 7th International Conference on the Principles and Practice of Programming in Java (PPPJ), 2009. [pdf] [slides] [bib]
Karmani, Rajesh Kumar, Nicholas Chen, Bor-Yiing Su, Amin Shali, Ralph Johnson. "Barrier Synchronization Pattern," Workshop on Parallel Programming Patterns (ParaPLOP), 2009. [pdf] [bib]
Chen, Nicholas, Rajesh Kumar Karmani, Amin Shali, Bor-Yiing Su, Ralph Johnson. "Collective Communication Patterns," Workshop on Parallel Programming Patterns (ParaPLOP), 2009. [pdf] [bib]
Karmani, Rajesh Kumar, Gul Agha. "Debugging Wireless Sensor Networks Using Mobile Actors," RTAS Poster Session, 2008. [abstract] [poster] [bib]
Karmani, Rajesh Kumar, Timo Latvala, Gul Agha. "On Scaling Multi-Agent Task Reallocation Using Market-Based Approach," In the proceedings of the First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2007. [pdf] [slides] [bib]