Follow
Samuel J. Kaufman
Samuel J. Kaufman
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
Design and evaluation of a computer science and engineering course for middle school girls
G Marcu, SJ Kaufman, JK Lee, RW Black, P Dourish, GR Hayes, ...
Proceedings of the 41st ACM technical symposium on Computer science …, 2010
492010
Sampling invariants from frequency distributions
G Fedyukovich, SJ Kaufman, R Bodík
2017 Formal Methods in Computer Aided Design (FMCAD), 100-107, 2017
342017
Online everywhere: evolving mobile instant messaging practices
DJ Patterson, C Baker, X Ding, SJ Kaufman, K Liu, A Zaldivar
Proceedings of the 10th international conference on Ubiquitous computing, 64-73, 2008
322008
Swizzle inventor: data movement synthesis for GPU kernels
PM Phothilimthana, AS Elliott, A Wang, A Jangda, B Hagedorn, H Barthels, ...
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
242019
A learned performance model for tensor processing units
S Kaufman, P Phothilimthana, Y Zhou, C Mendis, S Roy, A Sabne, ...
Proceedings of Machine Learning and Systems 3, 387-400, 2021
222021
An ecosystem for learning and using sensor-driven im status messages
DJ Patterson, X Ding, SJ Kaufman, K Liu, A Zaldivar
IEEE Pervasive Computing 8 (4), 42-49, 2009
212009
Learned TPU cost model for XLA tensor programs
S Kaufman, PM Phothilimthana, M Burrows
Proc. Workshop ML Syst. NeurIPS, 1-6, 2019
9*2019
Rebound effects in sustainable HCI
SJ Kaufman, MS Silberman
82011
Where we Twitter
SJ Kaufman, J Chen
52010
Interactive and intelligent visual communication systems
GR Hayes, DJ Patterson, M Monibi, SJ Kaufman
Proceedings of the 7th international conference on Interaction design and …, 2008
52008
A Flexible Approach to Autotuning Multi-Pass Machine Learning Compilers
PM Phothilimthana, A Sabne, N Sarda, KS Murthy, Y Zhou, ...
2021 30th International Conference on Parallel Architectures and Compilation …, 2021
32021
A learned performance model for tensor processing units
A Sabne, C Mendis, M Phothilimthana, M Burrows, SJ Kaufman, S Roy, ...
12021
Prioritizing Mutants to Guide Mutation Testing
SJ Kaufman, R Featherman, J Alvin, B Kurtz, P Ammann, R Just
International Conference on Software Engineering, 2022
2022
A Flexible Approach to Autotuning Multi-Pass Machine Learning Compilers
A Sabne, B Ilbeyi, B Roune, B Hechtman, C Angermueller, E Wang, ...
2021
Learning inductive invariants by sampling from frequency distributions
G Fedyukovich, SJ Kaufman, R Bodík
Formal Methods in System Design 56 (1), 154-177, 2020
2020
A Learned Performance Model for the Tensor Processing Unit
M Phothilimthana, M Burrows, S Kaufman, Y Zhou
2020
Notes toward an experimental political ecology/nomy
MS Silberman, S Kaufman, W Tomlinson
2009
2021 30th International Conference on Parallel Architectures and Compilation Techniques (PACT)| 978-1-6654-4278-7/21/$31.00© 2021 IEEE| DOI: 10.1109/PACT52795. 2021.00033
B Akin, C Angermueller, D Baek, W Baek, CR Banbury, Y Bao, A Basu, ...
Design of Interactive Visual Schedules Systems
SJ Kaufman, DJ Patterson, GR Hayes
The system can't perform the operation now. Try again later.
Articles 1–19