3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)
Travis Hance, Jon Howell, Oded Padon +1
In concurrent verification, separation logic provides a strong story for handling both resources that are owned exclusively and resources that are shared persistently (i.e., foreve…
cs.LO2023★ 3 cited
Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
Andrea Lattuada, Travis Hance, Chanhee Cho +6
The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage collection and making R…