Stephen J. Garland

Publication Activity (10 Years)

Years Active: 1962-2004
Publications (10 Years): 0

Publications

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