Matthew Yacavone

According to our database, Matthew Yacavone authored at least 3 papers between 2021 and 2023.

Collaborative distances:

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

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