John V. Guttag

According to our database, John V. Guttag authored at least 169 papers between 1976 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Magnitude Invariant Parametrizations Improve Hypernetwork Learning.

Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Tyche: Stochastic in-Context Learning for Medical Image Segmentation.

Marianne Rakic, Hallee E. Wong, Jose Javier Gonzalez Ortiz, Beth A. Cimini, John V. Guttag, Adrian V. Dalca

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

2023

ScribblePrompt: Fast and Flexible Interactive Segmentation for Any Medical Image.

Hallee E. Wong, Marianne Rakic, John V. Guttag, Adrian V. Dalca

CoRR, 2023

Generating Image-Specific Text Improves Fine-grained Image Classification.

Emily Mu, Kathleen M. Lewis, Adrian V. Dalca, John V. Guttag

CoRR, 2023

Multi-Similarity Contrastive Learning.

Emily Mu, John V. Guttag, Maggie Makar

CoRR, 2023

Non-Proportional Parametrizations for Stable Hypernetwork Learning.

Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca

CoRR, 2023

Amortized Learning of Dynamic Feature Scaling for Image Segmentation.

Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca

CoRR, 2023

Scale-Space Hypernetworks for Efficient Biomedical Image Analysis.

Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Coarse race data conceals disparities in clinical risk score performance.

Rajiv Movva, Divya Shanmugam, Kaihua Hou, Priya Pathak, John V. Guttag, Nikhil Garg, Emma Pierson

Proceedings of the Machine Learning for Healthcare Conference, 2023

Sequential Multi-Dimensional Self-Supervised Learning for Clinical Time Series.

Aniruddh Raghu, Payal Chandak, Ridwan Alam, John V. Guttag, Collin M. Stultz

Proceedings of the International Conference on Machine Learning, 2023

UniverSeg: Universal Medical Image Segmentation.

Victor Ion Butoi, Jose Javier Gonzalez Ortiz, Tianyu Ma, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

Saliency Cards: A Framework to Characterize and Compare Saliency Methods.

Angie W. Boggust, Harini Suresh, Hendrik Strobelt, John V. Guttag, Arvind Satyanarayan

Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

Contrastive Learning of Electrodermal Activity Representations for Stress Detection.

Katie Matton, Robert Lewis, John V. Guttag, Rosalind W. Picard

Proceedings of the Conference on Health, Inference, and Learning, 2023

Kaleidoscope: Semantically-grounded, context-specific ML model evaluation.

Harini Suresh, Divya Shanmugam, Tiffany Chen, Annie G. Bryan, Alexander D'Amour, John V. Guttag, Arvind Satyanarayan

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, 2023

2022

SizeGAN: Improving Size Representation in Clothing Catalogs.

Kathleen M. Lewis, John V. Guttag

CoRR, 2022

At the Intersection of Deep Learning and Conceptual Art: The End of Signature.

Divya Shanmugam, Katie Lewis, Jose Javier Gonzalez Ortiz, Agnieszka Kurant, John V. Guttag

CoRR, 2022

Improved Text Classification via Test-Time Augmentation.

Helen Lu, Divya Shanmugam, Harini Suresh, John V. Guttag

CoRR, 2022

Beyond Faithfulness: A Framework to Characterize and Compare Saliency Methods.

Angie W. Boggust, Harini Suresh, Hendrik Strobelt, John V. Guttag, Arvind Satyanarayan

CoRR, 2022

Learning the Effect of Registration Hyperparameters with HyperMorph.

Andrew Hoopes, Malte Hoffmann, Douglas N. Greve, Bruce Fischl, John V. Guttag, Adrian V. Dalca

CoRR, 2022

Intuitively Assessing ML Model Reliability through Example-Based Explanations and Editing Model Inputs.

Harini Suresh, Kathleen M. Lewis, John V. Guttag, Arvind Satyanarayan

Proceedings of the IUI 2022: 27th International Conference on Intelligent User Interfaces, Helsinki, Finland, March 22, 2022

Data Augmentation for Electrocardiograms.

Aniruddh Raghu, Divya Shanmugam, Eugene Pomerantsev, John V. Guttag, Collin M. Stultz

Proceedings of the Conference on Health, Inference, and Learning, 2022

2021

Do as AI say: susceptibility in deployment of clinical decision-aids.

