R. C. Sekar

17 papers A* 4A 1B 1C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2001 J jnl
Automata-driven efficient subterm unification.
Theor. Comput. Sci.
R. Ramesh, I. V. Ramakrishnan, R. C. Sekar
1997 J jnl
EQUALS - A Fast Parallel Implementation of a Lazy Language.
J. Funct. Program.
Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
1995 C conf
A Symbolic Constraint Solving Framework for Analysis of Logic Programs.
PEPM
C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
1995 J jnl
Adaptive Pattern Matching.
SIAM J. Comput.
R. C. Sekar, R. Ramesh, I. V. Ramakrishnan
1994 — conf
A High Performance Runtime System for Parallel Evaluation of Lazy Languages.
PASCO
Owen Kaser, C. R. Ramakrishnan, R. C. Sekar
1994 — conf
Automata-Driven Efficient Subterm Unification.
FSTTCS
R. Ramesh, I. V. Ramakrishnan, R. C. Sekar
1993 B conf
Extracting Determinacy in Logic Programs.
ICLP
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
1993 J jnl
Programming in Equational Logic: Beyond Strong Sequentiality
Inf. Comput.
R. C. Sekar, I. V. Ramakrishnan
1993 J jnl
The Touring Machine System.
Commun. ACM
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
1992 A* conf
Adaptive Pattern Matching.
ICALP
R. C. Sekar, R. Ramesh, I. V. Ramakrishnan
1992 — conf
Fast Parallel Implementation of Lazy Languages - The EQUALS Experience.
LISP and Functional Programming
Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
1992 — conf
On Modelling and Reasoning About Hybrid Systems.
PSTV
R. C. Sekar, Yow-Jian Lin, Sanjai Narain
1992 A conf
Programming with Equations: A Framework for Lazy Parallel Evaluation.
CADE
R. C. Sekar, I. V. Ramakrishnan
1991 A* conf
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation.
POPL
R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan
1990 A* conf
Programming in Equational Logic: Beyond Strong Sequentiality
LICS
R. C. Sekar, I. V. Ramakrishnan
1990 A* conf
Small Domains Spell Fast Strictness Analysis.
POPL
R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan
1989 — conf
Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution.
RTA
R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan