Samuel J. Kaufman

Review of experimental investigations of liquid-metal heat transfer

B. Lubarsky, Samuel J. Kaufman · University of North Texas Digital Library (University of North Texas) · 1956 · 93 citations · Full text

Sampling invariants from frequency distributions

Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík · 2017 · 44 citations

Engineering, Numerical Inductive Invariants, Computer-aided Verification +22

A Learned Performance Model for Tensor Processing Units

Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou et al. · arXiv (Cornell University) · 2020 · 33 citations · Full text

Engineering, Machine Learning, Advanced Computing +17

Prioritizing mutants to guide mutation testing

Samuel J. Kaufman, Ryan Featherman, Justin Alvin et al. · Proceedings of the 44th International Conference on Software Engineering · 2022 · 33 citations · Full text

Mutation-based Testing, Engineering, Test-driven Development +15

Swizzle Inventor

Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang et al. · 2019 · 31 citations · Full text

Hardware Security, Computational Science, Swizzle Inventor +14