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 | 153 | 2017 |
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 | 118 | 2019 |
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 | 73 | 2019 |
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 | 65 | 2019 |
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 | 46 | 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 | 30 | 2012 |
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 | 23 | 2016 |
From Natural Language to Programming Language X Liu, D Wu Innovative Methods, User-Friendly Tools, Coding, and Design Approaches in …, 2018 | 18 | 2018 |
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 | 13 | 2020 |
Automated synthesis of access control lists X Liu, B Holden, D Wu 2017 International Conference on Software Security and Assurance (ICSSA …, 2017 | 12 | 2017 |
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 | 10 | 2022 |
Pie: programming in eliza X Liu, D Wu Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 8 | 2014 |
FuzzBoost: Reinforcement Compiler Fuzzing X Li, X Liu, L Chen, R Prajapati, D Wu International Conference on Information and Communications Security, 359-375, 2022 | 7 | 2022 |
A lightweight framework for regular expression verification X Liu, Y Jiang, D Wu 2019 IEEE 19th International Symposium on High Assurance Systems Engineering …, 2019 | 7 | 2019 |
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 | 5 | 2016 |
Reinforcement compiler fuzzing X Liu, R Prajapati, X Li, D Wu | 3 | |
Programming in Eliza X Liu | 1 | 2019 |
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 | 1 | 2012 |
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 |