`Travelled to:`

1 × Austria

1 × Hungary

7 × USA

`Collaborated with:`

I.V.Ramakrishnan S.Pawagi C.R.Ramakrishnan R.Ramesh P.Mishra S.Dawson O.Kaser

`Talks about:`

program (4) parallel (3) analysi (3) logic (3) framework (2) sequenti (2) strong (2) strict (2) equat (2) lazi (2)

## Person: R. C. Sekar

### DBLP: Sekar:R=_C=

### Contributed to:

### Wrote 9 papers:

- PEPM-1995-RamakrishnanRS #analysis #constraints #framework #logic programming #source code #theorem proving
- A Symbolic Constraint Solving Framework for Analysis of Logic Programs (CRR, IVR, RCS), pp. 12–23.
- ICLP-1993-DawsonRRS #logic programming #source code
- Extracting Determinacy in Logic Programs (SD, CRR, IVR, RCS), pp. 424–438.
- CADE-1992-SekarR #equation #evaluation #framework #lazy evaluation #parallel #programming
- Programming with Equations: A Framework for Lazy Parallel Evaluation (RCS, IVR), pp. 618–632.
- ICALP-1992-SekarRR #adaptation #pattern matching
- Adaptive Pattern Matching (RCS, RR, IVR), pp. 247–260.
- LFP-1992-KaserPRRS #experience #implementation #lazy evaluation #parallel #performance
- Fast Parallel Implementation of Lazy Languages — The EQUALS Experience (OK, SP, CRR, IVR, RCS), pp. 335–344.
- POPL-1991-SekarMR #abstract interpretation #analysis #on the #strict
- On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation (RCS, PM, IVR), pp. 37–48.
- LICS-1990-SekarR #equation #logic #programming
- Programming in Equational Logic: Beyond Strong Sequentiality (RCS, IVR), pp. 230–241.
- POPL-1990-SekarPR #analysis #performance #strict
- Small Domains Spell Fast Strictness Analysis (RCS, SP, IVR), pp. 169–183.
- RTA-1989-SekarPR #execution #parallel #performance #term rewriting
- Transforming Strongly Sequential Rewrite Systems with Constructors for Efficient parallel Execution (RCS, SP, IVR), pp. 404–418.