Sanjit A. Seshia

2009
32	EE	Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye: On the Computational Complexity of Satisfiability Solving for String Theories CoRR abs/0903.2825: (2009)
2008
31	EE	Sanjit A. Seshia, Alexander Rakhlin: Game-theoretic timing analysis. ICCAD 2008: 575-582
30	EE	Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia: Effective blame for information-flow violations. SIGSOFT FSE 2008: 250-260
2007
29	EE	Sanjit A. Seshia, Wenchao Li, Subhasish Mitra: Verification-guided soft error resilience. DATE 2007: 1442-1447
28	EE	Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia: Interactive presentation: Automatic model generation for black box real-time systems. DATE 2007: 930-935
27	EE	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia: Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256
26	EE	Sanjit A. Seshia: Autonomic Reactive Systems via Online Learning. ICAC 2007: 30
25	EE	Daniel Kroening, Sanjit A. Seshia: Formal verification at higher levels of abstraction. ICCAD 2007: 572-578
24	EE	Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia: An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
23	EE	Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178
22	EE	Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady: Deciding Bit-Vector Arithmetic with Abstraction. TACAS 2007: 358-372
21	EE	Sanjit A. Seshia, K. Subramani, Randal E. Bryant: On Solving Boolean Combinations of UTVPI Constraints. JSAT 3(1-2): 67-90 (2007)
2006
20	EE	Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat: Combinatorial sketching for finite programs. ASPLOS 2006: 404-415
2005
19	EE	Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Stevens: Modeling and Verifying Circuits Using Generalized Relative Timing. ASYNC 2005: 98-108
18	EE	Randal E. Bryant, Sanjit A. Seshia: Decision Procedures Customized for Formal Verification. CADE 2005: 255-259
17	EE	Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant: Automatic discovery of API-level exploits. ICSE 2005: 312-321
16	EE	Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant: Semantics-Aware Malware Detection. IEEE Symposium on Security and Privacy 2005: 32-46
15	EE	Sanjit A. Seshia, Randal E. Bryant: Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds CoRR abs/cs/0508044: (2005)
14	EE	Sanjit A. Seshia, Randal E. Bryant: Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. Logical Methods in Computer Science 1(2): (2005)
13	EE	Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia: Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005)
2004
12	EE	Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman: Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320
11	EE	Shuvendu K. Lahiri, Sanjit A. Seshia: The UCLID Decision Procedure. CAV 2004: 475-478
10	EE	Sanjit A. Seshia, Randal E. Bryant: Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. LICS 2004: 100-109
2003
9	EE	Sanjit A. Seshia, Randal E. Bryant: Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods. CAV 2003: 154-166
8	EE	Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia: Convergence Testing in Term-Level Bounded Model Checking. CHARME 2003: 348-362
7	EE	Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant: A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. DAC 2003: 425-430
2002
6	EE	Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia: A Modular Checker for Multithreaded Programs. CAV 2002: 180-194
5	EE	Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant: Deciding Separation Formulas with SAT. CAV 2002: 209-222
4	EE	Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia: Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. CAV 2002: 78-92
3	EE	Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant: Modeling and Verification of Out-of-Order Microprocessors in UCLID. FMCAD 2002: 142-159
1999
2	EE	A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar: A Graphical Environment for the Specification and Verification of Reactive Systems. SAFECOMP 1999: 431-444
1	EE	Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar: A Translation of Statecharts to Esterel. World Congress on Formal Methods 1999: 983-1007

Coauthor Index

1	Gilad Arnold	[23]
2	Dirk Beyer	[24]
3	A. K. Bhattacharjee	[1] [2]
4	Rastislav Bodík	[20] [23]
5	Bryan A. Brady	[22] [27]
6	Randal E. Bryant	[3] [4] [5] [7] [8] [9] [10] [14] [15] [16] [17] [18] [19] [21] [22]
7	Arindam Chakrabarti	[24]
8	Mihai Christodorescu	[16]
9	S. D. Dhodapkar	[1] [2]
10	Thomas Huining Feng	[28]
11	Cormac Flanagan	[6] [13]
12	Stephen N. Freund	[13]
13	Vinod Ganapathy	[17]
14	Thomas A. Henzinger	[24]
15	Trent Jaeger	[30]
16	Somesh Jha	[16] [17] [30]
17	Susmit Jha	[27] [32]
18	Sri Kanajan	[28]
19	Dave King	[30]
20	Daniel Kroening (Daniel Kröning)	[12] [22] [25]
21	Shuvendu K. Lahiri	[3] [4] [7] [8] [11]
22	Wenchao Li	[29]
23	Rhishikesh Limaye	[32]
24	Subhasish Mitra	[29]
25	Joël Ouaknine	[12] [22]
26	Shaz Qadeer	[6] [13]
27	Alexander Rakhlin	[31]
28	Thomas W. Reps	[17]
29	Vijay A. Saraswat	[20] [23]
30	R. K. Shyamasundar	[1] [2]
31	Armando Solar-Lezama	[20] [23]
32	Dawn Xiaodong Song	[16]
33	Kenneth S. Stevens	[19]
34	Ofer Strichman	[5] [12] [22]
35	K. Subramani	[21]
36	Liviu Tancau	[20] [23]
37	Lynn Wang	[28]
38	Wei Zheng	[28]

Colors in the list of coauthors