• Postal address

    United States

Filter
Conference contribution

Search results

  • 2022

    ALPHAPROG: Reinforcement Generation of Valid Programs for Compiler Fuzzing

    Li, X., Liu, X., Chen, L., Prajapati, R. & Wu, D., Jun 30 2022, IAAI-22, EAAI-22, AAAI-22 Special Programs and Special Track, Student Papers and Demonstrations. Association for the Advancement of Artificial Intelligence, p. 12559-12565 7 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • FuzzBoost: Reinforcement Compiler Fuzzing

    Li, X., Liu, X., Chen, L., Prajapati, R. & Wu, D., 2022, Information and Communications Security - 24th International Conference, ICICS 2022, Proceedings. Alcaraz, C., Chen, L., Li, S. & Samarati, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 359-375 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13407 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • 2019

    A lightweight framework for regular expression verification

    Liu, X., Jiang, Y. & Wu, D., Mar 22 2019, Proceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019. Nguyen, V., Jiang, C. & Yu, D. (eds.). IEEE Computer Society, p. 1-8 8 p. 8673038. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering; vol. 2019-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • Automatic grading of programming assignments: An approach based on formal semantics

    Liu, X., Wang, S., Wang, P. & Wu, D., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2019. Institute of Electrical and Electronics Engineers Inc., p. 126-137 12 p. 8802114. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training, ICSE-SEET 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    47 Scopus citations
  • DeepFuzz: Automatic generation of syntax valid C programs for fuzz testing

    Liu, X., Li, X., Prajapati, R. & Wu, D., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI press, p. 1044-1051 8 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    59 Scopus citations
  • Identifying cache-based side channels through secret-augmented abstract interpretation

    Wang, S., Bao, Y., Liu, X., Wang, P., Zhang, D. & Wu, D., Jan 1 2019, Proceedings of the 28th USENIX Security Symposium. USENIX Association, p. 657-674 18 p. (Proceedings of the 28th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    31 Scopus citations
  • 2018

    Automated Synthesis of Access Control Lists

    Liu, X., Holden, B. & Wu, D., Jun 21 2018, Proceedings - 2017 International Conference on Software Security and Assurance, ICSSA 2017. Institute of Electrical and Electronics Engineers Inc., p. 104-109 6 p. (Proceedings - 2017 International Conference on Software Security and Assurance, ICSSA 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • RedDroid: Android Application Redundancy Customization Based on Static Analysis

    Jiang, Y., Bao, Q., Wang, S., Liu, X. & Wu, D., Nov 16 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 189-199 11 p. 8539081. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2018-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    27 Scopus citations
  • 2017

    Cached: Identifying cache-based timing channels in production software

    Wang, S., Wang, P., Liu, X., Zhang, D. & Wu, D., 2017, Proceedings of the 26th USENIX Security Symposium. USENIX Association, p. 235-252 18 p. (Proceedings of the 26th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    91 Scopus citations
  • Cached: Identifying cache-based timing channels in production software

    Wang, S., Wang, P., Liu, X., Zhang, D. & Wu, D., Jan 1 2017, Proceedings of the 26th USENIX Security Symposium. USENIX Association, p. 235-252 18 p. (Proceedings of the 26th USENIX Security Symposium).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2014

    PiE: Programming in Eliza

    Liu, X. & Wu, D., 2014, ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery, Inc, p. 695-700 6 p. (ASE 2014 - Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • 2012

    Improvement of LEACH in Wireless Sensor Networks based on balanced energy strategy

    Lu, Y., Zhang, D., Chen, Y., Liu, X. & Zong, P., 2012, 2012 IEEE International Conference on Information and Automation, ICIA 2012. p. 111-115 5 p. 6246792. (2012 IEEE International Conference on Information and Automation, ICIA 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Scopus citations