Books

J.V. Guttag, Introduction to Computation and Programming in Python, MIT Press (2013).

J.V. Guttag (ed.), The Electron and the Bit, EECS at MIT 1902—2002 (2005).

B.L Liskov with J.V. Guttag, Program Development in Java; Abstraction, Specification, and Object-oriented Design, Addison-Wesley (2000).

J.V. Guttag and J.J. Horning (with S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing), Larch: Languages and Tools for Formal Specification, Springer-Verlag (1993).

B.L Liskov and J.V. Guttag, Abstraction and Specification in Program Development, MIT Press and McGraw Hill (1986).

 

 

Selected Publications

 

M. Ghassemi, J. Van Stan, D. D. Mehta, M. ZaĖartu, H. A. Cheyne II, R. E. Hillman, and J. V. Guttag “Learning to detect vocal hyperfunction from ambulatory neck-skin acceleration features: Initial results for vocal fold nodules”, IEEE Trans. Biomed. Eng., Vol. 61(6), pp.1668-1675, June 2014.
A. McQueen, J. Wiens, and J. Guttag, “Automatically Recognizing On-Ball Screens,” Sloan Sports Analytics Conference, March 2014.
G. Ganeshpapillai and J. Guttag, “In-game Decision Making in MLB,” KDD 2013, Sloan Sports Analytics Conference, March 2014.
J. Wiens, E. Horvitz, and J. Guttag, “A Study in Transfer Learning: Leveraging Data from Multiple Hospitals to Enhance Hospital-Specific Predictions,” Journal of the American Medical Informatics Association, January 2014.
G. Ganeshpapillai and J. Guttag, “A Data-driven Method for In-game Decision Making in MLB,” KDD 2013, August 2013.
G. Ganeshpapillai, A. Lo, and J. Guttag, “Learning Connections in Financial Time Series,” ICML 2013, June 2013.
G. Balakrishnan, F. Durand, and J. Guttag, “Detecting Pulse from Head Motion,” IEEE Conference on Computer Vision and Pattern Recognition, June 2103.
J. Wiens, G. Balakrishnan, J. Brooks, and J. Guttag, “To Crash or Not to Crash, A Quantitative Look at the Relationship Between Offensive Rebounding and Transition Defense in the NBA,” MIT Sloan Sports Analytics Conference, March 2013.
A. Singh and J.Guttag, “Collaborative Filtering for Identifying Prescription Omissions and an ICU,” BIOSIGNALS 2013, February 2013.
J. Wiens, E. Horvitz, and J. Guttag, “Patient Risk Stratification for Hospital-Associated C. Diff as a Time-Series Classification Task,” NIPS 2012, December 2012.

M. Ghassemi, E. Shih, D. D. Mehta, S. W. Feng, J. Van Stan, R. E. Hillman, and J. Guttag, “Detecting voice modes for vocal hyperfunction prevention,” in Proceedings of the 7th Annual Workshop for Women in Machine Learning/Neural Information Processing Systems (NIPS) Conference, Lake Tahoe, NV, USA, 2012.

Hao-Yu Wu, Michael Rubinstein, Eugene Shih, John Guttag, Fredo Durand, William T. Freeman Eulerian Video Magnification for Revealing Subtle Changes in the World ACM Transactions on Graphics, Volume 31, Number 4 (Proc. SIGGRAPH) 2012.

J. Wiens, E. Horvitz, and J. Guttag, “Learning Evolving Patient Risk Processes for C. Diff Colonization, ICML 2012 Workshop on Clinical Data Analysis, June 2012.

G. Gartheeban and J. Guttag, “Predicting the Next Pitch,” MIT Sloan Sports Analytics Conference, March 2012. (Also in ESPN, The Magazine.)

A. Shoeb, A. Kharbouch, J. Soegaard, S. Schachter, and  J. Guttag.  “A Machine-Learning Algorithm for Detecting Seizure Termination in Scalp EEG,” Epilepsy and Behavior, December 2011.

