Benjamin Selfridge

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 1

Top Topics

Computing Power

Conceptual Framework

Top Venues

Publications

Ryan G. Scott, Brett Boston, Benjamin Davis, Iavor S. Diatchki, Mike Dodds, Joe Hendrix, Daniel Matichuk, Kevin Quick, Tristan Ravitch, Valentin Robert, Benjamin Selfridge, Andrei Stefanescu, Daniel Wagner, Simon Winwood
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
Benjamin Selfridge, Eric Smith
Polymorphic Types in ACL2. ACL2 (2014)
Benjamin Selfridge
An ACL2 Mechanization of an Axiomatic Framework for Weak Memory. ACL2 (2014)