research
∙
09/15/2023
Graph IRs for Impure Higher-Order Languages (Technical Report)
This is a companion report for the OOPSLA 2023 paper of the same title, ...
share
research
∙
09/12/2023
Modeling Reachability Types with Logical Relations
Reachability types are a recent proposal to bring Rust-style reasoning a...
research
∙
07/25/2023
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
Reachability types are a recent proposal that has shown promise in scali...
research
∙
07/05/2019
Type-safe, Polyvariadic Event Correlation
The pivotal role that event correlation technology plays in todays appli...
research
∙
05/16/2017