Login / Signup
Matthew Yacavone
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Memory Size
Association Rules
Asynchronous Circuits
Main Contribution
Top Venues
Proc. ACM Program. Lang.
Dagstuhl Artifacts Ser.
ECOOP
</>
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)