Sriram Sankaranarayanan

2009
24	EE	Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta: Semantic Reduction of Thread Interleavings in Concurrent Programs. TACAS 2009: 124-138
2008
23	EE	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: A Policy Iteration Technique for Time Elapse over Template Polyhedra. HSCC 2008: 654-657
22	EE	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Mining library specifications using inductive logic programming. ICSE 2008: 131-140
21	EE	Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta: Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA 2008: 295-306
20	EE	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	EE	Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic: Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. TACAS 2008: 188-202
18	EE	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constructing invariants for hybrid systems. Formal Methods in System Design 32(1): 25-55 (2008)
2007
17	EE	Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta: Fast and Accurate Static Data-Race Detection for Concurrent Programs. CAV 2007: 226-239
16	EE	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	EE	Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program Analysis Using Symbolic Ranges. SAS 2007: 366-383
2006
14	EE	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006: 537-551
13	EE	Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta: Static Analysis in Disjunctive Numerical Domains. SAS 2006: 3-17
12	EE	Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna: Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125
2005
11	EE	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	EE	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005: 25-41
9	EE	Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27(3): 253-274 (2005)
2004
8	EE	Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Constructing Invariants for Hybrid Systems. HSCC 2004: 539-554
7	EE	Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Non-linear loop invariant generation using Gröbner bases. POPL 2004: 318-329
6	EE	Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constraint-Based Linear-Relations Analysis. SAS 2004: 53-68
2003
5	EE	Michael Colón, Sriram Sankaranarayanan, Henny Sipma: Linear Invariant Generation Using Non-linear Constraint Solving. CAV 2003: 420-432
4	EE	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	EE	Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003: 682-701
2002
2	EE	Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
2001
1	EE	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	Gogul Balakrishnan	[20]
2	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1]
3	Richard M. Chang	[16]
4	Swarat Chaudhuri	[21]
5	Michael Colón	[5] [12]
6	Ben D'Angelo	[11]
7	Thao Dang	[19] [23]
8	Pallab Dasgupta	[1]
9	Jatindra Kumar Deka	[1]
10	David L. Dill	[4]
11	Bernd Finkbeiner	[2] [9] [11]
12	Aarti Gupta	[13] [15] [17] [20] [21] [22] [24]
13	Franjo Ivancic	[13] [15] [16] [19] [20] [21] [22] [23]
14	Guofei Jiang	[16]
15	Vineet Kahlon	[17] [24]
16	Zohar Manna	[3] [4] [6] [7] [8] [10] [11] [12] [14] [18]
17	Sandeep Mehrotra	[11]
18	Will Robinson	[11]
19	César Sánchez	[4] [11]
20	Ilya Shlyakhter	[13]
21	Henny B. Sipma (Henny Sipma)	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [18]
22	Ou Wei	[20]
23	Yu Yang	[17]
24	Ting Zhang	[4]

Colors in the list of coauthors