Samuel J. Kaufman

13 papers A* 2A 2B 2Misc 2Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression.
CoRR
Samuel J. Kaufman, René Just, Rastislav Bodík
2024 A conf
Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs.
ISSTA
Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just
2022 A* conf
Prioritizing Mutants to Guide Mutation Testing.
ICSE
Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just
2021 B conf
A Flexible Approach to Autotuning Multi-Pass Machine Learning Compilers.
PACT
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
2021 — conf
A Learned Performance Model for Tensor Processing Units.
MLSys
Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Charith Mendis, Sudip Roy, Amit Sabne, Mike Burrows
2020 J jnl
A Learned Performance Model for the Tensor Processing Unit.
CoRR
Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Mike Burrows
2020 J jnl
Learning inductive invariants by sampling from frequency distributions.
Formal Methods Syst. Des.
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
2019 A* conf
Swizzle Inventor: Data Movement Synthesis for GPU Kernels.
ASPLOS
Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodík
2017 B conf
Sampling invariants from frequency distributions.
FMCAD
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
2010 A conf
Design and evaluation of a computer science and engineering course for middle school girls.
SIGCSE
Gabriela Marcu, Samuel J. Kaufman, Jaihee Kate Lee, Rebecca W. Black, Paul Dourish, Gillian R. Hayes, Debra J. Richardson
2009 J jnl
An Ecosystem for Learning and Using Sensor-Driven IM Status Messages.
IEEE Pervasive Comput.
Donald J. Patterson, Xianghua Ding, Samuel J. Kaufman, Kah Liu, Andrew Zaldivar
2008 Misc conf
Interactive and intelligent visual communication systems.
IDC
Gillian R. Hayes, Donald J. Patterson, Mohamad Monibi, Samuel J. Kaufman
2008 Misc conf
Online everywhere: evolving mobile instant messaging practices.
UbiComp
Donald J. Patterson, Christopher J. O. Baker, Xianghua Ding, Samuel J. Kaufman, Kah Liu, Andrew Zaldivar