John V. Guttag

	2009
53		Eugene Shih, Ali H. Shoeb, John V. Guttag: Sensor selection for energy-efficient ambulatory medical monitoring. MobiSys 2009: 347-358
52		Asfandyar Qureshi, Rick Weber, Hari Balakrishnan, John V. Guttag, Bruce V. Maggs: Cutting the electric bill for internet-scale systems. SIGCOMM 2009: 123-134
51		Ali H. Shoeb, Trudy Pang, John V. Guttag, Steven Schachter: Non-Invasive Computerized System for Automatically Initiating Vagus Nerve Stimulation Following Patient-Specific Detection of Seizures or epileptiform discharges. Int. J. Neural Syst. 19(3): 157-172 (2009)
	2006
50		Asfandyar Qureshi, Jennifer N. Carlisle, John V. Guttag: Tavarua: video streaming with WWAN striping. ACM Multimedia 2006: 327-336
49		Zeeshan Syed, Daniel Leeds, Dorothy Curtis, John V. Guttag: Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders. CBMS 2006: 207-212
	2005
48		Godfrey Tan, John V. Guttag: The 802.11 MAC protocol leads to inefficient equilibria. INFOCOM 2005: 1-11
47		Asfandyar Qureshi, John V. Guttag: Horde: separating network striping policy from mechanism. MobiSys 2005: 121-134
	2004
46		Godfrey Tan, John V. Guttag: Long-term time-share guarantees are necessary for wireless LANs. ACM SIGOPS European Workshop 2004: 35
45		Eugene Shih, Vladimir Bychkovsky, Dorothy Curtis, John V. Guttag: Continuous medical monitoring using wireless microsensors. SenSys 2004: 310
44		Godfrey Tan, John V. Guttag: Time-based Fairness Improves Performance in Multi-Rate WLANs. USENIX Annual Technical Conference, General Track 2004: 269-282
	2003
43		Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek: Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns. USENIX Annual Technical Conference, General Track 2003: 15-28
	2002
42		Godfrey Tan, John V. Guttag: A Locally Coordinated Scatternet Scheduling Algorithm. LCN 2002: 293-303
	1999
41		Vanu G. Bose, David Wetherall, John V. Guttag: Next Century Challenges: RadioActive Networks. MOBICOM 1999: 242-248
40		David Wetherall, John V. Guttag, David L. Tennenhouse: ANTS: Network Services Without the Red Tape. IEEE Computer 32(4): 42-48 (1999)
	1998
39		Ulana Legedza, David Wetherall, John V. Guttag: Improving the Performance of Distributed Applications Using Active Networks. INFOCOM 1998: 590-599
38		Ulana Legedza, John V. Guttag: Using Network-Level Support to Improve Cache Routing. Computer Networks 30(22-23): 2193-2201 (1998)
	1995
37		Raymie Stata, John V. Guttag: Modular Reasoning in the Presence of Subclassing. OOPSLA 1995: 200-214
	1994
36		Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis, Marios C. Papaefthymiou: Memory Assignment for Multiprocessor Caches through Grey Coloring. PARLE 1994: 351-362
35		Mark T. Vandevoorde, John V. Guttag: Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity. SIGSOFT FSE 1994: 121-127
34		David Evans, John V. Guttag, James J. Horning, Yang Meng Tan: LCLint: A Tool for Using Specifications to Check Code. SIGSOFT FSE 1994: 87-96
	1993
33		Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants: Computer-Assisted Simulation Proofs. CAV 1993: 305-319
32		Stephen J. Garland, John V. Guttag, James J. Horning: An Overview of Larch. Functional Programming, Concurrency, Simulation and Automated Reasoning 1993: 329-348
31		John V. Guttag: Goldilocks and the Three Specifications. TAPSOFT 1993: 1-14
30		James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Formal Methods in System Design 3(3): 181-209 (1993)
	1992
29		James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning: Using Transformations and Verification in Ciruit Design. Designing Correct Circuits 1992: 1-25
28		James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland: Using Transformations and Verification in Circuit Design. Larch 1992: 201-226
27		Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Mechanized Verification of Circuit Descriptions Using the Larch Prover. TPCD 1992: 277-299
	1991
26		John V. Guttag: The Larch Approach to Specification (Abstract). VDM Europe (1) 1991: 10
25		John V. Guttag, James J. Horning: A Tutorial on LARCH and LCL, A LARCH/C Interface Language. VDM Europe (2) 1991: 1-78
	1990
24		Stephen J. Garland, John V. Guttag, James J. Horning: Debugging Larch Shared Language Specifications. IEEE Trans. Software Eng. 16(9): 1044-1057 (1990)
	1989
