Samuel J. Kaufman

According to our database, Samuel J. Kaufman authored at least 11 papers between 2008 and 2022.

Collaborative distances:

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

2022

Prioritizing Mutants to Guide Mutation Testing.

Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

A Learned Performance Model for Tensor Processing Units.

Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Charith Mendis, Sudip Roy, Amit Sabne, Mike Burrows

Proceedings of Machine Learning and Systems 2021, 2021

A Flexible Approach to Autotuning Multi-Pass Machine Learning Compilers.

Phitchaya Mangpo Phothilimthana, Amit Sabne, Nikhil Sarda, Karthik Srinivasa Murthy, Yanqi Zhou, Christof Angermueller, Mike Burrows, Sudip Roy, Ketan Mandke, Rezsa Farahani, Yu Emma Wang, Berkin Ilbeyi, Blake A. Hechtman, Bjarke Roune, Shen Wang, Yuanzhong Xu, Samuel J. Kaufman

Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques, 2021

2020

Learning inductive invariants by sampling from frequency distributions.

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík

Formal Methods Syst. Des., 2020

A Learned Performance Model for the Tensor Processing Unit.

Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Mike Burrows

CoRR, 2020

2019

Swizzle Inventor: Data Movement Synthesis for GPU Kernels.

Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodík

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2017

Sampling invariants from frequency distributions.

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2010

Design and evaluation of a computer science and engineering course for middle school girls.

Gabriela Marcu, Samuel J. Kaufman, Jaihee Kate Lee, Rebecca W. Black, Paul Dourish, Gillian R. Hayes, Debra J. Richardson

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009

An Ecosystem for Learning and Using Sensor-Driven IM Status Messages.

Donald J. Patterson, Xianghua Ding, Samuel J. Kaufman, Kah Liu, Andrew Zaldivar

IEEE Pervasive Comput., 2009

2008

Online everywhere: evolving mobile instant messaging practices.

Donald J. Patterson, Christopher J. O. Baker, Xianghua Ding, Samuel J. Kaufman, Kah Liu, Andrew Zaldivar

Proceedings of the UbiComp 2008: Ubiquitous Computing, 10th International Conference, 2008

Interactive and intelligent visual communication systems.

Gillian R. Hayes, Donald J. Patterson, Mohamad Monibi, Samuel J. Kaufman

Proceedings of the 7th International Conference on Interaction Design and Children, 2008