R. C. Sekar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1990–1995
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | PEPM | A Symbolic Constraint Solving Framework for Analysis of Logic Programs. | C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1993 | ICLP | Extracting Determinacy in Logic Programs. | Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar |
| 1992 | CADE | Programming with Equations: A Framework for Lazy Parallel Evaluation. | R. C. Sekar, I. V. Ramakrishnan |
| 1992 | ICALP | Adaptive Pattern Matching. | R. C. Sekar, R. Ramesh, I. V. Ramakrishnan |
| 1991 | POPL | On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. | R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan |
| 1990 | LICS | Programming in Equational Logic: Beyond Strong Sequentiality | R. C. Sekar, I. V. Ramakrishnan |
| 1990 | POPL | Small Domains Spell Fast Strictness Analysis. | R. C. Sekar, Shaunak Pawagi, I. V. Ramakrishnan |