Nathan Collins

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems

Stephanie Weirich, Tim Sheard, Peng Fu, 2012, MSFP.

Continuous Formal Verification of Amazon s2n

Brian Huffman, Serdar Tasiran, Byron Cook, 2018, CAV.

Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System

Mark Tullsen, Nathan Collins, Lee Pike, 2018, CAV.

A verified information-flow architecture

Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, J. Comput. Secur..

Equational reasoning about programs with general recursion and call-by-value semantics

Stephanie Weirich, Tim Sheard, Peng Fu, 2012, PLPV '12.