conf.researchr.org / Jon Howell
Not registered as user
Name:Jon Howell
Country:United States
Affiliation:VMware Research
Contributions
2023
SPLASH
- Author of Leaf: Modularity for Temporary Sharing in Separation Logic within the OOPSLA-track
- Author of Verus: Verifying Rust Programs using Linear Ghost Types within the OOPSLA-track
- Author of Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols within the OOPSLA-track