Stephen J. Garland
MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, USA
http://people.csail.mit.edu/garland/
Toh Ne Win
Michael D. Ernst
Stephen J. Garland
Dilsun Kirli Kaynar
Nancy A. Lynch
Using simulated execution in verifying distributed algorithms.
67-76
2004
6
Int. J. Softw. Tools Technol. Transf.
1
https://doi.org/10.1007/s10009-003-0126-5
db/journals/sttt/sttt6.html#WinEGKL04
Toh Ne Win
Michael D. Ernst
Stephen J. Garland
Dilsun Kirli Kaynar
Nancy A. Lynch
Using Simulated Execution in Verifying Distributed Algorithms.
283-297
2003
conf/vmcai/2003
VMCAI
https://doi.org/10.1007/3-540-36384-X_23
db/conf/vmcai/vmcai2003.html#WinEGKL03
Andrej Bogdanov
Stephen J. Garland
Nancy A. Lynch
Mechanical Translation of I/O Automaton Specifications into First-Order Logic.
364-368
2002
conf/forte/2002
FORTE
https://doi.org/10.1007/3-540-36135-9_24
db/conf/forte/forte2002.html#BogdanovGL02
Li-Wei H. Lehman
Stephen J. Garland
David L. Tennenhouse
Active Reliable Multicast.
581-589
1998
conf/infocom/1998
INFOCOM
db/conf/infocom/infocom1998-2.html#LehmanGT98
https://doi.org/10.1109/INFCOM.1998.665078
https://doi.ieeecomputersociety.org/10.1109/INFCOM.1998.665078
Tsvetomir P. Petrov
Anna Pogosyants
Stephen J. Garland
Victor Luchangco
Nancy A. Lynch
Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.
29-44
1996
conf/forte/1996
FORTE
db/conf/forte/forte1996.html#PetrovPGLL96
Victor Luchangco
Ekrem Söylemez
Stephen J. Garland
Nancy A. Lynch
Verifying timing properties of concurrent algorithms.
259-273
1994
conf/forte/1994
FORTE
db/conf/forte/forte1994.html#LuchangcoSGL94
John V. Guttag
James J. Horning
Stephen J. Garland
Kevin D. Jones
A. Modet
Jeannette M. Wing
Larch: Languages and Tools for Formal Specification
1993
1-156
Springer
Texts and Monographs in Computer Science
978-1-4612-7636-4
978-1-4612-2704-5
https://doi.org/10.1007/978-1-4612-2704-5
https://www.wikidata.org/entity/Q29014117
James B. Saxe
James J. Horning
John V. Guttag
Stephen J. Garland
Using Transformations and Verification in Circuit Design.
181-209
1993
3
Formal Methods Syst. Des.
3
db/journals/fmsd/fmsd3.html#SaxeHGG93
https://doi.org/10.1007/BF01384073
Jørgen F. Søgaard-Andersen
Stephen J. Garland
John V. Guttag
Nancy A. Lynch
Anna Pogosyants
Computer-Assisted Simulation Proofs.
305-319
1993
conf/cav/1993
CAV
db/conf/cav/cav93.html#Sogaard-AndersenGGLP93
https://doi.org/10.1007/3-540-56922-7_25
Stephen J. Garland
John V. Guttag
James J. Horning
An Overview of Larch.
329-348
1993
conf/mcmaster/1993
Functional Programming, Concurrency, Simulation and Automated Reasoning
db/conf/mcmaster/mcmaster1993.html#GarlandGH93
https://doi.org/10.1007/3-540-56883-2_15
Katherine A. Yelick
Stephen J. Garland
A Parallel Completion Procedure for Term Rewriting Systems.
109-123
1992
conf/cade/1992
CADE
db/conf/cade/cade92.html#YelickG92
https://doi.org/10.1007/3-540-55602-8_159
James B. Saxe
Stephen J. Garland
John V. Guttag
James J. Horning
Using Transformations and Verification in Ciruit Design.
1-25
1992
conf/ifip10-2/1992a
Designing Correct Circuits
db/conf/ifip10-2/ifip10-2-1992a.html#SaxeGGH92
James B. Saxe
John V. Guttag
James J. Horning
Stephen J. Garland
Using Transformations and Verification in Circuit Design.
201-226
1992
conf/larch/1992
Larch
db/conf/larch/larch1992.html#SaxeGHG92
Jørgen Staunstrup
Stephen J. Garland
John V. Guttag
Mechanized Verification of Circuit Descriptions Using the Larch Prover.
277-299
1992
conf/tpcd/1992
TPCD
db/conf/tpcd/tpcd1992.html#StaunstrupGG92
Stephen J. Garland
John V. Guttag
James J. Horning
Debugging Larch Shared Language Specifications.
1044-1057
https://doi.org/10.1109/32.58789
http://doi.ieeecomputersociety.org/10.1109/32.58789
1990
16
IEEE Trans. Software Eng.
9
db/journals/tse/tse16.html#GarlandGH90
Stephen J. Garland
John V. Guttag
Using LP to Debug Specifications.
369-386
1990
Programming Concepts and Methods
conf/ifip2/1990
db/conf/ifip2/pcm1990.html#GarlandG90
Jørgen Staunstrup
Stephen J. Garland
John V. Guttag
Localized Verification of Circuit Descriptions.
349-364
1989
conf/avmfss/1989
Automatic Verification Methods for Finite State Systems
db/conf/avmfss/avmfss1989.html#StaunstrupGG89
https://doi.org/10.1007/3-540-52148-8_29
Stephen J. Garland
John V. Guttag
An Overview of LP, The Larch Power.
137-151
1989
conf/rta/1989
RTA
db/conf/rta/rta89.html#GarlandG89
https://doi.org/10.1007/3-540-51081-8_105
Stephen J. Garland
John V. Guttag
LP: The Larch Prover.
748-749
1988
conf/cade/1988
CADE
db/conf/cade/cade88.html#GarlandG88
https://doi.org/10.1007/BFb0012879
Stephen J. Garland
John V. Guttag
Inductive Methods for Reasoning about Abstract Data Types.
219-228
1988
conf/popl/1988
POPL
db/conf/popl/popl88.html#GarlandG88
https://doi.org/10.1145/73560.73579
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.
393
1986
conf/acm/1986
ACM Conference on Computer Science
https://doi.org/10.1145/324634.325463
db/conf/acm/csc1986.html#YoungGPR86
David C. Rine
J. R. Jefferson Wadkins
Stephen J. Garland
Advanced placement program in computer science(Panel Session).
204
1983
SIGCSE
https://doi.org/10.1145/800038.801047
https://doi.org/10.1145/952978.801047
conf/sigcse/1983
db/conf/sigcse/sigcse1983.html#RineWG83
Stephen J. Garland
A. Kent Morton
A new master's degree program at Dartmouth College.
25-26
1979
11
ACM SIGCSE Bull.
4
https://doi.org/10.1145/988938.988942
db/journals/sigcse/sigcse11.html#GarlandM79
Stephen J. Garland
David C. Luckham
Program Schemes, Recursion Schemes, and Formal Languages.
119-160
1973
7
J. Comput. Syst. Sci.
2
db/journals/jcss/jcss7.html#GarlandL73
https://doi.org/10.1016/S0022-0000(73)80040-6
Stephen J. Garland
Generalized Interpolation Theorems.
343-351
1972
37
J. Symb. Log.
2
db/journals/jsyml/jsyml37.html#Garland72
https://doi.org/10.2307/2272977
http://projecteuclid.org/euclid.jsl/1183738230
Stephen J. Garland
David C. Luckham
Translating recursion schemes into program schemes.
83-96
1972
Proving Assertions About Programs
https://doi.org/10.1145/800235.807075
https://doi.org/10.1145/942578.807075
conf/praapr/1972
db/conf/praapr/praapr1972.html#GarlandL72
On the Equivalence of Schemes
Stephen J. Garland
David C. Luckham
65-72
conf/stoc/STOC4
1972
STOC
db/conf/stoc/stoc72.html#GarlandL72
https://doi.org/10.1145/800152.804897
Stephen J. Garland
Anthony W. Knapp
Algorithm 99: Evaluation of Jacobi symbol.
345-346
1962
5
Commun. ACM
6
https://doi.org/10.1145/367766.368172
db/journals/cacm/cacm5.html#GarlandK62
Andrej Bogdanov
Michael D. Ernst
John V. Guttag
James J. Horning
Kevin D. Jones
Dilsun Kirli Kaynar
Anthony W. Knapp
Li-Wei H. Lehman
Victor Luchangco
David C. Luckham
Nancy A. Lynch
A. Modet
A. Kent Morton
Tsvetomir P. Petrov
Anna Pogosyants
Robert Poland
David C. Rine
James B. Saxe
Jørgen F. Søgaard-Andersen
Ekrem Söylemez
Jørgen Staunstrup
David L. Tennenhouse
J. R. Jefferson Wadkins
Toh Ne Win
Jeannette M. Wing
Katherine A. Yelick
Frank H. Young