Susanne Gaube, Harini Suresh, Martina Raue, Alexander Merritt, Seth J. Berkowitz, Eva Lermer, Joseph F. Coughlin, John V. Guttag, Errol Colak, Marzyeh Ghassemi

npj Digit. Medicine, 2021

HyperMorph: Amortized Hyperparameter Learning for Image Registration.

Andrew Hoopes, Malte Hoffmann, Bruce Fischl, John V. Guttag, Adrian V. Dalca

Proceedings of the Information Processing in Medical Imaging, 2021

Exploiting structured data for learning contagious diseases under incomplete testing.

Maggie Makar, Lauren West, David Hooper, Eric Horvitz, Erica Shenoy, John V. Guttag

Proceedings of the 38th International Conference on Machine Learning, 2021

Multiplying Matrices Without Multiplying.

Davis W. Blalock, John V. Guttag

Proceedings of the 38th International Conference on Machine Learning, 2021

Better Aggregation in Test-Time Augmentation.

Divya Shanmugam, Davis W. Blalock, Guha Balakrishnan, John V. Guttag

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

A Framework for Understanding Sources of Harm throughout the Machine Learning Life Cycle.

Harini Suresh, John V. Guttag

Proceedings of the EAAMO 2021: ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization, Virtual Event, USA, October 5, 2021

Learning to predict with supporting evidence: applications to clinical risk prediction.

Aniruddh Raghu, John V. Guttag, Katherine Young, Eugene Pomerantsev, Adrian V. Dalca, Collin M. Stultz

Proceedings of the ACM CHIL '21: ACM Conference on Health, 2021

2020

When and Why Test-Time Augmentation Works.

Divya Shanmugam, Davis W. Blalock, Guha Balakrishnan, John V. Guttag

CoRR, 2020

Unsupervised Domain Adaptation in the Absence of Source Data.

Roshni Sahoo, Divya Shanmugam, John V. Guttag

CoRR, 2020

Anatomical Predictions using Subject-Specific Medical Data.

Marianne Rakic, John V. Guttag, Adrian V. Dalca

CoRR, 2020

What is the State of Neural Network Pruning?

Davis W. Blalock, Jose Javier Gonzalez Ortiz, Jonathan Frankle, John V. Guttag

Proceedings of the Third Conference on Machine Learning and Systems, 2020

Estimation of Bounds on Potential Outcomes For Decision Making.

Maggie Makar, Fredrik D. Johansson, John V. Guttag, David A. Sontag

Proceedings of the 37th International Conference on Machine Learning, 2020

Painting Many Pasts: Synthesizing Time Lapse Videos of Paintings.

Amy Zhao, Guha Balakrishnan, Kathleen M. Lewis, Frédo Durand, John V. Guttag, Adrian V. Dalca

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

Fast learning-based registration of sparse 3D clinical images.

Kathleen M. Lewis, Natalia S. Rost, John V. Guttag, Adrian V. Dalca

Proceedings of the ACM CHIL '20: ACM Conference on Health, 2020

2019

VoxelMorph: A Learning Framework for Deformable Medical Image Registration.

Guha Balakrishnan, Amy Zhao, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca

IEEE Trans. Medical Imaging, 2019

Unsupervised learning of probabilistic diffeomorphic registration for images and surfaces.

Adrian V. Dalca, Guha Balakrishnan, John V. Guttag, Mert R. Sabuncu

Medical Image Anal., 2019

Image segmentation of liver stage malaria infection with spatial uncertainty sampling.

Ava P. Soleimany, Harini Suresh, Jose Javier Gonzalez Ortiz, Divya Shanmugam, Nil Gural, John V. Guttag, Sangeeta N. Bhatia

CoRR, 2019

Estimation of Utility-Maximizing Bounds on Potential Outcomes.

Maggie Makar, Fredrik D. Johansson, John V. Guttag, David A. Sontag

CoRR, 2019

Unsupervised Data Imputation via Variational Inference of Deep Subspaces.

Adrian V. Dalca, John V. Guttag, Mert R. Sabuncu

CoRR, 2019

Data augmentation using learned transforms for one-shot medical image segmentation.

Amy Zhao, Guha Balakrishnan, Frédo Durand, John V. Guttag, Adrian V. Dalca

CoRR, 2019

A Framework for Understanding Unintended Consequences of Machine Learning.

Harini Suresh, John V. Guttag

CoRR, 2019

Learning Conditional Deformable Templates with Convolutional Networks.

