Rahul Kumar

	2010
16		Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg: The Static Driver Verifier Research Platform. CAV 2010: 119-122
15		Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin: SLAM2: Static driver verification with under 4% false alarms. FMCAD 2010: 35-42
14		Rahul Kumar, Chiranjib Bhattacharyya, Virendra Varshneya: Discovering Business Process Model from Unstructured Activity Logs. IEEE SCC 2010: 250-257
	2009
13		Rahul Kumar, Eric G. Mercer, Annette Bunker: Improving Translation of Live Sequence Charts to Temporal Logic. Electr. Notes Theor. Comput. Sci. 250(1): 137-152 (2009)
12		Rahul Kumar, Eric G. Mercer: Verifying Communication Protocols Using Live Sequence Chart Specifications. Electr. Notes Theor. Comput. Sci. 250(2): 33-48 (2009)
	2008
11		Amith R. Mamidala, Rahul Kumar, Debraj De, Dhabaleswar K. Panda: MPI Collectives on Modern Multicore Clusters: Performance Optimizations and Communication Characteristics. CCGRID 2008: 130-137
10		Matthew J. Koop, Rahul Kumar, Dhabaleswar K. Panda: Can software reliability outperform hardware reliability on high performance interconnects?: a case study with MPI over infiniband. ICS 2008: 145-154
9		Rahul Kumar, Amith R. Mamidala, Dhabaleswar K. Panda: Scaling alltoall collective on multi-core systems. IPDPS 2008: 1-8
8		Rahul Kumar, Amith R. Mamidala, Matthew J. Koop, Gopalakrishnan Santhanaraman, Dhabaleswar K. Panda: Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication. PVM/MPI 2008: 185-193
7		Rahul Kumar, Eric G. Mercer: Improving Live Sequence Chart to Automata Transformation for Verification. ECEASST 10: (2008)
	2005
6		Rahul Kumar, Eric G. Mercer: Load Balancing Parallel Explicit State Model Checking. Electr. Notes Theor. Comput. Sci. 128(3): 19-34 (2005)
	2003
5		Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn: Benchmarking Explicit State Parallel Model Checkers. Electr. Notes Theor. Comput. Sci. 89(1): 84-98 (2003)
4		Inderjit S. Dhillon, Subramanyam Mallela, Rahul Kumar: A Divisive Information-Theoretic Feature Clustering Algorithm for Text Classification. Journal of Machine Learning Research 3: 1265-1287 (2003)
	2002
3		Inderjit S. Dhillon, Subramanyam Mallela, Rahul Kumar: Enhanced word clustering for hierarchical text classification. KDD 2002: 191-200
2		Rahul Kumar, C. P. Ravikumar: Leakage Power Estimation for Deep Submicron Circuits in an ASIC Design Environment. VLSI Design 2002: 45-50
1		C. P. Ravikumar, Rahul Kumar: Divide-and-Conquer IDDQ Testing for Core-Based System Chips. VLSI Design 2002: 761-766

Coauthor Index

1	Thomas Ball	[15] [16]
2	Tonglaga Bao	[5]
3	Chiranjib Bhattacharyya (Chiru Bhattacharyya)	[14]
4	Ella Bounimova	[15] [16]
5	Annette Bunker	[13]
6	Debraj De	[11]
7	Inderjit S. Dhillon	[3] [4]
8	Michael Jones	[5]
9	Matthew J. Koop	[8] [10]
10	Peter Lamborn	[5]
11	Vladimir Levin	[15] [16]
12	Jakob Lichtenberg	[16]
13	Subramanyam Mallela	[3] [4]
14	Amith R. Mamidala	[8] [9] [11]
15	Eric Mercer (Eric G. Mercer)	[5] [6] [7] [12] [13]
16	Dhabaleswar K. Panda	[8] [9] [10] [11]
17	C. P. Ravikumar	[1] [2]
18	Gopalakrishnan Santhanaraman	[8]
19	Virendra Varshneya	[14]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page