Samuel J. Kaufman
发表
Rastislav Bodík,
Grigory Fedyukovich,
Samuel J. Kaufman,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
An Wang,
Emina Torlak,
Rastislav Bodík,
2019,
ASPLOS.
Xianghua Ding,
Donald J. Patterson,
Christopher J. O. Baker,
2008,
UbiComp.
Donald J. Patterson,
Gillian R. Hayes,
Mohamad Monibi,
2008,
IDC.
Paul Dourish,
Debra J. Richardson,
Rebecca W. Black,
2010,
SIGCSE.
Yanqi Zhou,
Samuel J. Kaufman,
Phitchaya Mangpo Phothilimthana,
2020,
ArXiv.
Xianghua Ding,
Donald J. Patterson,
Andrew Zaldivar,
2009,
IEEE Pervasive Computing.
Grigory Fedyukovich,
Samuel J. Kaufman,
Rastislav Bodík,
2020,
Formal Methods Syst. Des..
Xianghua Ding,
Donald J. Patterson,
Andrew Zaldivar,
2009
.
Berkin Ilbeyi,
Ketan Mandke,
Nikhil Sarda,
2021,
2021 30th International Conference on Parallel Architectures and Compilation Techniques (PACT).
Samuel J. Kaufman,
P. Phothilimthana,
P. G. Allen,
2019
.
Samuel J. Kaufman,
2011
.
Samuel J. Kaufman,
R. Bodík,
2017
.
Samuel J. Kaufman,
Yanqi Zhou,
Charith Mendis,
2021,
MLSys.
Samuel J. Kaufman,
2011
.
Samuel J. Kaufman,
P. Ammann,
R. Featherman,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).