Samuel J. Kaufman

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 7

Top Topics

Quasi Invariant

Frequency Distribution

Kullback Leibler Divergence

Mutation Testing

Top Venues

Formal Methods Syst. Des.

Publications

Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just
Prioritizing Mutants to Guide Mutation Testing. ICSE (2022)
Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Charith Mendis, Sudip Roy, Amit Sabne, Mike Burrows
A Learned Performance Model for Tensor Processing Units. MLSys (2021)
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
A Flexible Approach to Autotuning Multi-Pass Machine Learning Compilers. PACT (2021)
Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Mike Burrows
A Learned Performance Model for the Tensor Processing Unit. CoRR (2020)
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
Learning inductive invariants by sampling from frequency distributions. Formal Methods Syst. Des. 56 (1) (2020)
Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodík
Swizzle Inventor: Data Movement Synthesis for GPU Kernels. ASPLOS (2019)
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
Sampling invariants from frequency distributions. FMCAD (2017)
Gabriela Marcu, Samuel J. Kaufman, Jaihee Kate Lee, Rebecca W. Black, Paul Dourish, Gillian R. Hayes, Debra J. Richardson
Design and evaluation of a computer science and engineering course for middle school girls. SIGCSE (2010)
Donald J. Patterson, Xianghua Ding, Samuel J. Kaufman, Kah Liu, Andrew Zaldivar
An Ecosystem for Learning and Using Sensor-Driven IM Status Messages. IEEE Pervasive Comput. 8 (4) (2009)
Gillian R. Hayes, Donald J. Patterson, Mohamad Monibi, Samuel J. Kaufman
Interactive and intelligent visual communication systems. IDC (2008)
Donald J. Patterson, Christopher J. O. Baker, Xianghua Ding, Samuel J. Kaufman, Kah Liu, Andrew Zaldivar
Online everywhere: evolving mobile instant messaging practices. UbiComp (2008)