Ziqiao Zhou

19 papers A* 5B 2Misc 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
Proc. ACM Program. Lang.
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
2025 Misc conf
SuperPromptSeg: A Novel Fine-Tuning-Free Segmentation Method Leveraging Superpixel-Based Point Prompts.
ICASSP
Ziqiao Zhou, Min Cen, Yuzhe Zhang, Hong Zhang, Xu Steven Xu
2024 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
CoRR
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
2024 B conf
Learning a Dynamic Neural Human via Poses Guided Dual Spaces Feature.
AVSS
Caoyuan Ma, Runqi Wang, Wu Liu, Ziqiao Zhou, Zheng Wang
2024 A* conf
VeriSMo: A Verified Security Module for Confidential VMs.
OSDI
Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui
2023 A* conf
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud.
OSDI
Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
2023 J jnl
E&V: Prompting Large Language Models to Perform Static Analysis by Pseudo-code Execution and Verification.
CoRR
Yu Hao, Weiteng Chen, Ziqiao Zhou, Weidong Cui
2023 J jnl
Leveraging Large Language Models for Automated Proof Synthesis in Rust.
CoRR
Jianan Yao, Ziqiao Zhou, Weiteng Chen, Weidong Cui
2021 J jnl
Interpretable noninterference measurement and its application to processor designs.
Proc. ACM Program. Lang.
Ziqiao Zhou, Michael K. Reiter
2020 — —
Evaluating Information Leakage by Quantitative and Interpretable Measurements.
Ziqiao Zhou
2019 J jnl
Dynamic Enhanced Field Division: An Advanced Localizing and Tracking Middleware.
ACM Trans. Sens. Networks
Qingquan Zhang, Yao Yao, Ting Zhu, Ziqiao Zhou, Wei Xu, Ping Yi, Sheng Xiao
2019 — conf
Dynamic Network Change Detection via Dynamic Network Representation Learning.
ChinaCom (1)
Hao Feng, Yan Liu, Ziqiao Zhou, Jing Chen
2018 A* conf
Static Evaluation of Noninterference Using Approximate Model Counting.
IEEE Symposium on Security and Privacy
Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang
2016 A* conf
A Software Approach to Defeating Side Channels in Last-Level Caches.
CCS
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
2016 J jnl
A software approach to defeating side channels in last-level caches.
CoRR
Ziqiao Zhou, Michael K. Reiter, Yinqian Zhang
2015 B conf
Context-Centric Target Localization with Optimal Anchor Deployments.
ICNP
Qingquan Zhang, Wei Xu, Zhichuan Huang, Ziqiao Zhou, Ping Yi, Ting Zhu, Sheng Xiao
2015 A* conf
Fingerprint-free tracking with dynamic enhanced field division.
INFOCOM
Qingquan Zhang, Ziqiao Zhou, Wei Xu, Jing Qi, Chenxi Guo, Ping Yi, Ting Zhu, Sheng Xiao
2014 J jnl
A Three-Dimensional Wireless Indoor Localization System.
J. Electr. Comput. Eng.
Ping Yi, Minjie Yu, Ziqiao Zhou, Wei Xu, Qingquan Zhang, Ting Zhu
2014 — conf
EEP2P: An energy-efficient and economy-efficient P2P network protocol.
IGCC
Ziqiao Zhou, Mengjun Xie, Ting Zhu, Wei Xu, Ping Yi, Zhichuan Huang, Qingquan Zhang, Sheng Xiao