Howell, Jon

1. Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
   2023/03/09 by Lattuada, Andrea, Hance, Travis, Cho, Chanhee +6 · 26 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)
   2023/09/09 by Hance, Travis, Howell, Jon, Padon, Oded +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)