Selected
Publications
M. Makar, L. West, D. Hooper, E. Horvitz, E. Shenoy, and J. Guttag, “Exploiting Structured Data for Learning Contagious Diseases under Incomplete Testing,” ICML 2021, July 2021.
D. Blalock,
and J. and Guttag, “Multiplying Matrices Without Multiplying,” ICML 2021,
July 2021.
A.
Hoopes, M. Hoffmann, B. Fischl, J. Guttag, A.V.
Dalca, HyperMorph: Amortized Hyperparameter Learning
for Image Registration, IPMI: Information Processing and Medical Imaging,
June 2021.
A.
Raghu, J. Guttag, K. Young, E. Pomerantsev, A. Dalca,
and C. Stultz, “Learning to Predict with Supporting Evidence: Applications to
Clinical Risk Prediction,” ACM Conference on Health, Inference, and Learning
(CHIL), April 2021.
S. Gaube, S., H. Suresh, M. Raue, A.
Merritt, S. Berkowitz, E. Lermer, J. Coughlin, J.
Guttag, E. Colak, and M. Ghassemi,
“Do as AI say: susceptibility in deployment of clinical decision-aids,” npj Digital Medicine, 4, 31, February 2021.
A.
Raghu, C. Stultz, and J. Guttag, “Learning to Predict and Support for Clinical
Risk Stratification,” ML4Health NEURIPS Workshop, December 2020.
M.
Saeed, D. Goyal, J. Guttag, Z. Syed, R. Mehta, and Z. Elahi, “Recommending
Providers for Surgical Care: Comparing Consumer Ratings, Quality Stars,
Reputation Rankings, Average Volumes, Average Outcomes and Machine Learning for
Recommending Orthopedic Surgery Hospitals in a Metro Region,” Journal of
Medical Internet Research, November 2020.
T. Zhan, D. Goyal, J. Guttag, R. Mehta, Z. Elahi, Z. Syed, M. Saeed, “Machine Intelligence for Early Targeted Precision Management and Response to Outbreaks of Respiratory Infections, American Journal of Managed Care, October 2020.M. Makar, F. Johansson, J. Guttag, and D. Sontag, “Estimation of Utility-Maximizing Bounds on Potential Outcomes,” ICML 2020, July 2020.M. Rakic, J. Guttag, and A. Dalca, “Anatomical Predictions Using Subject-specific Medical Data,” Medical Imaging with Deep Learning (MIDL), July 2020.K. Lewis, J. Guttag, and A. Dalca, “Fast Learning-based Registration of Sparse 3D Clinical Images,” ACM Conference on Health, Inference, and Learning (CHIL), July 2020.
A.
Zhao, G. Balakrishnan, K. M. Lewis, F. Durand, J. Guttag, A.V. Dalca, “Painting
Many Pasts: Synthesizing Time Lapse Videos of Paintings,“ CVPR, June
2020.
D. Blalock, J.J.G. Ortiz, J. Frankel, and J. Guttag,
“What Is the State of Neural Network Pruning,” Machine Learning and Systems 2020,
March 2020.
A.V. Dalca, M. Rakic, M.R. Subuncu, J. Guttag, “Learning
Conditional Deformable Templates with Convolutional Networks,” NeurIPS 2019, December 2019.
G. Balakrishan, A. Zhao, W.
Freeman, F. Durand, J. Guttag, and A. Dalca, “Visual
Deprojection: Probabilistic
Recovery of Collapsed Dimensions for Images and Videos,” ICCV 2019,
October 2019.
D. Shanmugam, D. Blalock, and J. Guttag, “Multiple Instance Learning for ECG Risk Stratification,” Machine Learning for Healthcare, August 2019.J.J.G Ortiz, D. Mehta, J. Van Stan, R.E., Hillman, J. Guttag, and M. Ghassemi, “Learning from Few Subjects with Large Amounts of Voice Monitoring Data,” Machine Learning for Healthcare, August 2019.A.V. Dalca, G. Balakrishnan, J. Guttag, and M. R. Sabuncu, “Unsupervised Learning of Probabilistic Diffeomorphic Registration for Images and Surfaces,” Medical Image Analysis, July 2019.A. Soleimany, H. Suresh, J.Ortiz, D. Shanmugam, N. Gural, J. Guttag. and S. Bhatia, “Image Segmentation of Liver Stage Malaria Infection with Spatial Uncertainty Sampling,” ICML Workshop on Computational Biology, June 2019.A. Zhao, G. Balakrishnan, F. Durand, J. Guttag, and A. Dalca, “Data Augmentation Using Learned Transforms for One-shot Medical Image Segmentation,” CVPR 2019, June 2019.A. Nistala and J. Guttag, “Using Deep Learning to Understand Patterns of Player Movement in the NBA,” Sloan Sports Analytics Conference, March 2019.G. Balakrishnan, A. Zhao, M. R. Sabuncu, J. Guttag, and A. Dalca, “VoxelMorph: A Learning Framework for Deformable Medical Image Registration,” IEEE Transactions on Medical Imaging, January 2019.
J.P. Cortes,
V. Espinoza, M. Ghassemi, D. Mehta, J. Van Stan, R.
Hillman, J. Guttag, and M. Zanartu, “Ambulatory
Assessment of Phonotraumatic Vocal Hyperfunction
Using Glottal Airflow Measures Estimated from Neck-surface Acceleration, PLOS
One, January 2019.
D. Blalock, S. Madden, and J. Guttag, “Sprintz: Time Series Compression for the Internet of
Things,” ACM Journal on Interactive, Mobile, Wearable, and Ubiquitous
Technologies, September 2018.
J. Gong and J. Guttag, “Learning to Summarized
Electronic Health Records Using Cross-Modality Correspondences,” Machine Learning in Healthcare, August
2018.
A.V. Dalca, G. Balakrishnan, J. Guttag, and M. R. Sabuncu, “Unsupervised Learning for Fast Probabilistic
Diffeomorphic Registration,” MICCAI, September 2018.
H. Suresh, J. Gong, and J. Guttag, “Learning Tasks
for Multitask Learning: Heterogeneous Patient Populations in the ICU,” KDD
2018, August 2018.
G. Balakrishnan, A. Zhao, A.V. Dalca, F. Durand, and
J. Guttag, “Synthesizing Images of Humans in Unseen Poses,” CVPR: Conference
on Computer Vision and Pattern Recognition, June 2018.
G. Balakrishnan, A. Zhao, M. R. Sabuncu,
J. Guttag, and A.V. Dalca, “An Unsupervised Learning Model for Deformable
Medical Image Registration,” CVPR: Conference on Computer Vision and Pattern
Recognition, June 2018.
A.V. Dalca, J. Guttag, and M. R. Sabuncu,
“Anatomical Priors in Convolutional Networks for Unsupervised Biomedical
Segmentation, CVPR: Conference on Computer Vision and Pattern Recognition,
June 2018.
J.P. Cortes, V. Espinoza, M. Ghassemi, D. Mehta, J. Van Stan, R. Hillman, J. Guttag, and M. Zañartu,“Using Aerodynamic Features and Their Uncertainty for the Ambulatory Assessment of Phonotraumatic Vocal Hyperfunction,” IEEE International Conference on Biomedical and Health Informatics, March 2018.
J. Oh, M. Makar, C. Fusco, R. McCaffrey, K. Rao, E.
Ryan, L. Washer, L. West, V. Young, J. Guttag, D. Hooper, E. Shenoy, and J.
Wiens, “A generalizable, data-driven approach to predict daily risk of
Clostridium difficile infection at two large academic health centers,” Infection
Control & Hospital Epidemiology, April 2018.
M. Makar, J. Wiens, and J. Guttag, “Learning the Probability of
Activation in the Presence of Latent Spreaders,” AAAI, February 2018.
R. Jaroensri, A. Zhao, G. Balakrishnan, D.
Lo, J. Schmahmann, F. Durand, and J. Guttag, “A
Video-based Method for Automatically Rating Ataxia,” Machine Learning in Healthcare, August 2017.
D. Blalock and J. Guttag, “Bolt: Accelerated Data Mining with Fast
Vector Compression,” KDD 2017, August 2017.
J. Gong, T. Naumann, P. Szolovits, and J.
Guttag, “Predicting Clinical Outcomes Across Changing Electronic Health Record
Systems,” KDD 2017, August 2017.
D. Blalock and J. Guttag, “EXTRACT: Strong Examples from Weakly-labeled
Sensor Data,” ICDM 2016, December 2016.
J. Brooks, M. Kerr, and J. Guttag, “Developing a Data-driven Player Ranking
in Soccer Using Predictive Model Weights, KDD
2016, August 2016.
J. Gong, M. Gong, D. Levy-Lambert, J. Green, T. Hogan, and J. Guttag,
“Towards an Automated Screening Tool for Developmental Speech and Language
Impairments,” Interspeech 2016, September 2016.
M. Ghassemi, J. Hillman, D. Mehta, J. Van
Stan, Z. Syed, and J. Guttag, “Uncovering Voice Misuse Using Symbolic
Mismatch,” Machine Learning in Healthcare,
August 2016.
Y. Liu, C. Stultz, and J. Guttag, “Transferring Knowledge from Text to
Predict Disease Onset,” Machine Learning
in Healthcare, August 2016.
J. Brooks, M. Kerr, and J. Guttag, “Using Machine Learning to Draw
Inferences from Pass Location Data in Soccer,” Statistical Analysis and Data Mining, August 2016.
J. Wiens, J. Guttag, and E. Horvitz, “Patient Risk Stratification with
Time-varying Parameters: a Multitask Learning Approach, Journal of Machine Learning Research, 17(77), June 2016.
A. McIntyre, J. Brooks, J. Guttag, and J. Wiens, “Recognizing and
Analyzing Ball-screen Defense in the NBA,” Sloan Sports Analytics Conference,
March 2016.
J.P. Cortes, V. Espinoza, M. Zanartu, M. Ghassemi, J. Guttag,
D. Mehta, J. Van Stan, and R. Hillman, “Discriminating
patients with vocal fold nodules from matched controls using acoustic and
aerodynamic features from ambulatory voice monitoring data,” 10th
International Conference on Voice Physiology and Biomechanics, March 2016.
Balakrishnan, G., Durand, F., and Guttag, J., “Video Diff: Highlighting
Differences Between Similar Actions in Videos, SIGGRAPH Asia, November 2015.
Van Esbroeck, M. Saeed, B. Scirica, C. Stultz, J. Guttag, S. Baveja,
D. Morrow, and Z. Syed, “Looking beyond left ventricular ejection fraction:
investigating the utility of multi-factorial computational modeling to predict
sudden cardiac death following acute coronary syndrome in the MERLIN-TIMI36
trial,” American Heart Association (AHA) Scientific Sessions, November 2015.
Mehta, D. D., Van Stan, J. H., Zañartu, M., Ghassemi, M., Guttag, J. V., Espinoza, V. M., Cortés, J.
P., Cheyne, H. A., and Hillman, R. E., “Using ambulatory voice monitoring to
investigate common voice disorders: Research update,” Frontiers in Bioengineering and Biotechnology, October 2015.
J. Gong, T. Sundt, J. Rawn, and J. Guttag, “Instance Weighting for Patient-specific Risk Stratification Models,” KDD 2015, August 2015.A. Singh, G. Nadkarni; O. Gottesman; S.B. Ellis; E.P. Bottinger; and J.V. Guttag, “Incorporating Temporal EHR data in Predictive Models for Risk Stratification of Renal Function Deterioration,” Journal of Biomedical Informatics, December 2014.
RE Hillman, D Mehta, JH Van Stan, M Zanartu,
M Ghassemi, JV Guttag, “Subglottal ambulatory monitoring of
vocal function to improve voice disorder assessment,” The Journal of the Acoustical Society of
America 136 (4), 2260-2260, October 2014.
A. Singh, G. Nadkarni, E. Bottinger, and J.V. Guttag, “Leveraging Hierarchy in Medical Codes for Predictive Modeling,” ACM Conference on Bioinformatics, Computational Biology and Health Informatics, Sept. 2014.G. Ganeshpapillai, J. Brooks, and J. Guttag, “Rapid Data Exploration and Visual Data Mining on Relational Data,” Proceedings of the KDD 2014 Workshop on Interactive Data Exploration and Analytics, August 2014.
J. Wiens, W. Campbell, E. Franklin, E. Horvitz, and J. Guttag, "Learning Data-Driven Patient Risk Stratification Models for Clostridium difficile," Open Forum Infectious Diseases, July 2014.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.
R. E. Hillman, J. H. Van Stan, D. D. Mehta, M. Zañartu, M. Ghassemi, H. A. Cheyne II, J. V. Guttag, “Future directions in the development of ambulatory monitoring for clinical voice assessment,” Proceedings of the 10th International Conference on Advances in Quantitative Laryngology, Voice and Speech Research, Cincinnati, OH, June 2013G. 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 2013.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 in 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.
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 (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, 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.
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
Presence 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 Languages, 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).