עקוב אחר
Xiao Liu
Xiao Liu
Research Scientist @ Facebook
כתובת אימייל מאומתת בדומיין fb.com
כותרת
צוטט על ידי
צוטט על ידי
שנה
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
1532017
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
1182019
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
732019
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
652019
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
462018
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
232016
From Natural Language to Programming Language
X Liu, D Wu
Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in …, 2018
182018
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
132020
Automated synthesis of access control lists
X Liu, B Holden, D Wu
2017 International Conference on Software Security and Assurance (ICSSA …, 2017
122017
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
102022
Pie: programming in eliza
X Liu, D Wu
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
82014
FuzzBoost: Reinforcement Compiler Fuzzing
X Li, X Liu, L Chen, R Prajapati, D Wu
International Conference on Information and Communications Security, 359-375, 2022
72022
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
Reinforcement compiler fuzzing
X Liu, R Prajapati, X Li, D Wu
3
Programming in Eliza
X Liu
12019
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
and Dinghao Wu4 ()
X Li¹, X Liu, L Chen, R Prajapati¹
Information and Communications Security: 24th International Conference …, 2022
2022
Neural Program Synthesis for Compiler Fuzzing
X Liu
The Pennsylvania State University, 2020
2020
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20