Publications
Journal articles, conference papers, preprints, and related links.
Conference paper
Jianzhong Liu, Yuheng Shen, Yifei Chu, Qiang Zhang, Heyuan Shi, Wanli Chang, Yu Jiang
Proceedings of the 62nd ACM/EDAC/IEEE Design Automation Conference (DAC)
Publisher2025
Journal article
Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
ACM Transactions on Software Engineering and Methodology (TOSEM)
Publisher2025
Conference paper
Jianzhong Liu, Yuheng Shen, Yiru Xu, Yu Jiang
ACM SIGSAC Conference on Computer and Communications Security (CCS)
Publisher2024
Conference paper
Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Heyuan Shi, Yu Jiang
Proceedings of the 61st ACM/IEEE Design Automation Conference (DAC)
Publisher2024
Journal article
Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
ACM Transactions on Software Engineering and Methodology (TOSEM)
Publisher2023
Conference paper
Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Heyuan Shi, Nan Guan, Yu Jiang
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
Publisher2024
Conference paper
Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang
European Conference on Computer Systems (EuroSys)
Publisher2024
Conference paper
Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, Yu Jiang
IEEE Symposium on Security and Privacy (S&P)
Publisher2024
Conference paper
Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui
ACM Symposium on Operating Systems Principles (SOSP)
Publisher2021