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
1222017
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
492019
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
402019
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
302018
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
292019
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
252012
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
152016
Automated synthesis of access control lists
X Liu, B Holden, D Wu
2017 International Conference on Software Security and Assurance (ICSSA …, 2017
102017
Pie: programming in eliza
X Liu, D Wu
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
82014
From Natural Language to Programming Language
X Liu, D Wu
Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in …, 2018
72018
A lightweight framework for regular expression verification
X Liu, Y Jiang, D Wu
2019 IEEE 19th International Symposium on High Assurance Systems Engineering …, 2019
52019
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
42016
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, 2020
32020
Reinforcement compiler fuzzing
X Liu, R Prajapati, X Li, D Wu
22019
ALPHAPROG: Reinforcement Generation of Valid Programs for Compiler Fuzzing
X Li, X Liu, L Chen, R Prajapati, D Wu
Proceedings of the Thirty-Fourth Annual Conference on Innovative …, 2022
12022
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–19