Thomas N. Reynolds

According to our database, Thomas N. Reynolds authored at least 3 papers between 2017 and 2020.

Collaborative distances:

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

2020

Strongly bounded termination with applications to security and hardware synthesis.

Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein

Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, 2020

2019

The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware.

Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein

ACM Trans. Embed. Comput. Syst., 2019

2017

A core calculus for secure hardware: its formal semantics and proof system.

Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017