Adrian V. Dalca, Marianne Rakic, John V. Guttag, Mert R. Sabuncu

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Multiple Instance Learning for ECG Risk Stratification.

Divya Shanmugam, Davis W. Blalock, John V. Guttag

Proceedings of the Machine Learning for Healthcare Conference, 2019

Learning from Few Subjects with Large Amounts of Voice Monitoring Data.

Jose Javier Gonzalez Ortiz, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag, Marzyeh Ghassemi

Proceedings of the Machine Learning for Healthcare Conference, 2019

Visual Deprojection: Probabilistic Recovery of Collapsed Dimensions.

Guha Balakrishnan, Adrian V. Dalca, Amy Zhao, John V. Guttag, Frédo Durand, William T. Freeman

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

Data Augmentation Using Learned Transformations for One-Shot Medical Image Segmentation.

Amy Zhao, Guha Balakrishnan, Frédo Durand, John V. Guttag, Adrian V. Dalca

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018

Sprintz: Time Series Compression for the Internet of Things.

Davis W. Blalock, Samuel Madden, John V. Guttag

Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

Fast Learning-based Registration of Sparse Clinical Images.

Kathleen M. Lewis, Guha Balakrishnan, Natalia S. Rost, John V. Guttag, Adrian V. Dalca

CoRR, 2018

Multiple Instance Learning for ECG Risk Stratification.

Divya Shanmugam, Davis W. Blalock, Jen J. Gong, John V. Guttag

CoRR, 2018

Visualizing Patient Timelines in the Intensive Care Unit.

Dina Levy-Lambert, Jen J. Gong, Tristan Naumann, Tom J. Pollard, John V. Guttag

CoRR, 2018

Learning to Summarize Electronic Health Records Using Cross-Modality Correspondences.

Jen J. Gong, John V. Guttag

Proceedings of the Machine Learning for Healthcare Conference, 2018

Unsupervised Learning for Fast Probabilistic Diffeomorphic Registration.

Adrian V. Dalca, Guha Balakrishnan, John V. Guttag, Mert R. Sabuncu

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2018, 2018

Learning Tasks for Multitask Learning: Heterogenous Patient Populations in the ICU.

Harini Suresh, Jen J. Gong, John V. Guttag

Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, 2018

Anatomical Priors in Convolutional Networks for Unsupervised Biomedical Segmentation.

Adrian V. Dalca, John V. Guttag, Mert R. Sabuncu

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

An Unsupervised Learning Model for Deformable Medical Image Registration.

Guha Balakrishnan, Amy Zhao, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

Synthesizing Images of Humans in Unseen Poses.

Guha Balakrishnan, Amy Zhao, Adrian V. Dalca, Frédo Durand, John V. Guttag

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition, 2018

Learning the Probability of Activation in the Presence of Latent Spreaders.

Maggie Makar, John V. Guttag, Jenna Wiens

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Eulerian video magnification and analysis.

Neal Wadhwa, Hao-Yu Wu, Abe Davis, Michael Rubinstein, Eugene Shih, Gautham J. Mysore, Justin G. Chen, Oral Büyüköztürk, John V. Guttag, William T. Freeman, Frédo Durand

Commun. ACM, 2017

A Video-Based Method for Automatically Rating Ataxia.

Ronnachai Jaroensri, Amy Zhao, Guha Balakrishnan, Derek Lo, Jeremy D. Schmahmann, Frédo Durand, John V. Guttag

Proceedings of the Machine Learning for Health Care Conference, 2017

Predicting Clinical Outcomes Across Changing Electronic Health Record Systems.

Jen J. Gong, Tristan Naumann, Peter Szolovits, John V. Guttag

Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017

Bolt: Accelerated Data Mining with Fast Vector Compression.

Davis W. Blalock, John V. Guttag

Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017

2016

Using machine learning to draw inferences from pass location data in soccer.

Joel Brooks, Matthew Kerr, John V. Guttag

Stat. Anal. Data Min., 2016

Patient Risk Stratification with Time-Varying Parameters: A Multitask Learning Approach.

Jenna Wiens, John V. Guttag, Eric Horvitz

J. Mach. Learn. Res., 2016

A Video-Based Method for Objectively Rating Ataxia.

Ronnachai Jaroensri, Amy Zhao, Guha Balakrishnan, Derek Lo, Jeremy D. Schmahmann, John V. Guttag, Frédo Durand

