Follow
John Guttag
John Guttag
Unknown affiliation
Verified email at mit.edu
Title
Cited by
Cited by
Year
Voxelmorph: a learning framework for deformable medical image registration
G Balakrishnan, A Zhao, MR Sabuncu, J Guttag, AV Dalca
IEEE transactions on medical imaging 38 (8), 1788-1800, 2019
20702019
Eulerian video magnification for revealing subtle changes in the world
HY Wu, M Rubinstein, E Shih, J Guttag, F Durand, W Freeman
ACM transactions on graphics (TOG) 31 (4), 1-8, 2012
19382012
What is the state of neural network pruning?
D Blalock, JJ Gonzalez Ortiz, J Frankle, J Guttag
Proceedings of machine learning and systems 2, 129-146, 2020
13612020
Larch: languages and tools for formal specification
JV Guttag, JJ Horning
Springer Science & Business Media, 2012
12042012
Cutting the electric bill for internet-scale systems
A Qureshi, R Weber, H Balakrishnan, J Guttag, B Maggs
Proceedings of the ACM SIGCOMM 2009 conference on Data communication, 123-134, 2009
11252009
ANTS: A toolkit for building and dynamically deploying network protocols
DJ Wetherall, JV Guttag, DL Tennenhouse
1998 IEEE Open Architectures and Network Programming, 117-129, 1998
10401998
Abstraction and specification in program development
B Liskov, J Guttag
MIT press, 1986
10281986
An unsupervised learning model for deformable medical image registration
G Balakrishnan, A Zhao, MR Sabuncu, J Guttag, AV Dalca
Proceedings of the IEEE conference on computer vision and pattern …, 2018
8562018
Detecting pulse from head motions in video
G Balakrishnan, F Durand, J Guttag
Proceedings of the IEEE conference on computer vision and pattern …, 2013
8492013
The algebraic specification of abstract data types
JV Guttag, JJ Horning
Acta informatica 10 (1), 27-52, 1978
8281978
Application of machine learning in epileptic seizure detection
LV Tran, HM Tran, TM Le, TTM Huynh, HT Tran, SVT Dao
Diagnostics 12 (11), 2879, 2022
8272022
Unsupervised learning of probabilistic diffeomorphic registration for images and surfaces
AV Dalca, G Balakrishnan, J Guttag, MR Sabuncu
Medical image analysis 57, 226-236, 2019
8072019
Abstract data types and the development of data structures
J Guttag
Communications of the ACM 20 (6), 396-404, 1977
7451977
A micro-power EEG acquisition SoC with integrated feature extraction processor for a chronic seizure detection system
N Verma, A Shoeb, J Bohorquez, J Dawson, J Guttag, AP Chandrakasan
IEEE journal of solid-state circuits 45 (4), 804-816, 2010
6522010
A framework for understanding sources of harm throughout the machine learning life cycle
H Suresh, J Guttag
Proceedings of the 1st ACM Conference on Equity and Access in Algorithms …, 2021
6322021
Abstract data types and software validation
JV Guttag, E Horowitz, DR Musser
Communications of the ACM 21 (12), 1048-1064, 1978
5981978
Data augmentation using learned transformations for one-shot medical image segmentation
A Zhao, G Balakrishnan, F Durand, JV Guttag, AV Dalca
Proceedings of the IEEE/CVF conference on computer vision and pattern …, 2019
5792019
A framework for understanding unintended consequences of machine learning
H Suresh, JV Guttag
arXiv preprint arXiv:1901.10002 2 (8), 73, 2019
5352019
The specification and application to programming of abstract data types.
JV Guttag
4841978
Patient-specific seizure onset detection
A Shoeb, H Edwards, J Connolly, B Bourgeois, ST Treves, J Guttag
Epilepsy & Behavior 5 (4), 483-498, 2004
4592004
The system can't perform the operation now. Try again later.
Articles 1–20