| 2025 |
J |
jnl |
CoRR
Samuel J. Kaufman, René Just, Rastislav Bodík
|
| 2024 |
A |
conf |
ISSTA
Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just
|
| 2022 |
A* |
conf |
ICSE
Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just
|
| 2021 |
B |
conf |
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 |
MLSys
Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Charith Mendis, Sudip Roy, Amit Sabne, Mike Burrows
|
| 2020 |
J |
jnl |
CoRR
Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Mike Burrows
|
| 2020 |
J |
jnl |
Formal Methods Syst. Des.
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
|
| 2019 |
A* |
conf |
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 |
FMCAD
Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík
|
| 2010 |
A |
conf |
SIGCSE
Gabriela Marcu, Samuel J. Kaufman, Jaihee Kate Lee, Rebecca W. Black, Paul Dourish, Gillian R. Hayes, Debra J. Richardson
|
| 2009 |
J |
jnl |
IEEE Pervasive Comput.
Donald J. Patterson, Xianghua Ding, Samuel J. Kaufman, Kah Liu, Andrew Zaldivar
|
| 2008 |
Misc |
conf |
IDC
Gillian R. Hayes, Donald J. Patterson, Mohamad Monibi, Samuel J. Kaufman
|
| 2008 |
Misc |
conf |
UbiComp
Donald J. Patterson, Christopher J. O. Baker, Xianghua Ding, Samuel J. Kaufman, Kah Liu, Andrew Zaldivar
|