CoRR, 2016

Transferring Knowledge from Text to Predict Disease Onset.

Yun Liu, Collin M. Stultz, John V. Guttag, Kun-Ta Chuang, Fu-Wen Liang, Huey-Jen Su

Proceedings of the 1st Machine Learning in Health Care, 2016

Uncovering Voice Misuse Using Symbolic Mismatch.

Marzyeh Ghassemi, Zeeshan Syed, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag

Proceedings of the 1st Machine Learning in Health Care, 2016

Developing a Data-Driven Player Ranking in Soccer Using Predictive Model Weights.

Joel Brooks, Matthew Kerr, John V. Guttag

Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2016

Towards an Automated Screening Tool for Developmental Speech and Language Impairments.

Jen J. Gong, Maryann Gong, Dina Levy-Lambert, Jordan R. Green, Tiffany P. Hogan, John V. Guttag

Proceedings of the 17th Annual Conference of the International Speech Communication Association, 2016

EXTRACT: Strong Examples from Weakly-Labeled Sensor Data.

Davis W. Blalock, John V. Guttag

Proceedings of the IEEE 16th International Conference on Data Mining, 2016

2015

Video diff: highlighting differences between similar actions in videos.

Guha Balakrishnan, Frédo Durand, John V. Guttag

ACM Trans. Graph., 2015

Corrections to "Learning to Detect Vocal Hyperfunction From Ambulatory Neck-Surface Acceleration Features: Initial Results For Vocal Fold Nodules".

Marzyeh Ghassemi, Jarrad H. Van Stan, Daryush D. Mehta, Matías Zanartu, Harold A. Cheyne II, Robert E. Hillman, John V. Guttag

IEEE Trans. Biomed. Eng., 2015

Incorporating temporal EHR data in predictive models for risk stratification of renal function deterioration.

Anima Singh, Girish N. Nadkarni, Omri Gottesman, Stephen B. Ellis, Erwin P. Bottinger, John V. Guttag

J. Biomed. Informatics, 2015

Instance Weighting for Patient-Specific Risk Stratification Models.

Jen J. Gong, Thoralf M. Sundt, James D. Rawn, John V. Guttag

Proceedings of the 21th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2015

Estimating a Small Signal in the Presence of Large Noise.

Amy Zhao, Frédo Durand, John V. Guttag

Proceedings of the 2015 IEEE International Conference on Computer Vision Workshop, 2015

2014

Learning to Detect Vocal Hyperfunction From Ambulatory Neck-Surface Acceleration Features: Initial Results for Vocal Fold Nodules.

Marzyeh Ghassemi, Jarrad H. Van Stan, Daryush D. Mehta, Matías Zanartu, Harold A. Cheyne II, Robert E. Hillman, John V. Guttag

IEEE Trans. Biomed. Eng., 2014

A study in transfer learning: leveraging data from multiple hospitals to enhance hospital-specific predictions.

Jenna Wiens, John V. Guttag, Eric Horvitz

J. Am. Medical Informatics Assoc., 2014

Leveraging hierarchy in medical codes for predictive modeling.

Anima Singh, Girish N. Nadkarni, John V. Guttag, Erwin P. Bottinger

Proceedings of the 5th ACM Conference on Bioinformatics, 2014

2013

A data-driven method for in-game decision making in MLB: when to pull a starting pitcher.

Gartheeban Ganeshapillai, John V. Guttag

Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013

Learning Connections in Financial Time Series.

Gartheeban Ganeshapillai, John V. Guttag, Andrew Lo

Proceedings of the 30th International Conference on Machine Learning, 2013

Detecting Pulse from Head Motions in Video.

Guha Balakrishnan, Frédo Durand, John V. Guttag

Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013

Collaborative Filtering for Identifying Prescription Omissions in an ICU.

Anima Singh, John V. Guttag

Proceedings of the HEALTHINF 2013, 2013

2012

Eulerian video magnification for revealing subtle changes in the world.

Hao-Yu Wu, Michael Rubinstein, Eugene Shih, John V. Guttag, Frédo Durand, William T. Freeman

ACM Trans. Graph., 2012

Real Time Reconstruction of Multi Parameter Physiological Signals.

Gartheeban Ganeshapillai, John V. Guttag

EURASIP J. Adv. Signal Process., 2012

Patient Risk Stratification for Hospital-Associated C. diff as a Time-Series Classification Task.

