Travelled to:1 × Estonia
2 × USA
Collaborated with:∅ S.Pawagi C.R.Ramakrishnan I.V.Ramakrishnan R.C.Sekar
Talks about:implement (1) parallel (1) languag (1) generat (1) checker (1) experi (1) state (1) stack (1) space (1) reduc (1)
Person: Owen Kaser
DBLP: Kaser:Owen
Contributed to:
2001
1993
1992Wrote 3 papers:
- PADL-2001-Kaser #generative #model checking
- State Generation in the PARMC Model Checker (OK), pp. 337–352.
- PLILP-1993-Kaser #stack
- Inlining to Reduce Stack Space (OK), pp. 262–274.
- 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.