Qian, Zhiyun
276  results:
Search for persons X
?
3

Enhancing Static Analysis for Practical Bug Detection: An L..:

Li, Haonan ; Hao, Yu ; Zhai, Yizhuo.
Proceedings of the ACM on Programming Languages.  8 (2024)  OOPSLA1 - p. 474-499 , 2024
 
?
4

Hierarchical Bilayer Polyelectrolyte Ion Paper Conductor fo..:

Wu, Peilin ; Chen, Yonghao ; Luo, Yao...
ACS Applied Materials & Interfaces.  16 (2024)  25 - p. 32198-32208 , 2024
 
?
 
?
7

An Investigation of Patch Porting Practices of the Linux Ke..:

, In: Proceedings of the 21st International Conference on Mining Software Repositories,
Li, Xingyu ; Zhang, Zheng ; Qian, Zhiyun.. - p. 63-74 , 2024
 
?
9

SyzDescribe: Principled, Automated, Static Generation of Sy..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),
Hao, Yu ; Li, Guoren ; Zou, Xiaochen... - p. 3262-3278 , 2023
 
?
10

Assisting Static Analysis with Large Language Models: A Cha..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Li, Haonan ; Hao, Yu ; Zhai, Yizhuo. - p. 2107-2111 , 2023
 
?
12

Demystifying the Dependency Challenge in Kernel Fuzzing:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),
Hao, Yu ; Zhang, Hang ; Li, Guoren... - p. 659-671 , 2022
 
?
 
?
14

Perils and Mitigation of Security Risks of Cooperation in M..:

, In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security,
Zhou, Xin'an ; Guan, Jiale ; Xing, Luyi. - p. 3285-3299 , 2022
 
?
15

Natural wood-derived solid ionic conductor for solid electr..:

Cui, Jiedong ; Li, Yang ; Liu, Chaocheng...
Cell Reports Physical Science.  3 (2022)  5 - p. 100857 , 2022
 
1-15