Jenna Wiens, John V. Guttag, Eric Horvitz

Proceedings of the Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012. Proceedings of a meeting held December 3-6, 2012

2011

Unsupervised Similarity-Based Risk Stratification for Cardiovascular Events Using Long-Term Time-Series Data.

Zeeshan Syed, John V. Guttag

J. Mach. Learn. Res., 2011

Patient-specific ventricular beat classification without patient-specific expert knowledge: A transfer learning approach.

Jenna Wiens, John V. Guttag

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

A comparison of non-symmetric entropy-based classification trees and support vector machine for cardiovascular risk stratification.

Anima Singh, John V. Guttag

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

An algorithm for detecting seizure termination in scalp EEG.

Ali H. Shoeb, Alaa Kharbouch, Jacqueline Soegaard, Steven Schachter, John V. Guttag

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Reconstruction of ECG signals in presence of corruption.

Gartheeban Ganeshapillai, Jessica F. Liu, John V. Guttag

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Weighted Time Warping for Temporal Segmentation of Multi-parameter Physiological Signals.

Gartheeban Ganeshapillai, John V. Guttag

Proceedings of the BIOSIGNALS 2011, 2011

2010

Motif discovery in physiological datasets: A methodology for inferring predictive elements.

Zeeshan Syed, Collin M. Stultz, Manolis Kellis, Piotr Indyk, John V. Guttag

ACM Trans. Knowl. Discov. Data, 2010

A Micro-Power EEG Acquisition SoC With Integrated Feature Extraction Processor for a Chronic Seizure Detection System.

Naveen Verma, Ali H. Shoeb, Jose L. Bohorquez, Joel L. Dawson, John V. Guttag, Anantha P. Chandrakasan

IEEE J. Solid State Circuits, 2010

Active Learning Applied to Patient-Adaptive Heartbeat Classification.

Jenna Wiens, John V. Guttag

Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010

Identifying Patients at Risk of Major Adverse Cardiovascular Events Using Symbolic Mismatch.

Zeeshan Syed, John V. Guttag

Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010

Application of Machine Learning To Epileptic Seizure Detection.

Ali H. Shoeb, John V. Guttag

Proceedings of the 27th International Conference on Machine Learning (ICML-10), 2010

2009

Learning Approximate Sequential Patterns for Classification.

Zeeshan Syed, Piotr Indyk, John V. Guttag

J. Mach. Learn. Res., 2009

Using ambient intelligence for physiological monitoring.

Dorothy Curtis, Jacob Bailey, Esteban J. Pino, Thomas O. Stair, Staal Amund Vinterbo, Jason Waterman, Eugene Shih, John V. Guttag, Robert A. Greenes, Lucila Ohno-Machado

J. Ambient Intell. Smart Environ., 2009

Non-Invasive Computerized System for Automatically Initiating Vagus Nerve Stimulation Following Patient-Specific Detection of Seizures or epileptiform discharges.

Ali H. Shoeb, Trudy Pang, John V. Guttag, Steven Schachter

Int. J. Neural Syst., 2009

Cutting the electric bill for internet-scale systems.

Asfandyar Qureshi, Rick Weber, Hari Balakrishnan, John V. Guttag, Bruce M. Maggs

Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

Sensor selection for energy-efficient ambulatory medical monitoring.

Eugene Shih, Ali H. Shoeb, John V. Guttag

Proceedings of the 7th International Conference on Mobile Systems, 2009

Quantifying morphology changes in time series data with skew.

Phil Sung, Zeeshan Syed, John V. Guttag

Proceedings of the IEEE International Conference on Acoustics, 2009

2008

Application of Information Technology: SMART - An Integrated Wireless System for Monitoring Unattended Patients.

Dorothy Curtis, Esteban J. Pino, Jacob Bailey, Eugene Shih, Jason Waterman, Staal Amund Vinterbo, Thomas O. Stair, John V. Guttag, Robert A. Greenes, Lucila Ohno-Machado

J. Am. Medical Informatics Assoc., 2008

Physiological signal monitoring in the waiting areas of an emergency room.

Dorothy Curtis, Eugene Shih, Jason Waterman, John V. Guttag, Jacob Bailey, Thomas O. Stair, Robert A. Greenes, Lucila Ohno-Machado

Proceedings of the 3rd International ICST Conference on Body Area Networks, 2008

2007

A Framework for the Analysis of Acoustical Cardiac Signals.

