Xiao Liu

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