R. C. Sekar

2002
22		C. R. Ramakrishnan, R. C. Sekar: Model-Based Analysis of Configuration Vulnerabilities. Journal of Computer Security 10(1/2): 189-209 (2002)
2001
21		I. V. Ramakrishnan, R. C. Sekar, Andrei Voronkov: Term Indexing. Handbook of Automated Reasoning 2001: 1853-1964
20	EE	R. Ramesh, I. V. Ramakrishnan, R. C. Sekar: Automata-driven efficient subterm unification. Theor. Comput. Sci. 254(1-2): 187-223 (2001)
1998
19	EE	Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL 1998: 196-205
1997
18	EE	R. C. Sekar, I. V. Ramakrishnan, Prateek Mishra: On the power and limitations of strictness analysis. J. ACM 44(3): 505-525 (1997)
17		Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: EQUALS - A Fast Parallel Implementation of a Lazy Language. J. Funct. Program. 7(2): 183-217 (1997)
1995
16		C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: A Symbolic Constraint Solving Framework for Analysis of Logic Programs. PEPM 1995: 12-23
15	EE	R. C. Sekar, I. V. Ramakrishnan: Fast Strictness Analysis Based on Demand Propagation. ACM Trans. Program. Lang. Syst. 17(6): 896-937 (1995)
14		R. C. Sekar, R. Ramesh, I. V. Ramakrishnan: Adaptive Pattern Matching. SIAM J. Comput. 24(6): 1207-1234 (1995)
1994
13		R. C. Sekar, Yow-Jian Lin, C. R. Ramakrishnan: Modelling techniques for evolving distributed applications. FORTE 1994: 461-476
12		R. Ramesh, I. V. Ramakrishnan, R. C. Sekar: Automata-Driven Efficient Subterm Unification. FSTTCS 1994: 288-299
1993
11		Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Extracting Determinacy in Logic Programs. ICLP 1993: 424-438
10		A. Arango, Lisa Bahler, Peter Bates, Munir Cochinwala, David Cohrs, Robert Fish, Gita Gopal, Nancy D. Griffeth, Gary E. Herman, Takako M. Hickey, K. C. Lee, Will E. Leland, Carlyn Lowery, Victor Mak, John F. Patterson, Lillian Ruston, Mark Segal, R. C. Sekar, Mario P. Vecchi, Abel Weinrib, Sze-Ying Wuu: The Touring Machine System. Commun. ACM 36(1): 68-77 (1993)
9		R. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality Inf. Comput. 104(1): 78-109 (1993)
1992
8		R. C. Sekar, I. V. Ramakrishnan: Programming with Equations: A Framework for Lazy Parallel Evaluation. CADE 1992: 618-632
7		R. C. Sekar, R. Ramesh, I. V. Ramakrishnan: Adaptive Pattern Matching. ICALP 1992: 247-260
6	EE	Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar: Fast Parallel Implementation of Lazy Languages - The EQUALS Experience. LISP and Functional Programming 1992: 335-344
5		R. C. Sekar, Yow-Jian Lin, Sanjai Narain: On Modelling and Reasoning About Hybrid Systems. PSTV 1992: 115-129
1991
4		R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan: On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. POPL 1991: 37-48
1990
3		R. C. Sekar, I. V. Ramakrishnan: Programming in Equational Logic: Beyond Strong Sequentiality LICS 1990: 230-241
2		R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan: Small Domains Spell Fast Strictness Analysis. POPL 1990: 169-183
1989
1		R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan: Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution. RTA 1989: 404-418

Coauthor Index

1	A. Arango	[10]
2	Lisa Bahler	[10]
3	Peter Bates	[10]
4	Munir Cochinwala	[10]
5	David Cohrs	[10]
6	Steven Dawson	[11]
7	Robert Fish	[10]
8	Gita Gopal	[10]
9	Nancy D. Griffeth	[10]
10	Gary E. Herman	[10]
11	Takako M. Hickey	[10]
12	Owen Kaser	[6] [17]
13	K. C. Lee	[10]
14	Will E. Leland	[10]
15	Yow-Jian Lin	[5] [13]
16	Carlyn Lowery	[10]
17	Victor Mak	[10]
18	Prateek Mishra	[4] [18]
19	Sanjai Narain	[5]
20	John F. Patterson	[10]
21	Shaunak Pawagi	[1] [2] [6]
22	C. R. Ramakrishnan	[6] [11] [13] [16] [17] [19] [22]
23	I. V. Ramakrishnan	[1] [2] [3] [4] [6] [7] [8] [9] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21]
24	R. Ramesh	[7] [12] [14] [20]
25	Abhik Roychoudhury	[19]
26	Lillian Ruston	[10]
27	Mark Segal	[10]
28	Mario P. Vecchi	[10]
29	Andrei Voronkov	[21]
30	Abel Weinrib	[10]
31	Sze-Ying Wuu	[10]