Aditya V. Nori Vis

*	2009
15	EE	Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani: HOLMES: Effective statistical debugging via efficient path profiling. ICSE 2009: 34-44
14	EE	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee: Merlin: specification inference for explicit information flow problems. PLDI 2009: 75-86
13	EE	Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori: Bottom-Up Shape Analysis. SAS 2009: 188-204
12	EE	Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur: The YogiProject: Software Property Checking via Static Analysis and Testing. TACAS 2009: 178-181
11	EE	Aditya V. Nori, Sriram K. Rajamani: Verification, Testing and Statistics. TAP 2009: 6-9
	2008
10	EE	Nels Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons: Proofs from tests. ISSTA 2008: 3-14
9	EE	Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani: Automatically Refining Abstract Interpretations. TACAS 2008: 443-458
8	EE	Madhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani: Combining Tests and Proofs. VSTTE 2008: 4-5
7	EE	Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin: Automating Software Testing Using Program Analysis. IEEE Software 25(5): 30-37 (2008)
	2007
6	EE	Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani: Quantifying the effectiveness of testing via efficient residual path profiling. ESEC/SIGSOFT FSE 2007: 545-548
5	EE	Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani: Quantifying the effectiveness of testing via efficient residual path profiling. ESEC/SIGSOFT FSE (Companion) 2007: 545-548
4	EE	Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi: Preferential path profiling: compactly numbering interesting paths. POPL 2007: 351-362
	2006
3	EE	Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani: SYNERGY: a new algorithm for property checking. SIGSOFT FSE 2006: 117-127
2	EE	Aditya V. Nori, P. Shankar: Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes. IEEE Transactions on Information Theory 52(10): 4431-4443 (2006)
	2002
1		Helmut Seidl, Aditya V. Nori: On the Expressiveness of Tree Set Operators Universität Trier, Mathematik/Informatik, Forschungsbericht 02-17: (2002)

Coauthor Index

1	Anindya Banerjee	[14]
2	Nels Beckman	[10]
3	Supratik Chakraborty	[9] [13]
4	Trishul M. Chilimbi	[4] [5] [6] [15]
5	Patrice Godefroid	[7]
6	Madhu Gopinathan	[8]
7	Bhargav S. Gulavani	[3] [9] [13]
8	Jonathan de Halleux	[7]
9	Thomas A. Henzinger	[3]
10	Yamini Kannan	[3]
11	Michael Y. Levin	[7]
12	Ben Liblit	[15]
13	V. Benjamin Livshits	[14]
14	Krishna K. Mehra	[15]
15	Sriram K. Rajamani	[3] [7] [8] [9] [10] [11] [12] [14]
16	G. Ramalingam (Ganesan Ramalingam)	[13]
17	Wolfram Schulte	[7]
18	Helmut Seidl	[1]
19	P. Shankar	[2]
20	Robert J. Simmons	[10]
21	SaiDeep Tetali	[12]
22	Aditya V. Thakur	[12]
23	Nikolai Tillmann	[7]
24	Kapil Vaswani	[4] [5] [6] [15]

Colors in the list of coauthors