Thomas N. Reynolds

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Formal Semantics

Computing Power

Sequent Calculus

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein
Strongly bounded termination with applications to security and hardware synthesis. TyDe@ICFP (2020)
Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein
The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware. ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein
A core calculus for secure hardware: its formal semantics and proof system. MEMOCODE (2017)