Follow
Xiao Liu
Xiao Liu
Research Scientist @ Facebook
Verified email at fb.com
Title
Cited by
Cited by
Year
CacheD: Identifying Cache-Based Timing Channels in Production Software
S Wang, P Wang, X Liu, D Zhang, D Wu
26th USENIX Security Symposium (USENIX Security 17), 2017
1392017
Deepfuzz: Automatic generation of syntax valid c programs for fuzz testing
X Liu, X Li, R Prajapati, D Wu
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1044-1051, 2019
942019
Automatic Grading of Programming Assignments: An Approach Based on Formal Semantics
X Liu, S Wang, P Wang, D Wu
Proceedings-International Conference on Software Engineering, 2019
582019
Identifying {Cache-Based} Side Channels through {Secret-Augmented} Abstract Interpretation
S Wang, Y Bao, X Liu, P Wang, D Zhang, D Wu
28th USENIX security symposium (USENIX security 19), 657-674, 2019
542019
RedDroid: Android application redundancy customization based on static analysis
Y Jiang, Q Bao, S Wang, X Liu, D Wu
2018 IEEE 29th international symposium on software reliability engineering …, 2018
422018
Improvement of leach in wireless sensor networks based on balanced energy strategy
Y Lu, D Zhang, Y Chen, X Liu, P Zong
2012 IEEE International Conference on Information and Automation, 111-115, 2012
302012
An analysis of BIM web service requirements and design to support energy efficient building lifecycle
Y Jiang, X Liu, F Liu, D Wu, CJ Anumba
Buildings 6 (2), 20, 2016
172016
From Natural Language to Programming Language
X Liu, D Wu
Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in …, 2018
122018
Automated synthesis of access control lists
X Liu, B Holden, D Wu
2017 International Conference on Software Security and Assurance (ICSSA …, 2017
122017
Generating effective software obfuscation sequences with reinforcement learning
H Wang, S Wang, D Xu, X Zhang, X Liu
IEEE Transactions on Dependable and Secure Computing 19 (3), 1900-1917, 2020
92020
Pie: programming in eliza
X Liu, D Wu
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
82014
A lightweight framework for regular expression verification
X Liu, Y Jiang, D Wu
2019 IEEE 19th International Symposium on High Assurance Systems Engineering …, 2019
72019
Natural Shell: An assistant for end-user scripting
X Liu, Y Jiang, L Wu, D Wu
International Journal of People-Oriented Programming (IJPOP) 5 (1), 1-18, 2016
52016
ALPHAPROG: reinforcement generation of valid programs for compiler fuzzing
X Li, X Liu, L Chen, R Prajapati, D Wu
Proceedings of the AAAI Conference on Artificial Intelligence 36 (11), 12559 …, 2022
42022
FuzzBoost: Reinforcement Compiler Fuzzing
X Li, X Liu, L Chen, R Prajapati, D Wu
International Conference on Information and Communications Security, 359-375, 2022
32022
Reinforcement compiler fuzzing
X Liu, R Prajapati, X Li, D Wu
22019
A novel joint data partition and forwarding scheme for D2D communications
X Liu, F Sun, Z Li, L Yang
2012 International Conference on Wireless Communications and Signal …, 2012
12012
Neural Program Synthesis for Compiler Fuzzing
X Liu
The Pennsylvania State University, 2020
2020
Programming in Eliza
X Liu
2019
A Lightweight Framework for Regex Verification
X Liu
The system can't perform the operation now. Try again later.
Articles 1–20