54 citations · 255 across the 28 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022
Mechanizing Refinement Types (extended)
Michael Borkowski, Niki Vazou, Ranjit Jhala
Practical checkers based on refinement types use the combination of implicit semantic sub-typing and parametric polymorphism to simplify the specification and automate the verifica…
cs.PL2022★ 3 cited
Flux: Liquid Types for Rust
Nico Lehmann, Adam Geller, Niki Vazou +1
We introduce Flux, which shows how logical refinements can work hand in glove with Rust's ownership mechanisms to yield ergonomic type-based verification of low-level pointer manip…