Ruoyu Zhou

18 papers A* 1A 2B 1C 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation.
CoRR
Zehan Chen, Long Zhang, Zhiwei Zhang, Jingjing Zhang, Ruoyu Zhou, Yulong Shen, Jianfeng Ma, Lin Yang
2025 J jnl
DEER: Deep Runahead for Instruction Prefetching on Modern Mobile Workloads.
CoRR
Parmida Vahdatniya, Julian Humecki, Henry Kao, Tony Li, Ali Sedaghati, Fang Su, Ruoyu Zhou, Alex Bi, Reza Azimi, Maziar Goudarzi
2025 J jnl
Lightweight Automatic Modulation Classification Based on Efficient Convolution and Graph Sparse Attention in Low-Resource Scenarios.
IEEE Internet Things J.
Zhuoran Cai, Chuan Wang, Wenxuan Ma, Xiangzhen Li, Ruoyu Zhou
2025 A* conf
RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral Constraints.
ASE
Ruoyu Zhou, Zhiwei Zhang, Haocheng Han, Xiaodong Zhang, Zehan Chen, Jun Sun, Yulong Shen, Dehai Xu
2025 J jnl
SLD-Spec: Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion.
CoRR
Zehan Chen, Long Zhang, Zhiwei Zhang, Jingjing Zhang, Ruoyu Zhou, Yulong Shen, Jianfeng Ma, Lin Yang
2024 J jnl
AI-Based Advanced Approaches and Dry Eye Disease Detection Based on Multi-Source Evidence: Cases, Applications, Issues, and Future Directions.
Big Data Min. Anal.
Mini Han Wang, Lumin Xing, Yi Pan, Feng Gu, Junbin Fang, Xiangrong Yu, Chi Pui Pang, Kelvin Kam Lung Chong, Carol Yim-lui Cheung, Xu-Lin Liao, Xiaoxiao Fang, Jie Yang, Ruoyu Zhou, Xiaoshu Zhou, Fengling Wang, Wenjian Liu
2024 — conf
Dynamic Window Transformer for Image Super-Resolution.
ACCV (7)
Zheng Xie, Zhongxun Wang, Tianci Qin, Zhexuan Han, Ruoyu Zhou
2024 J jnl
LiTelFuzz : Swarms Fuzzing Based on Linear Temporal Logic Constraints.
CoRR
Zhiwei Zhang, Ruoyu Zhou, Haocheng Han, Xiaodong Zhang, Yulong Shen
2023 — conf
Automatic Modulation Classification Based on the Multi-channel Large-kernel Convolutional Neural Network.
ICCT
Xiaolei Hu, Zuoran Cai, Ruoyu Zhou
2023 — conf
Deep Learning-Assisted Target Classification Using OTFS Signaling.
ICCC Workshops
Ziyu Yan, Long Tan, Xiaoqi Zhang, Kecheng Zhang, Ruoyu Zhou
2021 A conf
Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring.
CGO
Mahwish Arif, Ruoyu Zhou, Hsi-Ming Ho, Timothy M. Jones
2021 J jnl
Timed hyperproperties.
Inf. Comput.
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
2019 A conf
Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation.
CGO
Ruoyu Zhou, Timothy M. Jones
2019 C conf
On Verifying Timed Hyperproperties.
TIME
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
2019 B conf
The janus triad: exploiting parallelism through dynamic binary modification.
VEE
Ruoyu Zhou, George Wort, Márton Erdos, Timothy M. Jones
2018 — —
Guided automatic binary parallelisation.
Ruoyu Zhou
2018 J jnl
On Verifying Timed Hyperproperties.
CoRR
Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
2015 J jnl
An adaptive minimum spanning tree test for detecting irregularly-shaped spatial clusters.
Comput. Stat. Data Anal.
Ruoyu Zhou, Lianjie Shu, Yan Su