Travelled to:1 × Greece
6 × USA
Collaborated with:J.V.Guttag K.A.Yelick D.C.Luckham N.A.Lynch T.N.Win M.D.Ernst D.K.Kaynar J.F.Søgaard-Andersen A.Pogosyants
Talks about:simul (2) larch (2) distribut (1) algorithm (1) procedur (1) parallel (1) overview (1) abstract (1) equival (1) complet (1)
Person: Stephen J. Garland
DBLP: Garland:Stephen_J=
Contributed to:
2003
1993
1992
19891988
1988
1972Wrote 7 papers:
- VMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification
- Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
- CAV-1993-Sogaard-AndersenGGLP #proving #simulation
- Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.
- CADE-1992-YelickG #parallel #term rewriting
- A Parallel Completion Procedure for Term Rewriting Systems (KAY, SJG), pp. 109–123.
- RTA-1989-GarlandG #overview
- An Overview of LP, The Larch Power (SJG, JVG), pp. 137–151.
- CADE-1988-GarlandG #named #proving
- LP: The Larch Prover (SJG, JVG), pp. 748–749.
- POPL-1988-GarlandG #data type #induction #reasoning
- Inductive Methods for Reasoning about Abstract Data Types (SJG, JVG), pp. 219–228.
- STOC-1972-GarlandL #equivalence #on the
- On the Equivalence of Schemes (SJG, DCL), pp. 65–72.