Rajesh K. Karmani

	2011
7		Rajesh K. Karmani, P. Madhusudan, Brandon M. Moore: Thread contracts for safe parallelism. PPOPP 2011: 125-134
6		Stas Negara, Rajesh K. Karmani, Gul A. Agha: Inferring ownership transfer for efficient message passing. PPOPP 2011: 81-90
5		Rajesh K. Karmani, Gul Agha: Actors. Encyclopedia of Parallel Computing 2011: 1-11
	2010
4		Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. FASE 2010: 308-322
3		Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Basset: a tool for systematic testing of actor programs. SIGSOFT FSE 2010: 363-364
	2009
2		Rajesh K. Karmani, Amin Shali, Gul Agha: Actor frameworks for the JVM platform: a comparative analysis. PPPJ 2009: 11-20
	2007
1		Rajesh K. Karmani, Timo Latvala, Gul Agha: On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182

Coauthor Index

1	Gul A. Agha (Gul Agha)	[1] [2] [3] [4] [5] [6]
2	Timo Latvala	[1]
3	Steven Lauterburg	[3] [4]
4	P. Madhusudan (Parthasarathy Madhusudan)	[7]
5	Darko Marinov	[3] [4]
6	Brandon M. Moore	[7]
7	Stas Negara	[6]
8	Amin Shali	[2]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page