Hance, Travis

1. Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
   2023/03/09 by Lattuada, Andrea, Hance, Travis, Cho, Chanhee +6 · 23 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Generalizing and Derandomizing Gurvits's Approximation Algorithm for the Permanent
   2012/11/30 by Aaronson, Scott, Hance, Travis · 2 citations
   #Computational Complexity (cs.CC) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Physics (quant-ph)