Sriram Sankaranarayanan

	2010
29		William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program analysis via satisfiability modulo path programs. POPL 2010: 71-82
	2009
28		Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar: Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. CAV 2009: 430-445
27		Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov: Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. CSF 2009: 186-199
26		Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Refining the control structure of loops using static analysis. EMSOFT 2009: 49-58
25		Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Robustness of Model-Based Simulations. IEEE Real-Time Systems Symposium 2009: 345-354
24		Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta: Semantic Reduction of Thread Interleavings in Concurrent Programs. TACAS 2009: 124-138
	2008
23		Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657
22		Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Mining library specifications using inductive logic programming. ICSE 2008: 131-140
21		Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta: Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA 2008: 295-306
20		Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta: SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. SAS 2008: 238-254
19		Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202
18		Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constructing invariants for hybrid systems. Formal Methods in System Design 32(1): 25-55 (2008)
	2007
17		Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta: Fast and Accurate Static Data-Race Detection for Concurrent Programs. CAV 2007: 226-239
16		Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic: State space exploration using feedback constraint generation and Monte-Carlo sampling. ESEC/SIGSOFT FSE 2007: 321-330
15		Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program Analysis Using Symbolic Ranges. SAS 2007: 366-383
	2006
14		Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006: 537-551
13		Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta: Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17
12		Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna: Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125
	2005
11		Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna: LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174
10		Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005: 25-41
9		Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27(3): 253-274 (2005)
	2004
8		Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Constructing Invariants for Hybrid Systems. HSCC 2004: 539-554
7		Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Non-linear loop invariant generation using Gröbner bases. POPL 2004: 318-329
6		Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constraint-Based Linear-Relations Analysis. SAS 2004: 53-68
	2003
5		Michael Colón, Sriram Sankaranarayanan, Henny Sipma: Linear Invariant Generation Using Non-linear Constraint Solving. CAV 2003: 420-432
4		César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003: 323-339
3		Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003: 682-701
	2002
2		Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
	2001
1		Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan: Min-max Computation Tree Logic. Artif. Intell. 127(1): 137-162 (2001)

Coauthor Index

1	Rajeev Alur	[28]
2	Gogul Balakrishnan	[20] [26]
3	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1]
4	Richard M. Chang	[16] [27]
5	Swarat Chaudhuri	[21]
6	Michael Colón	[5] [12]
7	Ben D'Angelo	[11]
8	Thao Dang	[19] [23]
9	Pallab Dasgupta	[1]
10	Jatindra Kumar Deka	[1]
11	David L. Dill	[4]
12	Georgios E. Fainekos	[25]
13	Bernd Finkbeiner	[2] [9] [11]
14	Aarti Gupta	[13] [15] [17] [20] [21] [22] [24] [25] [26] [29]
15	William R. Harris	[29]
16	Franjo Ivancic	[13] [15] [16] [19] [20] [21] [22] [23] [25] [26] [27] [28] [29]
17	Guofei Jiang	[16] [27]
18	Vineet Kahlon	[17] [24]
19	Aditya Kanade	[28]
20	Zohar Manna	[3] [4] [6] [7] [8] [10] [11] [12] [14] [18]
21	Sandeep Mehrotra	[11]
22	S. Ramesh (Sethu Ramesh)	[28]
23	Will Robinson	[11]
24	César Sánchez	[4] [11]
25	K. C. Shashidhar	[28]
26	Ilya Shlyakhter	[13]
27	Vitaly Shmatikov	[27]
28	Henny B. Sipma (Henny Sipma)	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [18]
29	Ou Wei	[20]
30	Yu Yang	[17]
31	Ting Zhang	[4]