Stephen J. Garland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
1972–2003
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | VMCAI | Using Simulated Execution in Verifying Distributed Algorithms. | Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch |
| 2002 | FORTE | Mechanical Translation of I/O Automaton Specifications into First-Order Logic. | Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch |
| 1998 | INFOCOM | Active Reliable Multicast. | Li-Wei H. Lehman, Stephen J. Garland, David L. Tennenhouse |
| 1996 | FORTE | Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. | Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch |
| 1994 | FORTE | Verifying timing properties of concurrent algorithms. | Victor Luchangco, Ekrem Sylemez, Stephen J. Garland, Nancy A. Lynch |
| 1993 | CAV | Computer-Assisted Simulation Proofs. | Jrgen F. Sgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants |
| 1992 | CADE | A Parallel Completion Procedure for Term Rewriting Systems. | Katherine A. Yelick, Stephen J. Garland |
| 1988 | CADE | LP: The Larch Prover. | Stephen J. Garland, John V. Guttag |
| 1988 | POPL | Inductive Methods for Reasoning about Abstract Data Types. | Stephen J. Garland, John V. Guttag |
| 1983 | SIGCSE | Advanced placement program in computer science(Panel Session). | David C. Rine, J. R. Jefferson Wadkins, Stephen J. Garland |
| 1972 | STOC | On the Equivalence of Schemes | Stephen J. Garland, David C. Luckham |