Zeeshan Syed, Daniel Leeds, Daniel Curtis, Francesca Nesta, Robert A. Levine, John V. Guttag

IEEE Trans. Biomed. Eng., 2007

Clustering and Symbolic Analysis of Cardiovascular Signals: Discovery and Visualization of Medically Relevant Patterns in Long-Term Data Using Limited Prior Knowledge.

Zeeshan Syed, John V. Guttag, Collin M. Stultz

EURASIP J. Adv. Signal Process., 2007

Prototypical Biological Signals.

Zeeshan Syed, John V. Guttag

Proceedings of the IEEE International Conference on Acoustics, 2007

2006

Tavarua: video streaming with WWAN striping.

Asfandyar Qureshi, Jennifer N. Carlisle, John V. Guttag

Proceedings of the 14th ACM International Conference on Multimedia, 2006

Software Enhanced Learning of Cardiac Auscultation.

Zeeshan Syed, Dorothy Curtis, John V. Guttag, Francesca Nesta, Robert A. Levine

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

Reducing the Number of Channels for an Ambulatory Patient-Specific EEG-based Epileptic Seizure Detector by Applying Recursive Feature Elimination.

Elena L. Glassman, John V. Guttag

Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders.

Zeeshan Syed, Daniel Leeds, Dorothy Curtis, John V. Guttag

Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006

2005

Horde: separating network striping policy from mechanism.

Asfandyar Qureshi, John V. Guttag

Proceedings of the 3rd International Conference on Mobile Systems, 2005

The 802.11 MAC protocol leads to inefficient equilibria.

Godfrey Tan, John V. Guttag

Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

Demonstration of SMART (Scalable Medical Alert Response Technology).

Jason Waterman, Dorothy Curtis, Michel Goraczko, Eugene Shih, Pankaj Sarin, Esteban J. Pino, Lucila Ohno-Machado, Robert A. Greenes, John V. Guttag, Thomas O. Stair

Proceedings of the AMIA 2005, 2005

2004

Time-based Fairness Improves Performance in Multi-Rate WLANs.

Godfrey Tan, John V. Guttag

Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Long-term time-share guarantees are necessary for wireless LANs.

Godfrey Tan, John V. Guttag

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Continuous medical monitoring using wireless microsensors.

Eugene Shih, Vladimir Bychkovsky, Dorothy Curtis, John V. Guttag

Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

2003

Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns.

Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek

Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

2002

A Locally Coordinated Scatternet Scheduling Algorithm.

Godfrey Tan, John V. Guttag

Proceedings of the 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 2002

Abstract Data Types and the Development of Data Structures (Reprint).

John V. Guttag

Proceedings of the Software Pioneers., 2002

Abstract Data Types, Then and Now.

John V. Guttag

Proceedings of the Software Pioneers., 2002

2001

Program Development in Java - Abstraction, Specification, and Object-Oriented Design.

Barbara Liskov, John V. Guttag

Addison-Wesley, ISBN: 978-0-201-65768-5, 2001

1999

Virtual radios.

Vanu G. Bose, Michael Ismert, Matt Welborn, John V. Guttag

IEEE J. Sel. Areas Commun., 1999

ANTS: Network Services Without the Red Tape.

David Wetherall, John V. Guttag, David L. Tennenhouse

Computer, 1999

Next Century Challenges: RadioActive Networks.

Vanu G. Bose, David Wetherall, John V. Guttag

Proceedings of the MOBICOM '99, 1999

1998

Introducing new Internet services: why and how.

David Wetherall, D. Legedza, John V. Guttag

IEEE Netw., 1998

Using Network-Level Support to Improve Cache Routing.

Ulana Legedza, John V. Guttag

Comput. Networks, 1998

Improving the Performance of Distributed Applications Using Active Networks.

Ulana Legedza, David Wetherall, John V. Guttag

Proceedings of the Proceedings IEEE INFOCOM '98, The Conference on Computer Communications, Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies, Gateway to the 21st Century, San Francisco, CA, USA, March 29, 1998

1995

Modular Reasoning in the Presence of Subclassing.

Raymie Stata, John V. Guttag

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1994

Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity.

Mark T. Vandevoorde, John V. Guttag

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

LCLint: A Tool for Using Specifications to Check Code.

David E. Evans, John V. Guttag, James J. Horning, Yang Meng Tan

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

