Stephen J. Garland

28 papers A* 4A 3B 1C 3Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2004 J jnl
Using simulated execution in verifying distributed algorithms.
Int. J. Softw. Tools Technol. Transf.
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
2003 B conf
Using Simulated Execution in Verifying Distributed Algorithms.
VMCAI
Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch
2002 C conf
Mechanical Translation of I/O Automaton Specifications into First-Order Logic.
FORTE
Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch
1998 A* conf
Active Reliable Multicast.
INFOCOM
Li-Wei H. Lehman, Stephen J. Garland, David L. Tennenhouse
1996 C conf
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.
FORTE
Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
1994 C conf
Verifying timing properties of concurrent algorithms.
FORTE
Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch
1993 — conf
An Overview of Larch.
Functional Programming, Concurrency, Simulation and Automated Reasoning
Stephen J. Garland, John V. Guttag, James J. Horning
1993 A* conf
Computer-Assisted Simulation Proofs.
CAV
Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
1993 — book
Larch: Languages and Tools for Formal Specification
John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing
1993 J jnl
Using Transformations and Verification in Circuit Design.
Formal Methods Syst. Des.
James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland
1992 A conf
A Parallel Completion Procedure for Term Rewriting Systems.
CADE
Katherine A. Yelick, Stephen J. Garland
1992 — conf
Mechanized Verification of Circuit Descriptions Using the Larch Prover.
TPCD
Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
1992 — conf
Using Transformations and Verification in Circuit Design.
Larch
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland
1992 — conf
Using Transformations and Verification in Ciruit Design.
Designing Correct Circuits
James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning
1990 J jnl
Debugging Larch Shared Language Specifications.
IEEE Trans. Software Eng.
Stephen J. Garland, John V. Guttag, James J. Horning
1990 — conf
Using LP to Debug Specifications.
Programming Concepts and Methods
Stephen J. Garland, John V. Guttag
1989 — conf
An Overview of LP, The Larch Power.
RTA
Stephen J. Garland, John V. Guttag
1989 — conf
Localized Verification of Circuit Descriptions.
Automatic Verification Methods for Finite State Systems
Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
1988 A* conf
Inductive Methods for Reasoning about Abstract Data Types.
POPL
Stephen J. Garland, John V. Guttag
1988 A conf
LP: The Larch Prover.
CADE
Stephen J. Garland, John V. Guttag
1986 — conf
Advanced placement in Computer Science (panel session): college level computer science in the high schools.
ACM Conference on Computer Science
Frank H. Young, Stephen J. Garland, Robert Poland, David C. Rine
1983 A conf
Advanced placement program in computer science(Panel Session).
SIGCSE
David C. Rine, J. R. Jefferson Wadkins, Stephen J. Garland
1979 J jnl
A new master's degree program at Dartmouth College.
ACM SIGCSE Bull.
Stephen J. Garland, A. Kent Morton
1973 J jnl
Program Schemes, Recursion Schemes, and Formal Languages.
J. Comput. Syst. Sci.
Stephen J. Garland, David C. Luckham
1972 J jnl
Generalized Interpolation Theorems.
J. Symb. Log.
Stephen J. Garland
1972 A* conf
On the Equivalence of Schemes
STOC
Stephen J. Garland, David C. Luckham
1972 — conf
Translating recursion schemes into program schemes.
Proving Assertions About Programs
Stephen J. Garland, David C. Luckham
1962 J jnl
Algorithm 99: Evaluation of Jacobi symbol.
Commun. ACM
Stephen J. Garland, Anthony W. Knapp