Eddy Westbrook

According to our database, Eddy Westbrook authored at least 4 papers between 2018 and 2023.

Collaborative distances:

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

2023

Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact).

Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott

Dagstuhl Artifacts Ser., 2023

Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification.

Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

A type system for extracting functional specifications from memory-safe imperative programs.

Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic

Proc. ACM Program. Lang., 2021

2018

Continuous Formal Verification of Amazon s2n.

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018