A. Kharbouch,  A. Shoeb, J. Guttag, and S. Cash, “An Algorithm for Seizure Onset Detection Using Intracranial EEG,” Epilepsy and Behavior, December 2011.

Z. Syed. C. Stultz, B. Scirica B,  and J. Guttag, “Computationally generated cardiac biomarkers for risk stratification following acute coronary syndrome,” Science Translational Medicine (Science/AAAS Journal), September 2011.

A. Shoeb, T. Pang, J. Guttag, and S. Schachter,  “Vagus Nerve Stimulation Triggered by Machine-Learning Based Seizure Detection: Initial Implementation and Evaluation.” Epilepsy: The Intersection of Neurosciences, Biology, Mathematics, Physics, and Engineering.  Editors: Osorio I, Zaveri HP, Frei MG, Arthurs S, CRC Press, 2011.

Shoeb, A. Kharbouch, J. Soegaard, S. Schachter, and J. Guttag.  “An Algorithm for detecting seizure termination in Scalp EEG.” 33rd International Conference of the IEEE Engineering in Medicine and Biology (EMBS), September 2011.

J. Wiens and J. Guttag, Patient-specific Ventricular Beat Classification without Patient-specific Expert Knowledge: A Transfer Learning Approach,” 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), August 2011.

G. Gartheeban and J. Guttag, “Reconstruction of ECG Signals in The Presence of Corruption” 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), August 2011.

A. Singh and J. Guttag, “A Comparison of Non-Symmetric Entropy-Based Classification Trees and Support Vector Machine for Cardiovascular Risk Stratification,” 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), August 2011.

Z. Syed Z and J. Guttag, “Unsupervised similarity-based risk stratification for cardiovascular events using long-term time-series data,” Journal of Machine Learning Research, 2011;12(3):999-1024.

J. Wiens and J. Guttag, “Active Learning Applied to Patient-Adaptive Heartbeat Classification,” NIPS 2010, December 2010.

Z. Syed and J. Guttag, “Identifying Patients at Risk of Major Adverse Cardiovascular Events Using Symbolic Mismatch,” NIPS 2010, December 2010.

Z. Syed, B. Scirica, S. Mohanavelu, D. Morrow, C. Stutz, and J. Guttag, “Association of Heart Rate Turbulence, Deceleration Capacity, and Morphologic Variability with Sudden Cardiac Death Following Non-ST-Elevation Acute Coronary Syndrome: Results from the MERLIN-TIMI 36 Trial,” American Heart Association Annual Meeting, November 2010.

A. Qureshi, I. Fan, J. Carlisle, D. Brezinski, M. Kleinman,  and J. Guttag, “Improving Patient Care by Unshackling Telemedicine: Adaptively Constructing Rich Wireless Communication Channels to Facilitate Continuous Remote Collaboration,” AMIA 2010 Annual Symposium, November 2010.

J. Wiens and J. Guttag, “Patient-Adaptive Ectopic Beat Classification using Active Learning,” Computing in Cardiology 2010, September 2010.

A. Singh, J. Liu, and J. Guttag, “Categorization of Continuous ECG Based Risk Metrics Using Asymmetric and Warped Entropy Measures,” Computing in Cardiology 2010, September 2010.

N. Verma, A. Shoeb, J. Bohorquez, J. Dawson, J. Guttag, and A. Chandrakasan, "A Micro-power EEG Acquisition SoC with Integrated Feature-Extraction Processor for a Chronic Seizure Detection System," IEEE Journal of Solid State Circuits, Vol. 45(4), January 2010.

A. Shoeb, and J. Guttag, “Application of Machine Learning to Epileptic Seizure Detection,” International Conference on Machine Learning, June 2010.

Z. Syed, C. Stultz, M. Kellis, P. Indyk, and J. Guttag, “Motif Discovery in Physiological Datasets: A Methodology for Inferring Predictive Elements,” ACM Transactions on Knowledge Discovery in Data, January 2010.