23		Jørgen Staunstrup, Stephen J. Garland, John V. Guttag: Localized Verification of Circuit Descriptions. Automatic Verification Methods for Finite State Systems 1989: 349-364
22		Stephen J. Garland, John V. Guttag: An Overview of LP, The Larch Power. RTA 1989: 137-151
	1988
21		Stephen J. Garland, John V. Guttag: LP: The Larch Prover. CADE 1988: 748-749
20		Stephen J. Garland, John V. Guttag: Inductive Methods for Reasoning about Abstract Data Types. POPL 1988: 219-228
	1987
19		Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin: Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP 1987: 94-102
	1986
18		John V. Guttag, James J. Horning: Report on the Larch Shared Language. Sci. Comput. Program. 6(2): 103-134 (1986)
17		John V. Guttag, James J. Horning: A Larch Shared Language Handbook. Sci. Comput. Program. 6(2): 135-157 (1986)
	1983
16		John V. Guttag, James J. Horning: An Introduction to the Larch Shared Language. IFIP Congress 1983: 809-814
15		John V. Guttag, Deepak Kapur, David R. Musser: On Proving Uniform Termination and Restricted Termination of Rewriting Systems. SIAM J. Comput. 12(1): 189-214 (1983)
	1982
14		John V. Guttag, Deepak Kapur, David R. Musser: Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. ICALP 1982: 300-312
13		John V. Guttag, James J. Horning, Jeannette M. Wing: Some Notes on Putting Formal Specifications to Productive Use. Sci. Comput. Program. 2(1): 53-68 (1982)
	1981
12		John V. Guttag: A few Remarks on Putting Formal Specifications to Productive Use. Program Specification 1981: 370-380
	1980
11		John V. Guttag, James J. Horning: Formal Specification as a Design Tool. POPL 1980: 251-261
10		John V. Guttag: Notes on Type Abstraction (Version 2). IEEE Trans. Software Eng. 6(1): 13-23 (1980)
	1978
9		Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163
8		John V. Guttag: Notes on Type Abstraction. Program Construction 1978: 593-616
7		Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Acta Inf. 10: 1-26 (1978)
6		John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52 (1978)
5		John V. Guttag, Ellis Horowitz, David R. Musser: Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064 (1978)
	1977
4		John V. Guttag, Ellis Horowitz, David R. Musser: Some Extensions to Algebraic Specifications. Language Design for Reliable Software 1977: 63-67
3		John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404 (1977)
	1976
2		John V. Guttag: Abstract Data Types and the Development of Data Structures. Conference on Data: Abstraction, Definition and Structure 1976: 72
1		John V. Guttag, Ellis Horowitz, David R. Musser: The Design of Data Type Specifications. ICSE 1976: 414-420

Coauthor Index

1	Anant Agarwal	[36]
2	Hari Balakrishnan	[52]
3	Andrew Birrell	[19]
4	Vanu G. Bose	[41]
5	Vladimir Bychkovsky	[45]
6	Jennifer N. Carlisle	[50]
7	Dorothy Curtis	[45] [49]
8	David Evans	[34]
9	Stephen J. Garland	[20] [21] [22] [23] [24] [27] [28] [29] [30] [32] [33]
10	Christoforos N. Hadjicostis	[36]
11	James J. Horning (Jim Horning)	[6] [7] [9] [11] [13] [16] [17] [18] [19] [24] [25] [28] [29] [30] [32] [34]
12	Ellis Horowitz	[1] [4] [5]
13	M. Frans Kaashoek	[43]
14	Deepak Kapur	[14] [15]
15	Butler W. Lampson	[7] [9]
16	Daniel Leeds	[49]
17	Ulana Legedza	[38] [39]
18	Roy Levin	[19]
19	Ralph L. London	[7] [9]
20	Nancy A. Lynch	[33]
21	Bruce V. Maggs	[52]
22	James G. Mitchell	[7] [9]
23	David R. Musser	[1] [4] [5] [14] [15]
24	Trudy Pang	[51]
25	Marios C. Papaefthymiou	[36]
26	Anna Pogosyants	[33]
27	Massimiliano Poletto	[43]
28	Gerald J. Popek	[7] [9]
29	Asfandyar Qureshi	[47] [50] [52]
30	James B. Saxe	[28] [29] [30]
31	Steven Schachter	[51]
32	Eugene Shih	[45] [53]
33	Ali H. Shoeb	[51] [53]
34	Jørgen F. Søgaard-Andersen	[33]
35	Raymie Stata	[37]
36	Jørgen Staunstrup	[23] [27]
37	Zeeshan Syed	[49]
38	Godfrey Tan	[42] [43] [44] [46] [48]
39	Yang Meng Tan	[34]
40	David L. Tennenhouse	[40]
41	Mark T. Vandevoorde	[35]
42	Rick Weber	[52]
43	David Wetherall	[39] [40] [41]
44	Jeannette M. Wing	[13]

Colors in the list of coauthors