Xiao Liu
Xiao Liu
Research Scientist @ Facebook
Verified email at fb.com
Cited by
Cited by
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
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
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
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation
S Wang, Y Bao, X Liu, P Wang, D Zhang, D Wu
arXiv preprint arXiv:1905.13332, 2019
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, 2019
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
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
Automated Synthesis of Access Control Lists
X Liu, B Holden, D Wu
2017 International Conference on Software Security and Assurance (ICSSA …, 2017
PiE: programming in eliza
X Liu, D Wu
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
From Natural Language to Programming Language
X Liu, D Wu
Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in …, 2018
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
A Lightweight Framework for Regular Expression Verification
X Liu, Y Jiang, D Wu
2019 IEEE 19th International Symposium on High Assurance Systems Engineering …, 2019
Programming in Eliza
X Liu
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
A Lightweight Framework for Regex Verification
X Liu
The system can't perform the operation now. Try again later.
Articles 1–15