Follow
Michael Bentley
Michael Bentley
PhD
Verified email at utah.edu
Title
Cited by
Cited by
Year
FLiT: Cross-platform floating-point result-consistency tester and workload
G Sawaya, M Bentley, I Briggs, G Gopalakrishnan, DH Ahn
2017 IEEE international symposium on workload characterization (IISWC), 229-238, 2017
272017
Multi-level analysis of compiler-induced variability and performance tradeoffs
M Bentley, I Briggs, G Gopalakrishnan, DH Ahn, I Laguna, GL Lee, ...
Proceedings of the 28th International Symposium on High-Performance Parallel …, 2019
172019
Keeping science on keel when software moves
DH Ahn, AH Baker, M Bentley, I Briggs, G Gopalakrishnan, ...
Communications of the ACM 64 (2), 66-74, 2021
132021
Safer motion planning of steerable needles via a shaft-to-tissue force model
M Bentley, C Rucker, C Reddy, O Salzman, A Kuntz
arXiv preprint arXiv:2101.02246, 2022
9*2022
Interactive-rate supervisory control for arbitrarily-routed multitendon robots via motion planning
M Bentley, C Rucker, A Kuntz
IEEE Access 10, 80999-81019, 2022
52022
Archergear: data race equivalencing for expeditious hpc debugging
S Thayer, GL Gopalakrishnan, I Briggs, M Bentley, DH Ahn, I Laguna, ...
Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of …, 2020
42020
Pruners: Providing reproducibility for uncovering non-deterministic errors in runs on supercomputers
K Sato, I Laguna, GL Lee, M Schulz, CM Chambreau, S Atzeni, M Bentley, ...
The International Journal of High Performance Computing Applications 33 (5 …, 2019
42019
Toward learning context-dependent tasks from demonstration for tendon-driven surgical robots
Y Huang, M Bentley, T Hermans, A Kuntz
2021 International Symposium on Medical Robotics (ISMR), 1-7, 2021
32021
Faster and Safer Motion Planning of Continuum Robots via Efficient Physics-Based Force Models
MS Bentley
The University of Utah, 2022
2022
FLoAT: Framework for Workflow Analysis and Transformation
J Jacobson, M Bentley, G Gopalakrishnan, D Ahn, G Lee
Correctness 2021: Fifth International Workshop on Software Correctness for …, 2021
2021
Floating-Point Litmus Tester
M Bentley, G Sawaya, I Briggs, G Gopalakrishnan
Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States), 2017
2017
Quantifying Compiler Effects on Code Performance and Reproducibility using FLiT
M Bentley, G Gopalakrishnan, DH Ahn
2017
Keeping Science on Keel When Software Moves An approach to reproducibility problems related to porting software across machines and compilers.
DH Ahn, AH Baker, M Bentley, I Briggs, G Gopalakrishnan, ...
Predicting Reproducibility of Floating-Point Code
M Bentley, V Joseph
The system can't perform the operation now. Try again later.
Articles 1–14