May Torrence

According to our database, May Torrence authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Formalized High Level Synthesis with Applications to Cryptographic Hardware.

William L. Harrison, Ian Blumenfeld, Eric Bond, Chris Hathhorn, Paul Li, May Torrence, Jared Ziegler

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023