Ziqiao Zhou

1. AutoVerus: Automated Proof Generation for Rust Code
   2024/09/19 by Chenyuan Yang, X. Li, Yang, Chenyuan +23 · 12 citations
   Agricultural and Biological Sciences · Engineering · #Plant Surface Properties and Treatments #Material Properties and Processing
2. A software approach to defeating side channels in last-level caches
   2016/03/17 by Ziqiao Zhou, Michael K. Reiter, Zhou, Ziqiao +3 · 1 citation
   Computer Science · #Security and Verification in Computing #Cloud Data Security Solutions #Distributed systems and fault tolerance
3. Leveraging Large Language Models for Automated Proof Synthesis in Rust
   2023/11/07 by Jianan Yao, Ziqiao Zhou, Yao, Jianan +5 · 2 citations
   Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Logic, programming, and type systems