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
872017
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
262012
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
232019
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
232019
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
232018
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
142016
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
132019
Automated synthesis of access control lists
X Liu, B Holden, D Wu
2017 International Conference on Software Security and Assurance (ICSSA …, 2017
82017
Pie: programming in eliza
X Liu, D Wu
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
72014
From Natural Language to Programming Language
X Liu, D Wu
Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in …, 2018
62018
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
A lightweight framework for regular expression verification
X Liu, Y Jiang, D Wu
2019 IEEE 19th International Symposium on High Assurance Systems Engineering …, 2019
32019
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
2020
Neural Program Synthesis for Compiler Fuzzing
X Liu
The Pennsylvania State University, 2020
2020
Programming in Eliza
X Liu
2015
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
2012
A Lightweight Framework for Regex Verification
X Liu
The system can't perform the operation now. Try again later.
Articles 1–17