Benjamin Driscoll

Orcid: 0000-0002-1901-1880

According to our database¹, Benjamin Driscoll authored at least 3 papers between 2020 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Equivalence Checking of ML GPU Kernels.

[DOI]

CoRR, November, 2025

2023

Better Defunctionalization through Lambda Set Specialization.

[DOI]

Proc. ACM Program. Lang., 2023

2020

Automation of NERSC Application Usage Report.

[DOI]

Proceedings of the IEEE/ACM International Workshop on HPC User Support Tools and Workshop on Programming and Performance Visualization Tools, 2020