Eddy Westbrook

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 4

Top Topics

Asynchronous Circuits

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification. ECOOP (2023)
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
A type system for extracting functional specifications from memory-safe imperative programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook
Continuous Formal Verification of Amazon s2n. CAV (2) (2018)