Xiao Liu

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 11

Top Topics

Static Analysis

Programming Assignments

Abstract Interpretation

Top Venues

USENIX Security Symposium

Publications

Huaijin Wang, Shuai Wang, Dongpeng Xu, Xiangyu Zhang, Xiao Liu
Generating Effective Software Obfuscation Sequences With Reinforcement Learning. IEEE Trans. Dependable Secur. Comput. 19 (3) (2022)
Xiaoting Li, Xiao Liu, Lingwei Chen, Rupesh Prajapati, Dinghao Wu
ALPHAPROG: Reinforcement Generation of Valid Programs for Compiler Fuzzing. AAAI (2022)
Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Danfeng Zhang, Dinghao Wu
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. CoRR (2019)
Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Danfeng Zhang, Dinghao Wu
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation. USENIX Security Symposium (2019)
Xiao Liu, Xiaoting Li, Rupesh Prajapati, Dinghao Wu
DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing. AAAI (2019)
Xiao Liu, Yufei Jiang, Dinghao Wu
A Lightweight Framework for Regular Expression Verification. HASE (2019)
Xiao Liu, Shuai Wang, Pei Wang, Dinghao Wu
Automatic grading of programming assignments: an approach based on formal semantics. ICSE (SEET) (2019)
Yufei Jiang, Qinkun Bao, Shuai Wang, Xiao Liu, Dinghao Wu
RedDroid: Android Application Redundancy Customization Based on Static Analysis. ISSRE (2018)
Shuai Wang, Pei Wang, Xiao Liu, Danfeng Zhang, Dinghao Wu
CacheD: Identifying Cache-Based Timing Channels in Production Software. USENIX Security Symposium (2017)
Xiao Liu, Brett Holden, Dinghao Wu
Automated Synthesis of Access Control Lists. ICSSA (2017)
Xiao Liu, Yufei Jiang, Lawrence Wu, Dinghao Wu
Natural Shell: An Assistant for End-User Scripting. Int. J. People Oriented Program. 5 (1) (2016)
Xiao Liu, Dinghao Wu
PiE: programming in eliza. ASE (2014)
Xiao Liu, Feng Sun, Zheng Li, Longxiang Yang
A novel joint data partition and forwarding scheme for D2D communications. WCSP (2012)