R. C. Sekar

Publication Activity (10 Years)

Years Active: 1989-2002
Publications (10 Years): 0

Publications

C. R. Ramakrishnan, R. C. Sekar
Model-Based Analysis of Configuration Vulnerabilities. J. Comput. Secur. 10 (1/2) (2002)
R. Ramesh, I. V. Ramakrishnan, R. C. Sekar
Automata-driven efficient subterm unification. Theor. Comput. Sci. 254 (1-2) (2001)
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs. ICCL (1998)
R. C. Sekar, I. V. Ramakrishnan, Prateek Mishra
On the power and limitations of strictness analysis. J. ACM 44 (3) (1997)
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) (1997)
R. C. Sekar, R. Ramesh, I. V. Ramakrishnan
Adaptive Pattern Matching. SIAM J. Comput. 24 (6) (1995)
R. C. Sekar, I. V. Ramakrishnan
Fast Strictness Analysis Based on Demand Propagation. ACM Trans. Program. Lang. Syst. 17 (6) (1995)
C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
A Symbolic Constraint Solving Framework for Analysis of Logic Programs. PEPM (1995)
R. Ramesh, I. V. Ramakrishnan, R. C. Sekar
Automata-Driven Efficient Subterm Unification. FSTTCS (1994)
R. C. Sekar, Yow-Jian Lin, C. R. Ramakrishnan
Modelling techniques for evolving distributed applications. FORTE (1994)
R. C. Sekar, I. V. Ramakrishnan
Programming in Equational Logic: Beyond Strong Sequentiality Inf. Comput. 104 (1) (1993)
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
Extracting Determinacy in Logic Programs. ICLP (1993)
Mauricio Arango, Lisa Bahler, Peter Bates, Munir Cochinwala, David Cohrs, Robert Fish, Gita Gopal, Nancy D. Griffeth, Gary E. Herman, Takako M. Hickey, Kuo Chi 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) (1993)
R. C. Sekar, Yow-Jian Lin, Sanjai Narain
On Modelling and Reasoning About Hybrid Systems. PSTV (1992)
R. C. Sekar, I. V. Ramakrishnan
Programming with Equations: A Framework for Lazy Parallel Evaluation. CADE (1992)
R. C. Sekar, R. Ramesh, I. V. Ramakrishnan
Adaptive Pattern Matching. ICALP (1992)
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)
R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. POPL (1991)
R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan
Small Domains Spell Fast Strictness Analysis. POPL (1990)
R. C. Sekar, I. V. Ramakrishnan
Programming in Equational Logic: Beyond Strong Sequentiality LICS (1990)
R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan
Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution. RTA (1989)