Swarat Chaudhuri

	2011
21		Swarat Chaudhuri, Armando Solar-Lezama: Smoothing a Program Soundly and Robustly. CAV 2011: 277-292
20		Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar: Delegated isolation. OOPSLA 2011: 885-902
19		Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster: Path-based inductive synthesis for program inversion. PLDI 2011: 492-503
18		Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour: Proving programs robust. SIGSOFT FSE 2011: 102-112
17		William Enck, Damien Octeau, Patrick McDaniel, Swarat Chaudhuri: A Study of Android Application Security. USENIX Security Symposium 2011
16		Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: Software model checking using languages of nested trees. ACM Trans. Program. Lang. Syst. 33(5): 15 (2011)
	2010
15		Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur: Model Checking of Linearizability of Concurrent List Implementations. CAV 2010: 465-479
14		Swarat Chaudhuri, Armando Solar-Lezama: Smooth interpretation. PLDI 2010: 279-291
13		Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman: Continuity analysis of programs. POPL 2010: 57-70
12		Rajeev Alur, Swarat Chaudhuri: Temporal Reasoning for Procedural Programs. VMCAI 2010: 45-60
	2009
11		Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang: Symbolic pruning of concurrent program executions. ESEC/SIGSOFT FSE 2009: 23-32
10		Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný: Parallel programming with object assemblies. OOPSLA 2009: 61-80
	2008
9		Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta: Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA 2008: 295-306
8		Swarat Chaudhuri: Subcubic algorithms for recursive state machines. POPL 2008: 159-169
	2007
7		Swarat Chaudhuri, Rajeev Alur: Instrumenting C Programs with Nested Word Monitors. SPIN 2007: 279-283
6		Rajeev Alur, Pavol Cerný, Swarat Chaudhuri: Model Checking on Trees with Path Equivalences. TACAS 2007: 664-678
	2006
5		Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: Languages of Nested Trees. CAV 2006: 329-342
4		Rajeev Alur, Swarat Chaudhuri: Branching Pushdown Tree Automata. FSTTCS 2006: 393-404
3		Rajeev Alur, Swarat Chaudhuri, P. Madhusudan: A fixpoint calculus for local and global program flows. POPL 2006: 153-165
	2005
2		Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan: On-the-Fly Reachability and Cycle Detection for Recursive State Machines. TACAS 2005: 61-76
	2003
1		Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis: Compression of Partially Ordered Strings. CONCUR 2003: 42-56

Coauthor Index

1	Rajeev Alur	[1] [2] [3] [4] [5] [6] [7] [12] [15] [16]
2	Zoran Budimlic	[20]
3	Pavol Cerný	[6] [10] [15]
4	William Enck	[17]
5	Kousha Etessami	[1] [2]
6	Jeffrey S. Foster	[19]
7	Sudipto Guha	[1]
8	Sumit Gulwani	[13] [18] [19]
9	Aarti Gupta	[9] [11]
10	Franjo Ivancic	[9]
11	Roberto Lublinerman	[10] [13] [18] [20]
12	P. Madhusudan (Parthasarathy Madhusudan)	[2] [3] [5] [16]
13	Patrick Drew McDaniel (Patrick McDaniel)	[17]
14	Sara NavidPour	[18]
15	Damien Octeau	[17]
16	Arjun Radhakrishna	[15]
17	Sriram Sankaranarayanan	[9]
18	Vivek Sarkar	[20]
19	Armando Solar-Lezama	[14] [21]
20	Saurabh Srivastava	[19]
21	Chao Wang	[11]
22	Yu Yang	[11]
23	Mihalis Yannakakis	[1]
24	Jisheng Zhao	[20]
25	Damien Zufferey	[15]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page