Samuel S. Hardin

According to our database, Samuel S. Hardin authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2

David S. Hardin, Samuel S. Hardin

Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013