Memory Assignment for Multiprocessor Caches through Grey Coloring.

Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis, Marios C. Papaefthymiou

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993

Larch: Languages and Tools for Formal Specification

John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

Using Transformations and Verification in Circuit Design.

James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland

Formal Methods Syst. Des., 1993

Goldilocks and the Three Specifications.

John V. Guttag

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

An Overview of Larch.

Stephen J. Garland, John V. Guttag, James J. Horning

Proceedings of the Functional Programming, 1993

Computer-Assisted Simulation Proofs.

Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Mechanized Verification of Circuit Descriptions Using the Larch Prover.

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag

Proceedings of the Theorem Provers in Circuit Design, 1992

Using Transformations and Verification in Ciruit Design.

James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning

Proceedings of the Designing Correct Circuits, 1992

1991

A Tutorial on LARCH and LCL, A LARCH/C Interface Language.

John V. Guttag, James J. Horning

Proceedings of the VDM '91, 1991

The Larch Approach to Specification (Abstract).

John V. Guttag

Proceedings of the VDM '91, 1991

1990

Debugging Larch Shared Language Specifications.

Stephen J. Garland, John V. Guttag, James J. Horning

IEEE Trans. Software Eng., 1990

Using LP to Debug Specifications.

Stephen J. Garland, John V. Guttag

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

1989

An Overview of LP, The Larch Power.

Stephen J. Garland, John V. Guttag

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

Localized Verification of Circuit Descriptions.

Jørgen Staunstrup, Stephen J. Garland, John V. Guttag

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Inductive Methods for Reasoning about Abstract Data Types.

Stephen J. Garland, John V. Guttag

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

LP: The Larch Prover.

Stephen J. Garland, John V. Guttag

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Synchronization Primitives for a Multiprocessor: A Formal Specification.

Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin

Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

1986

Abstracts in software engineering.

John V. Guttag, James J. Horning, Jeannette M. Wing

ACM SIGSOFT Softw. Eng. Notes, 1986

A Larch Shared Language Handbook.

John V. Guttag, James J. Horning

Sci. Comput. Program., 1986

Report on the Larch Shared Language.

John V. Guttag, James J. Horning

Sci. Comput. Program., 1986

1985

The Larch Family of Specification Languages.

John V. Guttag, James J. Horning, Jeannette M. Wing

IEEE Softw., 1985

1983

On Proving Uniform Termination and Restricted Termination of Rewriting Systems.

John V. Guttag, Deepak Kapur, David R. Musser

SIAM J. Comput., 1983

An Introduction to the Larch Shared Language.

John V. Guttag, James J. Horning

Proceedings of the Information Processing 83, 1983

1982

Some Notes on Putting Formal Specifications to Productive Use.

John V. Guttag, James J. Horning, Jeannette M. Wing

Sci. Comput. Program., 1982

Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems.

John V. Guttag, Deepak Kapur, David R. Musser

Proceedings of the Automata, 1982

1981

FP with data abstraction and strong typing.

John V. Guttag, James J. Horning, John Williams

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

A few Remarks on Putting Formal Specifications to Productive Use.

John V. Guttag

Proceedings of the Program Specification, 1981

1980

Notes on Type Abstraction (Version 2).

John V. Guttag

IEEE Trans. Software Eng., 1980

Formal Specification as a Design Tool.

John V. Guttag, James J. Horning

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1978

Abstract Data Types and Software Validation.

John V. Guttag, Ellis Horowitz, David R. Musser

Commun. ACM, 1978

Proof Rules for the Programming Language Euclid.

Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek

Acta Informatica, 1978

The Algebraic Specification of Abstract Data Types.

John V. Guttag, James J. Horning

Acta Informatica, 1978

Notes on Type Abstraction.

John V. Guttag

Proceedings of the Program Construction, International Summer School, July 26, 1978

1977

Abstract Data Type and the Development of Data Structures.

John V. Guttag

Commun. ACM, 1977

Some Extensions to Algebraic Specifications.

John V. Guttag, Ellis Horowitz, David R. Musser

Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

A Proof Rule for Euclid Procedures.

John V. Guttag, James J. Horning, Ralph L. London

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

1976

Abstract Data Types and the Development of Data Structures.

John V. Guttag

Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

The Design of Data Type Specifications.

John V. Guttag, Ellis Horowitz, David R. Musser

Proceedings of the 2nd International Conference on Software Engineering, 1976