Z. Syed, B, Scirica, C. Stultz, and J. Guttag, “Electrocardiographic prediction of arrhythmias,” Computers in Cardiology, September 2009.

Z. Syed,  P. Indyk, and J. Guttag, “Learning Approximate Sequential Patterns for Classification,” Journal of Machine Learning Research, Vol. 10(9), August 2009.

A. Qureshi, H. Balakrishnan, J. Guttag, B. Maggs, R. Weber, “Cutting the Electric Bill for Internet-Scale Systems,” SIGCOMM 2009, (August 2009).

A. Shoeb, J. Guttag, T. Pang, and S. Schachter, “Non-invasive Computerized System For Automatically Initiating Vagus Nerve Stimulation Following Patient-Specific Detection of Seizures or Epileptiform Discharges,” International Journal of Neural Systems, to appear (2009).

N. Verma, A. Shoeb, J. Guttag, and A. Chandrakasan, “A Micro-power EEG Acquisition SoC with Integrated Seizure Detection Processor for Continuous Patient Monitoring,” 2009 Symposium on VLSI Circuits, June 2009.

E. Shih, A. Shoeb, and J. Guttag, “Building a Customized, Wearable, Energy-Efficient Medical Event Detection System,” 7th Annual International Conference on Mobile Systems, Applications and Services (MobiSys '09), June 2009.

P. Sung, Z. Syed, and J. Guttag, “Quantifying Morphology Changes in Time Series Data with Skew,” 2009 International Conference on Acoustics, Speech, and Signal Processing, April 2009.

Z. Syed, P. Sung, B. Scirica, D.  Morrow, C. Stultz, and J. Guttag, “Spectral energy of ECG morphologic  differences to predict death,” Cardiovascular Engineering, Vol. 9, No. 1, March 2009.

Z. Syed, B. Scirica, S. Mohanavelu, P. Sung, C. Cannon, P. Stone, C. Stultz, and J. Guttag, "Relation of Death Within 90 Days of Non-ST-Elevation Acute Coronary Syndromes to Variability in Electrocardiographic Morphology," American Journal of Cardiology, February 2009.

D. Curtis, E. Pino, J. Bailey, E. Shih, J. Waterman, S. Vinterbo, T. Stair, J. Guttag, R. Greenes, and L. Ohno-Machado, “An Integrated, Wireless System for Monitoring Unattended Patients,” JAMIA, January 2008.

Z. Syed, B. Scirica, D. Morrow, S. Mohanavelu, C. Stultz, C., and J. Guttag, “ECG markers to predict cardiovascular death: Heart rate variability, deceleration capacity and morphologic variability in non-ST-elevation ACS from the MERLIN-TIMI 36 trial,” American Heart Association Scientific Sessions, November 2008.

Z. Syed, B. Scirica, C. Stultz, and J. Guttag, “Comparing Symbolic Representations of Cardiac Activity to Identify Patient Populations with Similar Risk Profiles,” Computers in Cardiology 2008, September 2008.

Z. Syed, B. Scirica, C. Stultz, and J. Guttag, “Risk-Stratification following Acute Coronary Syndromes Using a Novel Electrocardiographic Technique to Measure Variability in Morphology,” Computers in Cardiology 2008, September 2008.

E. Shih and J. Guttag, “Reducing Energy Consumption of Multi-Channel Mobile Medical Monitoring Algorithms,” 2nd International Workshop on Systems and Networking Support for Healthcare and Assisted Living Environments,” June 2008.

A. Shoeb, S. Schachter, T. Pang and J. Guttag, “Implementation of Closed-Loop, EEG-Triggered Vagus Nerve Stimulation using Patient-Specific Seizure Onset Detection From Scalp EEG,” American Epilepsy Society 61st Annual, Meeting, December 2007.
Z. Syed, C. Stultz, B. Scirica, C. Cannon, S. Mohanavelu, I. Stebsletova, K. Attia, and J. Guttag, “Morphological Variability: A New Electrocardiographic Technique for Risk Stratification After NSTEACS,” abstract, American Heart Association Annual Meeting, November 2007.

Ali Shoeb, Trudy Pang, Steven C. Schachter, John Guttag, “Implementation of Closed-Loop, EEG-Triggered Vagus Nerve Stimulation using Patient-Specific Seizure Onset Detection From Scalp EEG, Third International Workshop on Epileptic Seizure Prediction, September 2007.

A.  Shoeb, S. Schachter, B. Bourgeois, S.T. Treves, and J Guttag, “Impact of Patient-Specificity on Seizure Onset Detection Performance,” 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society,  August 2007.
Z. Syed and J. Guttag, “Prototypical Biological Signals,” 2007 International Conference on Acoustics, Speech, and Signal Processing, April 2007.

Z. Syed, D. Curtis, D. Leeds, R. Levine, F. Nesta, and J. Guttag, “A Framework for the Analysis of Acoustical Cardiac Signals,” IEEE Transactions on Biomedical Engineering, Vol. 54, no. 4, April 2007.

Z. Syed, J. Guttag, and C. Stoltz, “Clustering and Symbolic Analysis of Cardiovascular Signals: Discovery and Visualization of Medically Relevant Patterns in Long-Term Data with Limited Prior Knowledge,” EURASIP Journal on Applied Signal Processing, March 2007.

A. Qureshi, J. Carlisle, and J. Guttag, “Tavarua: Video Streaming with WWAN Striping,” ACM Multmedia 2006, October 2006.

E. Glassman and J. Guttag, “Reducing the Number of Channels for an Ambulatory Patient-Specific EEG-based Epileptic Seizure Detector by Applying Recursive Feature Elimination,” 28th Annual International Conference of the IEEE Engineering in Medicine and Biology Society,  August 2006.

Z. Syed, D. Curtis,  F. Nesta, R. Levine,  and J. Guttag, “Software Enhanced Learning of Cardiac Auscultation,” 28th Annual International Conference of the IEEE Engineering in Medicine and Biology Society,  August 2006.

Z. Syed,  D. Leeds,  D. Curtis,  F. Nesta, R. Levine,  and J. Guttag, “Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders,” Computer Based Medical Systems 2006, June 2006.

S. Schachter, A. Shoeb, B. Bourgeois, S.T. Treves, and J. Guttag, “Feasibility of Detecting Seizure Onsets in Ambulatory Patients: Initial Implementation,” American Epilepsy Society 59th Annual, Meeting, December 2005.

A.  Shoeb, S. Schachter, B. Bourgeois, S.T. Treves, and J Guttag, “Automated Seizure Onset Detection as a New Method of On-Demand VNS Stimulation: Initial Technical Development and Findings,” American Epilepsy Society 59th Annual, Meeting, December 2005.

A. Qureshi , A. Shoeb, and J. Guttag, “Building a High-Quality Mobile Telemedicine System Using Network Striping over Dissimilar Wireless Wide Area Networks,” 27th Annual International Conference of the IEEE Engineering in Medicine and Biology Society,  September 2005.

A. Shoeb, S. Schachter , D. Schomer , B. Bourgeois , S. Treves , and J. Guttag , “Detecting Seizure Onset in the Ambulatory Setting: Demonstrating Feasibility,” 27th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, September 2005.

A. Qureshi and J. Guttag, “Horde: Separating Network Striping Policy from Mechanism,” MobiSys 2005, June 2005.

J. Guttag (ed.), The Electron and the Bit, EECS at MIT 1902-2002, May 2005.

G. Tan and J. Guttag, “'The 802.11 MAC Protocol Leads to Inefficient Equilibria,” IEEE INFOCOM 2005, March 2005.

A. Shoeb, B. Bourgeois; T. Treves, and J. Guttag, "Patient-Specific Seizure Onset Detection to Optimize Ictal SPECT,” American Epilepsy Society 58th Annual Meeting, December 2004.

E. Shih, V. Bychkovsky, D. Curtis, and J. Guttag, “Continuous, Remote Medical,” Abstract and demonstration, Proceedings of the Second Annual International Conference on Embedded Networked Sensor Systems, November 2004.

A. Shoeb,  H. Edwards; J. Connolly; B. Bourgeois; T. Treves, and J. Guttag, “Patient-Specific Epileptic Seizure Onset Detection,” 26th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, September 2004.

G. Tan and J. Guttag, “Long-term Time-share Guarantees are Necessary for WLANs,” 11th ACM SIGOPS European Workshop, September 2004.

A. Shoeb,  H. Edwards; J. Connolly; B. Bourgeois; T. Treves, and J. Guttag, “Patient-Specific Seizure Onset Detection,” Epilepsy and Behavior, August 2004.

G. Tan and J. Guttag, “Time-based Fairness Improves Performance in Multi-rate WLANs,” 2004 USENIX Annual Technical Conference, June 2004.

G. Tan, M. Poletto, F. Kaashoek, and J. Guttag, “Role Classification of Hosts within Enterprise Networks Based on Connection Patterns,” 2003 USENIX Annual Technical Conference, June 2003.

G. Tan and J. Guttag, “A Locally Coordinated Scatternet Scheduling Algorithm,” 27th Annual IEEE Conference on Local Computer Networks, November 2002.

G. Tan, A. Miu, J. Guttag, and H. Balakrishnan. “An Efficient Scatternet Formation Algorithm for Dynamic Environments,” IASTED Communications and Computer Networks (CCN), Cambridge, MA, November, 2002.

J. Guttag, “Abstract Data Types, Then and Now,” Software Pioneers, Contributions to Software Engineering, Springer-Verlag, (2002).

G. Tan, A. Miu, J. Guttag and H. Balakrishnan, Forming Scatternets from Bluetooth Personal Area Networks, MIT-LCS-TR-826, October 2001.

<ui>D. Wetherall, V. Bose, and J. Guttag, “RadioActive Networks: Freedom from the Worst Case Design,” MobiCom, August 1999.

<ui>V. Bose, M. Ismert, M. Welborn, J. Guttag, “Virtual Radios,” IEEE Journal on Selected Areas in Communications, vol. 17, no. 4, April 1999.

D. Wetherall, J. Guttag, and D. Tennenhouse, “ANTS: Network Services Without the Red Tape,” IEEE Computer, vol. 32, no. 4, April 1999.

U. Legedza and J. Guttag, “Using Network Level Support to Improve Cache Routing,” Computer Networks and ISDN Systems, vol. 20, no. 22-23, November 1998.

D. Bailey, R. Brooks, J. Guttag, and T. Unger, “The Year 2000 Crisis as a Management Liability Issue, A Practical Guide for Directors and Officers,” Prepared for Nation Union Fire Insurance Company, 1998.

D. Wetherall, U. Legedza, and J. Guttag, “Introducing New Internet Services: Why and How,” IEEE Network, July/August 1998.

U. Legedza and J. Guttag, “Using Network Level Support to Improve Cache Routing,” 3rd International WWW Caching Workshop, June 1998.

D. Wetherall, J. Guttag, and D. Tennenhouse, “ANTS: A Toolkit for Building and Dynamically Deploying Network Protocols,” IEEE OpenArch ’98, April 1998.

U. Legedza, D. Wetherall, and J. Guttag, “Improving The Performance of Distributed Applications Using Active Networks,” IEEE INFOCOM ‘98, April 1998.

R. Stata and J. Guttag, “Modular Reasoning in the Presense of Subclassing,” Object-Oriented Programming Systems, Languages, and Applications  (1995).

A. Agarwal, J. Guttag, C. Hadjicostis, and M. Papaefthymiou, “Memory Assignment for Multiprocessor Caches through Grey Coloring,” Parallel Architectures and Languages Europe  1994, Springer-Verlag Lecture Notes in Computer Science, (1994).

M. Vandevoorde and J. Guttag, “Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering , New Orleans, LA (1994).

D. Evans, J. Guttag, J. Horning, and Y.M. Tan, “LCLint, A Tool for Using Specifications to Check Code, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering , New Orleans, LA (1994).

J.V. Guttag, “Goldilocks and the Three Specifications,” Proc. Fourth International Joint Conference on the Theory and Practice of Software Development, Orsay, France (1993).

Stephen J. Garland, John V. Guttag, and James J. Horning, "An overview of Larch," Functional Programming, Concurrency, Simulation, and Automated Reasoning, Lecture Notes in Computer Science 693, Peter E. Lauer (editor), Springer-Verlag, 1993, pages 329-348.

J.V. Guttag, “A Brief Introduction to CLU,” Proc. History of Programming Languages Conference, Cambridge, MA (1993).

JŅrgen F. SŅgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, and Anya Pogosyants, "Computed-assisted simulation proofs," Computer-Aided Verification, Fifth International Conference, CAV '93, Elounda, Greece, June/July 1993, Lecture Notes in Computer Science 697, Costas Courcoubetis (editor), Springer-Verlag, pages 305-319.

J.B. Saxe, S.J. Garland, J.V. Guttag, and J.J. Horning, “Using Transformations and Verification in Circuit Design,”Formal Methods in System Design, Kluwer (1993). also in Proc. IFIP Workshop on Designing Correct Circuits, Lyngby, Denmark, North-Holland (1992).

P. Penfield, J.V. Guttag, C.L. Searle, and W.M. Siebert, “Shifting the Boundary: A Professional Master's Program for 2000 and Beyond,” Proc. Frontiers in Education Annual Conference (1992).

J. Staunstrup, S. J. Garland, and J. Guttag. “Mechanized verification of circuit descriptions using the Larch Prover,” Proc. IFIP Work. Conf. Theorem Provers in Circuit Design: Theory, Practice, and Experience, NijmegenNorth-Holland (1992).

J.V. Guttag, “Why Programming is Too Hard and What to Do About It,” Research Directions in Computer Science, an MIT Perspective, MIT Press, Cambridge, MA (1991).

D.L. Clark, et al., Computers at Risk: Safe Computing in the Information Age, National Academy Press, Washington, D.C. (1990).

Balzer et al. “Prototyping,” Annual Review of Computer Science, Vol. 4, 1989 - 1990, Annual Reviews, Palo Alto, CA (1990).

J. Staunstrup, S. J. Garland, and J. V. Guttag, "Localized Verification of Circuit Descriptions,'' Proceedings of an International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, June 1989, Lecture Notes in Computer Science 407, Springer-Verlag (1989).

S. J. Garland and J. V. Guttag, "An Overview of LP, the Larch Prover,'' Proceedings of the Third International Conference on Rewriting Techniques and Applications, Chapel Hill, NC, April 1989, Lecture Notes in Computer Science 355, Springer-Verlag (1989).

S. J. Garland and J. V. Guttag, "Inductive methods for reasoning about abstract data types,'' Proc. of the Fifteenth ACM Symposium on Principles of Programming Languages, San Diego, CA (1988).

S. J. Garland and J. V. Guttag, "LP: The Larch Prover,'' Proceedings of the Ninth International Conference on Automated Deduction, Argonne, Illinois, Lecture Notes in Computer Science 310, Springer-Verlag (1988).

S. J. Garland, J. V. Guttag, and J. Staunstrup, "Verification of VLSI circuits using LP,'' The Fusion of Hardware Design and Verification, Proceedings of an IFIP WG 10.2 Working Conference, Glasgow, Scotland North Holland (1988).

A.D. Birrell, J.V. Guttag, J.J. Horning, and R. Levin, "Synchronization primitives for a multiprocessor: a formal specification.'' Operating Systems Review 21(5), (1987).

B.L Liskov and J.V. Guttag, Abstraction and Specification in Program Development, MIT Press and McGraw Hill (1986).

J.V. Guttag and J.J. Horning, "A Larch Shared Language Handbook,'' Science of Computer Programming 6 (1986).

J.V. Guttag and J.J. Horning, "Report on the Larch Shared Language,'' Science of Computer Programming 6 (1986).

J.V. Guttag, J.J. Horning, and J.M. Wing, "The Larch Family of Specification Languages,'' IEEE Software 2(5) (1985).

R. Forgaard, J.V. Guttag, “REVE: A Term Rewriting System Generator with a Failure-Resistant Knuth-Bendix,” Proceedings of an NSF Workshop on the Rewrite Rule Laboratory (1984).

J.V. Guttag, D. Kapur, and D.R. Musser, "On Proving Uniform Termination and Restricted Termination of Rewriting Systems,''SIAM Journal of Computing, vol. 12, no. 1 (1983).

J.V. Guttag and J.J. Horning, "An Introduction to the Larch Shared Language,'' Proc. IFIP Ninth World Computer Congress, Paris, France (1983).

Guttag, J. V., "Notes on Using Types and Type Abstraction in Functional Programming,'' Functional Programming and its Applications, An Advanced Course, (eds. J. Darlington, P. Henderson and D. A. Turner), North Holland (1982).

J.V. Guttag, D. Kapur, and D.R. Musser, "Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term Rewriting Systems,''Proceedings of the 1982 ICALP Conference, Lecture Notes in Computer Science 140, Springer-Verlag (1982).

J.V. Guttag, J.J. Horning, and J.M. Wing, “Some Notes on Putting Formal Specifications to Productive Use,” Science of Computer Programming, vol. 2 (1982).

J.V. Guttag, J.J. Horning, and J. Williams, "FP with Data Abstraction and Strong Typing,'' Proceedings of a Conference on Functional Programming and Computer Architecture (1981).

J.V. Guttag and J.J. Horning, "Formal Specification as a Design Tool,''Seventh ACM Symposium Principles of Programming Languagees, Las Vegas (1980).

J.V. Guttag, "Notes on Type Abstraction, Version 2,''IEEE Transactions on Software Engineering vol. SE-6, no. 1 (1980).

J.V. Guttag and J.J. Horning, "The Algebraic Specification of Abstract Data Types,'' Acta Informatica 10(1) (1978).

J.V. Guttag, E. Horowitz, and D.R. Musser, "Abstract Data Types and Software Validation,'' Communications of the ACM, vol. 21, no. 12 (1978).

Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: “Proof Rules for Euclid,” Program Construction 1978: 133-163 (1978)

R.L. London, J.V. Guttag, J.J. Horning, B.W. Lampson, J.G. Mitchell, and G.J. Popek, "Proof Rules for the Programming Language Euclid,'' Acta Informatica, vol. 10, no. 1 (1978).

J.V. Guttag, J.J. Horning, and R.L. London, "A Proof Rule for Euclid Procedures,'' Proceedings of IFIP Working Conference on Formal Description of Programming Concepts, Saint Andrews, N. B. (1977).

J.V. Guttag, E. Horowitz, and D.R. Musser, "Some Extensions to Algebraic Axioms,'' Proceedings of an ACM Conference on Language Design for Reliable Software, Chapel Hill, NC (1977).

J.V. Guttag, "Abstract Data Types and the Development of Data Structures,'' Communications of the ACM, vol. 20, no. 6 (1977).

J.V. Guttag, E. Horowitz, and D.R. Musser, "The Design of Data Type Specifications,'' Proceedings Second International Conference on Software Engineering, San Francisco, CA (1976).

J.V. Guttag, The Specification and Application to Programming of Abstract Data Types,Ph.D. Thesis, Dept. of Computer Science, University of Toronto (1975).