| 2025 | CVPR | MultiMorph: On-demand Atlas Construction. | S. Mazdak Abulnaga, Andrew Hoopes, Neel Dey, Malte Hoffmann, Bruce Fischl, John V. Guttag, Adrian V. Dalca |
| 2025 | CVPR | Test-time Augmentation Improves Efficiency in Conformal Prediction. | Divya Shanmugam, Helen Lu, Swami Sankaranarayanan, John V. Guttag |
| 2025 | ICCV | Multiverseg: Scalable Interactive Segmentation of Biomedical Imaging Datasets with in-Context Guidance. | Hallee E. Wong, Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca |
| 2025 | ICLR | Walk the Talk? Measuring the Faithfulness of Large Language Model Explanations. | Katie Matton, Robert Osazuwa Ness, John V. Guttag, Emre Kiciman |
| 2024 | CVPR | 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 |
| 2024 | ECCV | ScribblePrompt: Fast and Flexible Interactive Segmentation for Any Biomedical Image. | Hallee E. Wong, Marianne Rakic, John V. Guttag, Adrian V. Dalca |
| 2024 | ICLR | Magnitude Invariant Parametrizations Improve Hypernetwork Learning. | Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca |
| 2023 | CHI | Kaleidoscope: Semantically-grounded, context-specific ML model evaluation. | Harini Suresh, Divya Shanmugam, Tiffany L. Chen, Annie G. Bryan, Alexander D'Amour, John V. Guttag, Arvind Satyanarayan |
| 2023 | ICCV | UniverSeg: Universal Medical Image Segmentation. | Victor Ion Butoi, Jose Javier Gonzalez Ortiz, Tianyu Ma, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca |
| 2023 | ICML | Sequential Multi-Dimensional Self-Supervised Learning for Clinical Time Series. | Aniruddh Raghu, Payal Chandak, Ridwan Alam, John V. Guttag, Collin M. Stultz |
| 2022 | IUI | Intuitively Assessing ML Model Reliability through Example-Based Explanations and Editing Model Inputs. | Harini Suresh, Kathleen M. Lewis, John V. Guttag, Arvind Satyanarayan |
| 2021 | ICCV | Better Aggregation in Test-Time Augmentation. | Divya Shanmugam, Davis W. Blalock, Guha Balakrishnan, John V. Guttag |
| 2021 | ICML | Multiplying Matrices Without Multiplying. | Davis W. Blalock, John V. Guttag |
| 2021 | ICML | Exploiting structured data for learning contagious diseases under incomplete testing. | Maggie Makar, Lauren West, David Hooper, Eric Horvitz, Erica Shenoy, John V. Guttag |
| 2020 | CVPR | Painting Many Pasts: Synthesizing Time Lapse Videos of Paintings. | Amy Zhao, Guha Balakrishnan, Kathleen M. Lewis, Frdo Durand, John V. Guttag, Adrian V. Dalca |
| 2020 | ICML | Estimation of Bounds on Potential Outcomes For Decision Making. | Maggie Makar, Fredrik D. Johansson, John V. Guttag, David A. Sontag |
| 2019 | CVPR | Data Augmentation Using Learned Transformations for One-Shot Medical Image Segmentation. | Amy Zhao, Guha Balakrishnan, Frdo Durand, John V. Guttag, Adrian V. Dalca |
| 2019 | ICCV | Visual Deprojection: Probabilistic Recovery of Collapsed Dimensions. | Guha Balakrishnan, Adrian V. Dalca, Amy Zhao, John V. Guttag, Frdo Durand, William T. Freeman |
| 2018 | AAAI | Learning the Probability of Activation in the Presence of Latent Spreaders. | Maggie Makar, John V. Guttag, Jenna Wiens |
| 2018 | CVPR | Synthesizing Images of Humans in Unseen Poses. | Guha Balakrishnan, Amy Zhao, Adrian V. Dalca, Frdo Durand, John V. Guttag |
| 2018 | CVPR | An Unsupervised Learning Model for Deformable Medical Image Registration. | Guha Balakrishnan, Amy Zhao, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca |
| 2018 | CVPR | Anatomical Priors in Convolutional Networks for Unsupervised Biomedical Segmentation. | Adrian V. Dalca, John V. Guttag, Mert R. Sabuncu |
| 2018 | KDD | Learning Tasks for Multitask Learning: Heterogenous Patient Populations in the ICU. | Harini Suresh, Jen J. Gong, John V. Guttag |
| 2018 | MICCAI | Unsupervised Learning for Fast Probabilistic Diffeomorphic Registration. | Adrian V. Dalca, Guha Balakrishnan, John V. Guttag, Mert R. Sabuncu |
| 2017 | KDD | Bolt: Accelerated Data Mining with Fast Vector Compression. | Davis W. Blalock, John V. Guttag |
| 2017 | KDD | Predicting Clinical Outcomes Across Changing Electronic Health Record Systems. | Jen J. Gong, Tristan Naumann, Peter Szolovits, John V. Guttag |
| 2016 | ICDM | EXTRACT: Strong Examples from Weakly-Labeled Sensor Data. | Davis W. Blalock, John V. Guttag |
| 2016 | Interspeech | 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 |
| 2016 | KDD | Developing a Data-Driven Player Ranking in Soccer Using Predictive Model Weights. | Joel Brooks, Matthew Kerr, John V. Guttag |
| 2015 | KDD | Instance Weighting for Patient-Specific Risk Stratification Models. | Jen J. Gong, Thoralf M. Sundt, James D. Rawn, John V. Guttag |
| 2013 | CVPR | Detecting Pulse from Head Motions in Video. | Guha Balakrishnan, Frdo Durand, John V. Guttag |
| 2013 | ICML | Learning Connections in Financial Time Series. | Gartheeban Ganeshapillai, John V. Guttag, Andrew Lo |
| 2013 | KDD | A data-driven method for in-game decision making in MLB: when to pull a starting pitcher. | Gartheeban Ganeshapillai, John V. Guttag |
| 2010 | ICML | Application of Machine Learning To Epileptic Seizure Detection. | Ali H. Shoeb, John V. Guttag |
| 2009 | ICASSP | Quantifying morphology changes in time series data with skew. | Phil Sung, Zeeshan Syed, John V. Guttag |
| 2009 | Mobisys | Sensor selection for energy-efficient ambulatory medical monitoring. | Eugene Shih, Ali H. Shoeb, John V. Guttag |
| 2009 | SIGCOMM | Cutting the electric bill for internet-scale systems. | Asfandyar Qureshi, Rick Weber, Hari Balakrishnan, John V. Guttag, Bruce M. Maggs |
| 2007 | ICASSP | Prototypical Biological Signals. | Zeeshan Syed, John V. Guttag |
| 2006 | CBMS | Audio-Visual Tools for Computer-Assisted Diagnosis of Cardiac Disorders. | Zeeshan Syed, Daniel Leeds, Dorothy Curtis, John V. Guttag |
| 2005 | AMIA | 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 |
| 2005 | INFOCOM | The 802.11 MAC protocol leads to inefficient equilibria. | Godfrey Tan, John V. Guttag |
| 2005 | Mobisys | Horde: separating network striping policy from mechanism. | Asfandyar Qureshi, John V. Guttag |
| 2004 | SENSYS | Continuous medical monitoring using wireless microsensors. | Eugene Shih, Vladimir Bychkovsky, Dorothy Curtis, John V. Guttag |
| 2004 | USENIX | Time-based Fairness Improves Performance in Multi-Rate WLANs. | Godfrey Tan, John V. Guttag |
| 2003 | USENIX | Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns. | Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek |
| 2002 | LCN | A Locally Coordinated Scatternet Scheduling Algorithm. | Godfrey Tan, John V. Guttag |
| 1999 | MOBICOM | Next Century Challenges: RadioActive Networks. | Vanu G. Bose, David Wetherall, John V. Guttag |
| 1998 | INFOCOM | Improving the Performance of Distributed Applications Using Active Networks. | Ulana Legedza, David Wetherall, John V. Guttag |
| 1995 | OOPSLA | Modular Reasoning in the Presence of Subclassing. | Raymie Stata, John V. Guttag |
| 1993 | CAV | Computer-Assisted Simulation Proofs. | Jrgen F. Sgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants |
| 1991 | FM | The Larch Approach to Specification (Abstract). | John V. Guttag |
| 1991 | FM | A Tutorial on LARCH and LCL, A LARCH/C Interface Language. | John V. Guttag, James J. Horning |
| 1988 | CADE | LP: The Larch Prover. | Stephen J. Garland, John V. Guttag |
| 1988 | POPL | Inductive Methods for Reasoning about Abstract Data Types. | Stephen J. Garland, John V. Guttag |
| 1987 | SOSP | Synchronization Primitives for a Multiprocessor: A Formal Specification. | Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin |
| 1982 | ICALP | Derived Pairs, Overlap Closures, and Rewrite Dominoes: New Tools for Analyzing Term rewriting Systems. | John V. Guttag, Deepak Kapur, David R. Musser |
| 1981 | FM | A few Remarks on Putting Formal Specifications to Productive Use. | John V. Guttag |
| 1980 | POPL | Formal Specification as a Design Tool. | John V. Guttag, James J. Horning |
| 1976 | ICSE | The Design of Data Type Specifications. | John V. Guttag, Ellis Horowitz, David R. Musser |