Associate Professor Yulei Sui

Associate Professor Yulei Sui

Associate Professor

Ph.D. in Computer Science from UNSW Sydney

Engineering
Computer Science and Engineering

Yulei Sui is an ARC Future Fellow and Associate Professor at UNSW. He is broadly interested in Program Analysis, Secure Software Engineering and Machine Learning. In particular, his research focuses on building open-source frameworks for static analysis and verification techniques to improve the reliability and security of modern software systems. His recent interest lies at the intersection of programming languages, natural languages and machine learning. Specifically, his current research projects include secure machine learning, software analysis and verification for bug detection through data mining and deep learning.

His papers have been published in top-tier conferences and journals in the field of program analysis and software engineering such as PLDI, OOPSLA, ASPLOS, TSE, TOSEM, ICSE, FSE, ISSTA, ASE, ECOOP, SAS, CGO and CC. He was a plenary talk speaker at EuroLLVM 2016, and has been awarded a 2022 OOPSLA Distinguished Artifact Award, a 2021 ICSE Distinguished Reviewer, 2020 OOPSLA Distinguished Paper, a 2019 SAS Best Paper, a 2018 ICSE Distinguished Paper, a 2013 CGO Best Paper, JSPS Invitational Fellowship (2022), ARC Discovery Early Career Researcher Award (2017-2019), ARC Future Fellowship (2023-2026), and Google ASPIRE Award (2023). He is an IEEE Senior Member and a Fellow of Engineers Australia (FIEAust).

 

His personal home page: https://yuleisui.github.io/

  • Journal articles | 2024
    Chen Z; Yan R; Ma Y; Sui Y; Xue J, 2024, 'A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety', ACM Transactions on Software Engineering and Methodology, 33, http://dx.doi.org/10.1145/3637227
    Journal articles | 2024
    Cheng X; Nie X; Li N; Wang H; Zheng Z; Sui Y, 2024, 'How About Bug-Triggering Paths? - Understanding and Characterizing Learning-Based Vulnerability Detectors', IEEE Transactions on Dependable and Secure Computing, 21, pp. 542 - 558, http://dx.doi.org/10.1109/TDSC.2022.3192419
    Journal articles | 2024
    Jiang M; Sui Y; Lei Y; Xie X; Li C; Liu Y; Tsang IW, 2024, 'Adversarial Learning for Coordinate Regression through k-layer Penetrating Representation', IEEE Transactions on Dependable and Secure Computing, http://dx.doi.org/10.1109/TDSC.2024.3376437
    Journal articles | 2024
    Qin F; Zheng Z; Sui Y; Gong S; Shi Z; Trivedi KS, 2024, 'Cross-project concurrency bug prediction using domain-adversarial neural network', Journal of Systems and Software, 214, http://dx.doi.org/10.1016/j.jss.2024.112077
    Journal articles | 2024
    Ren J; Sui Y; Cheng X; Feng Y; Zhao J, 2024, 'Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search', ACM Transactions on Software Engineering and Methodology, 33, http://dx.doi.org/10.1145/3644389
    Journal articles | 2024
    Xu P; Lei Y; Sui Y; Xue J, 2024, 'Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability', Proceedings of the ACM on Programming Languages, 8, pp. 1437 - 1462, http://dx.doi.org/10.1145/3649862
    Journal articles | 2023
    Du X; Sui Y; Liu Z; Ai J, 2023, 'An Empirical Study of Fault Triggers in Deep Learning Frameworks', IEEE Transactions on Dependable and Secure Computing, 20, pp. 2696 - 2712, http://dx.doi.org/10.1109/TDSC.2022.3152239
    Journal articles | 2023
    He D; Gui Y; Li W; Tao Y; Zou C; Sui Y; Xue J, 2023, 'A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3622832
    Journal articles | 2023
    Lei Y; Sui Y; Tan SH; Zhang Q, 2023, 'Recursive State Machine Guided Graph Folding for Context-Free Language Reachability', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3591233
    Journal articles | 2023
    Lei Y; Ye D; Shen S; Sui Y; Zhu T; Zhou W, 2023, 'New challenges in reinforcement learning: a survey of security and privacy', Artificial Intelligence Review, 56, pp. 7195 - 7236, http://dx.doi.org/10.1007/s10462-022-10348-5
    Journal articles | 2023
    Li J; Pan Y; Lyu Y; Yao Y; Sui Y; Tsang IW, 2023, 'Earning Extra Performance From Restrictive Feedbacks', IEEE Transactions on Pattern Analysis and Machine Intelligence, 45, pp. 11753 - 11765, http://dx.doi.org/10.1109/TPAMI.2023.3273249
    Journal articles | 2023
    Win HM; Tan SH; Sui Y, 2023, 'Event-aware precise dynamic slicing for automatic debugging of Android applications', Journal of Systems and Software, 198, http://dx.doi.org/10.1016/j.jss.2023.111606
    Journal articles | 2023
    Wu X; Shen J; Zheng W; Lin L; Sui Y; Semasaba AOA, 2023, 'RNNtcs: A test case selection method for Recurrent Neural Networks', Knowledge-Based Systems, 279, http://dx.doi.org/10.1016/j.knosys.2023.110955
    Journal articles | 2023
    Zhang G; Sun J; Xu F; Sui Y; Bandara HMND; Chen S; Menzies T, 2023, 'A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning', IEEE Internet Computing, 27, pp. 13 - 20, http://dx.doi.org/10.1109/MIC.2023.3322283
    Journal articles | 2023
    Zhang W; Guo S; Zhang H; Sui Y; Xue Y; Xu Y, 2023, 'Challenging Machine Learning-Based Clone Detectors via Semantic-Preserving Code Transformations', IEEE Transactions on Software Engineering, 49, pp. 3052 - 3070, http://dx.doi.org/10.1109/TSE.2023.3240118
    Journal articles | 2022
    Aung TWW; Wan Y; Huo H; Sui Y, 2022, 'Multi-triage: A multi-task learning framework for bug triage', Journal of Systems and Software, 184, http://dx.doi.org/10.1016/j.jss.2021.111133
    Journal articles | 2022
    Lei Y; Sui Y; Ding S; Zhang Q, 2022, 'Taming transitive redundancy for context-free language reachability', Proceedings of the ACM on Programming Languages, 6, http://dx.doi.org/10.1145/3563343
    Journal articles | 2022
    Tang Y; Wang H; Zhan X; Luo X; Zhou Y; Zhou H; Yan Q; Sui Y; Keung J, 2022, 'A Systematical Study on Application Performance Management Libraries for Apps', IEEE Transactions on Software Engineering, 48, pp. 3044 - 3065, http://dx.doi.org/10.1109/TSE.2021.3077654
    Journal articles | 2022
    Wang W; Zhang Y; Sui Y; Wan Y; Zhao Z; Wu J; Yu PS; Xu G, 2022, 'Reinforcement-Learning-Guided Source Code Summarization Using Hierarchical Attention', IEEE Transactions on Software Engineering, 48, pp. 102 - 119, http://dx.doi.org/10.1109/TSE.2020.2979701
    Journal articles | 2021
    Barbar M; Sui Y, 2021, 'Compacting points-to sets through object clustering', Proceedings of the ACM on Programming Languages, 5, http://dx.doi.org/10.1145/3485547
    Journal articles | 2021
    Cheng X; Wang H; Hua J; Xu G; Sui Y, 2021, 'DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network', ACM Transactions on Software Engineering and Methodology, 30, http://dx.doi.org/10.1145/3436877
    Journal articles | 2021
    Hua W; Sui Y; Wan Y; Liu G; Xu G, 2021, 'FCCA: Hybrid Code Representation for Functional Clone Detection Using Attention Networks', IEEE Transactions on Reliability, 70, pp. 304 - 318, http://dx.doi.org/10.1109/TR.2020.3001918
    Journal articles | 2021
    Wang L; He R; Wang H; Xia P; Li Y; Wu L; Zhou Y; Luo X; Sui Y; Guo Y; Xu G, 2021, 'Beyond the virus: a first look at coronavirus-themed Android malware', Empirical Software Engineering, 26, http://dx.doi.org/10.1007/s10664-021-09974-4
    Journal articles | 2021
    Zheng W; Wu Y; Wu X; Feng C; Sui Y; Luo X; Zhou Y, 2021, 'A survey of Intel SGX and its applications', Frontiers of Computer Science, 15, http://dx.doi.org/10.1007/s11704-019-9096-y
    Journal articles | 2021
    Zheng W; Xun Y; Wu X; Deng Z; Chen X; Sui Y, 2021, 'A Comparative Study of Class Rebalancing Methods for Security Bug Report Classification', IEEE Transactions on Reliability, 70, pp. 1658 - 1670, http://dx.doi.org/10.1109/TR.2021.3118026
    Journal articles | 2020
    Li J; Pan Y; Sui Y; Tsang IW, 2020, 'Secure Metric Learning via Differential Pairwise Privacy', IEEE Transactions on Information Forensics and Security, 15, pp. 3640 - 3652, http://dx.doi.org/10.1109/TIFS.2020.2997183
    Journal articles | 2020
    Nobakht M; Sui Y; Seneviratne A; Hu W, 2020, 'PGFIT: Static permission analysis of health and fitness apps in IoT programming frameworks', Journal of Network and Computer Applications, 152, pp. 102509, http://dx.doi.org/10.1016/j.jnca.2019.102509
    Journal articles | 2020
    Sui Y; Cheng X; Zhang G; Wang H, 2020, 'Flow2Vec: Value-flow-based precise code embedding', Proceedings of the ACM on Programming Languages, 4, http://dx.doi.org/10.1145/3428301
    Journal articles | 2020
    Sui Y; Xue J, 2020, 'Value-Flow-Based Demand-Driven Pointer Analysis for C and C++', IEEE Transactions on Software Engineering, 46, pp. 812 - 835, http://dx.doi.org/10.1109/TSE.2018.2869336
    Journal articles | 2020
    Xiao G; Zheng Z; Jiang B; Sui Y, 2020, 'An Empirical Study of Regression Bug Chains in Linux', IEEE Transactions on Reliability, 69, pp. 558 - 570, http://dx.doi.org/10.1109/TR.2019.2902171
    Journal articles | 2020
    Zhang Y; Sui Y; Pan S; Zheng Z; Ning B; Tsang I; Zhou W, 2020, 'Familial Clustering for Weakly-Labeled Android Malware Using Hybrid Representation Learning', IEEE Transactions on Information Forensics and Security, 15, pp. 3401 - 3414, http://dx.doi.org/10.1109/TIFS.2019.2947861
    Journal articles | 2018
    Hou Z; Wang Y; Sui Y; Gu J; Zhao T; Zhou X, 2018, 'Managing high-performance computing applications as an on-demand service on federated clouds', Computers and Electrical Engineering, 67, pp. 579 - 595, http://dx.doi.org/10.1016/j.compeleceng.2018.02.036
    Journal articles | 2018
    Sui Y; Fan X; Zhou H; Xue J, 2018, 'Loop-Oriented pointer analysis for automatic SIMD vectorization', ACM Transactions on Embedded Computing Systems, 17, http://dx.doi.org/10.1145/3168364
    Journal articles | 2018
    Sui Y; Yan H; Zheng Z; Zhang Y; Xue J, 2018, 'Parallel construction of interprocedural memory SSA form', Journal of Systems and Software, 146, pp. 186 - 195, http://dx.doi.org/10.1016/j.jss.2018.09.038
    Journal articles | 2017
    Sui Y; Xue J, 2017, 'Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement', , http://arxiv.org/abs/1701.05650v1
    Journal articles | 2017
    Yan H; Sui Y; Chen S; Xue J, 2017, 'AutoFix', ACM SIGAPP Applied Computing Review, 16, pp. 38 - 50, http://dx.doi.org/10.1145/3040575.3040579
    Journal articles | 2016
    Sui Y; Ye D; Su Y; Xue J, 2016, 'Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions', IEEE Transactions on Reliability, PP, pp. 1 - 18, http://dx.doi.org/10.1109/tr.2016.2570538
    Journal articles | 2016
    Tian FB; Wang W; Wu J; Sui Y, 2016, 'Swimming performance and vorticity structures of a mother-calf pair of fish', Computers and Fluids, 124, pp. 1 - 11, http://dx.doi.org/10.1016/j.compfluid.2015.10.006
    Journal articles | 2014
    Sui Y; Ye D; Xue J, 2014, 'Detecting memory leaks statically with full-sparse value-flow analysis', IEEE Transactions on Software Engineering, 40, pp. 107 - 122, http://dx.doi.org/10.1109/TSE.2014.2302311
    Journal articles | 2014
    Sui Y; Ye S; Xue J; Zhang J, 2014, 'Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation', Software: Practice and Experience, 44, pp. 1485 - 1510, http://dx.doi.org/10.1002/spe.2214
    Journal articles | 2012
    Gao M; Xing GZ; Yang J; Yang L; Zhang Y; Liu H; Fan H; Sui Y; Feng B; Sun Y; Zhang Z; Liu S; Li SS; Song H, 2012, 'Zinc oxide nanotubes decorated with silver nanoparticles as an ultrasensitive substrate for surface-enhanced Raman scattering', Microchimica ACTA, 179, pp. 315 - 321, http://dx.doi.org/10.1007/s00604-012-0898-y
  • Conference Papers | 2024
    Zhao W; Hou Z; Wu S; Gao Y; Dong H; Wan Y; Zhang H; Sui Y; Zhang H, 2024, 'NL2FORMULA: Generating Spreadsheet Formulas from Natural Language Queries', in EACL 2024 - 18th Conference of the European Chapter of the Association for Computational Linguistics, Findings of EACL 2024, pp. 2377 - 2388
    Conference Papers | 2023
    Feng Q; Sui Y; Zhang H, 2023, 'Uncovering Limitations in Text-to-Image Generation: A Contrastive Approach with Structured Semantic Alignment', in Findings of the Association for Computational Linguistics: EMNLP 2023, pp. 8876 - 8888
    Conference Papers | 2023
    Lei H; Zhang S; Wang J; Xiao G; Liu Y; Sui Y, 2023, 'Why Do Deep Learning Projects Differ in Compatible Framework Versions? An Exploratory Study', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 509 - 520, http://dx.doi.org/10.1109/ISSRE59848.2023.00076
    Conference Papers | 2023
    Li G; Zhang H; Zhou J; Shen W; Sui Y; Qian Z, 2023, 'A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel', in 32nd USENIX Security Symposium, USENIX Security 2023, pp. 4211 - 4228
    Conference Papers | 2023
    Shi C; Li H; Sui Y; Lu J; Li L; Xue J, 2023, 'Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis', in Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, pp. 624 - 636, http://dx.doi.org/10.1109/ASE56229.2023.00118
    Conference Papers | 2023
    Wang J; Xiao G; Zhang S; Lei H; Liu Y; Sui Y, 2023, 'Compatibility Issues in Deep Learning Systems: Problems and Opportunities', in ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 476 - 488, http://dx.doi.org/10.1145/3611643.3616321
    Conference Papers | 2023
    Zhong Z; Liu J; Wu D; Di P; Sui Y; Liu AX; Lui JCS, 2023, 'Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services', in Proceedings - International Conference on Software Engineering, pp. 110 - 121, http://dx.doi.org/10.1109/ICSE-SEIP58684.2023.00015
    Conference Papers | 2022
    Cheng X; Zhang G; Wang H; Sui Y, 2022, 'Path-sensitive code embedding via contrastive learning for software vulnerability detection', in ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 519 - 531, http://dx.doi.org/10.1145/3533767.3534371
    Conference Papers | 2022
    Gao Y; Xu G; Li L; Luo X; Wang C; Sui Y, 2022, 'Demystifying the underground ecosystem of account registration bots', in ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 897 - 909, http://dx.doi.org/10.1145/3540250.3549090
    Conference Papers | 2022
    Gui Y; Wan Y; Zhang H; Huang H; Sui Y; Xu G; Shao Z; Jin H, 2022, 'Cross-Language Binary-Source Code Matching with Intermediate Representations', in Proceedings - 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, pp. 601 - 612, http://dx.doi.org/10.1109/SANER53432.2022.00077
    Conference Papers | 2022
    Li T; Bai JJ; Sui Y; Hu SM, 2022, 'Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs', in International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, pp. 859 - 872, http://dx.doi.org/10.1145/3503222.3507770
    Conference Papers | 2022
    Wan Y; He Y; Bi Z; Zhang J; Sui Y; Zhang H; Hashimoto K; Jin H; Xu G; Xiong C; Yu PS, 2022, 'NaturalCC: An Open-Source Toolkit for Code Intelligence', in Proceedings - International Conference on Software Engineering, pp. 149 - 153, http://dx.doi.org/10.1109/ICSE-Companion55297.2022.9793799
    Conference Papers | 2022
    Wan Y; Zhang S; Zhang H; Sui Y; Xu G; Yao D; Jin H; Sun L, 2022, 'You see what I want you to see: poisoning vulnerabilities in neural code search', in ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1233 - 1245, http://dx.doi.org/10.1145/3540250.3549153
    Conference Papers | 2022
    Wan Y; Zhao W; Zhang H; Sui Y; Xu G; Jin H, 2022, 'What Do They Capture? - A Structural Analysis of Pre-Trained Language Models for Source Code', in Proceedings - International Conference on Software Engineering, pp. 2377 - 2388, http://dx.doi.org/10.1145/3510003.3510050
    Conference Papers | 2022
    Wang L; Wang H; Luo X; Sui Y, 2022, 'MalWhiteout: Reducing Label Errors in Android Malware Detection', in ACM International Conference Proceeding Series, http://dx.doi.org/10.1145/3551349.3560418
    Conference Papers | 2022
    Zhong Z; Liu J; Wu D; Di P; Sui Y; Liu AX, 2022, 'Field-Based Static Taint Analysis for Industrial Microservices', in Proceedings - International Conference on Software Engineering, pp. 149 - 150, http://dx.doi.org/10.1109/ICSE-SEIP55303.2022.9794096
    Conference Papers | 2022
    Zhu J; Xiao G; Zheng Z; Sui Y, 2022, 'Enhancing Traceability Link Recovery with Unlabeled Data', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 446 - 457, http://dx.doi.org/10.1109/ISSRE55969.2022.00050
    Conference Papers | 2021
    Barbar M; Sui Y; Chen S, 2021, 'Object Versioning for Flow-Sensitive Pointer Analysis', in CGO 2021 - Proceedings of the 2021 IEEE/ACM International Symposium on Code Generation and Optimization, pp. 222 - 235, http://dx.doi.org/10.1109/CGO51591.2021.9370334
    Conference Papers | 2021
    Barbar M; Sui Y, 2021, 'Hash Consed Points-To Sets', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 25 - 48, http://dx.doi.org/10.1007/978-3-030-88806-0_2
    Conference Papers | 2021
    Chen Z; Wang C; Yan J; Sui Y; Xue J, 2021, 'Runtime detection of memory errors with smart status', in ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 296 - 308, http://dx.doi.org/10.1145/3460319.3464807
    Conference Papers | 2021
    Hong H; Zhang J; Zhang Y; Wan Y; Sui Y, 2021, 'Fix-Filter-Fix: Intuitively Connect Any Models for Effective Bug Fixing', in EMNLP 2021 - 2021 Conference on Empirical Methods in Natural Language Processing, Proceedings, pp. 3495 - 3504
    Conference Papers | 2021
    Wang D; Li S; Xiao G; Liu Y; Sui Y, 2021, 'An exploratory study of autopilot software bugs in unmanned aerial vehicles', in ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 20 - 31, http://dx.doi.org/10.1145/3468264.3468559
    Conference Papers | 2021
    Xiao G; Liu J; Zheng Z; Sui Y, 2021, 'Nondeterministic Impact of CPU Multithreading on Training Deep Learning Systems', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 557 - 568, http://dx.doi.org/10.1109/ISSRE52982.2021.00063
    Conference Papers | 2021
    Zhang J; Hong H; Zhang Y; Wan Y; Liu Y; Sui Y, 2021, 'Disentangled Code Representation Learning for Multiple Programming Languages', in Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021, pp. 4454 - 4466
    Conference Papers | 2020
    Aung TWW; Huo H; Sui Y, 2020, 'A literature review of automatic traceability links recovery for software change impact analysis', in IEEE International Conference on Program Comprehension, pp. 14 - 24, http://dx.doi.org/10.1145/3387904.3389251
    Conference Papers | 2020
    Barbar M; Sui Y; Chen S, 2020, 'Flow-sensitive type-based heap cloning', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2020.24
    Conference Papers | 2020
    Chen H; Guo S; Xue Y; Sui Y; Zhang C; Li Y; Wang H; Liu Y, 2020, 'MUZZ: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs', in Proceedings of the 29th USENIX Security Symposium, pp. 2325 - 2342
    Conference Papers | 2020
    Du X; Xiao G; Sui Y, 2020, 'Fault triggers in the tensorflow framework: An experience report', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 1 - 12, http://dx.doi.org/10.1109/ISSRE5003.2020.00010
    Conference Papers | 2020
    Li S; Wu Y; Liu Y; Wang D; Wen M; Tao Y; Sui Y; Liu Y, 2020, 'An exploratory study of bugs in extended reality applications on the web', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 172 - 183, http://dx.doi.org/10.1109/ISSRE5003.2020.00025
    Conference Papers | 2020
    Li W; Cai H; Sui Y; Manz D, 2020, 'PCA: Memory leak detection using partial call-path analysis', in ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1621 - 1625, http://dx.doi.org/10.1145/3368089.3417923
    Conference Papers | 2020
    Oh H; Sui Y, 2020, 'Welcome from the Chairs', in TAPAS 2020 - Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, Co-located with SPLASH 2020, pp. III
    Conference Papers | 2020
    Shu Y; Sui Y; Zhang H; Xu G, 2020, 'Perf-AL: Performance prediction for configurable software through adversarial learning', in International Symposium on Empirical Software Engineering and Measurement, http://dx.doi.org/10.1145/3382494.3410677
    Conference Papers | 2020
    Tang Y; Sui Y; Wang H; Luo X; Zhou H; Xu Z, 2020, 'All your app links are belong to us: Understanding the threats of instant apps based attacks', in ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 914 - 926, http://dx.doi.org/10.1145/3368089.3409702
    Conference Papers | 2020
    Wang H; Xie X; Li Y; Wen C; Li Y; Liu Y; Qin S; Chen H; Sui Y, 2020, 'Typestate-guided fuzzer for discovering use-after-free vulnerabilities', in Proceedings - International Conference on Software Engineering, pp. 999 - 1010, http://dx.doi.org/10.1145/3377811.3380386
    Conference Papers | 2020
    Xiao G; Du X; Sui Y; Yue T, 2020, 'HINDBR: Heterogeneous information network based duplicate bug report prediction', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 195 - 206, http://dx.doi.org/10.1109/ISSRE5003.2020.00027
    Conference Papers | 2020
    Xue Y; Ma M; Lin Y; Sui Y; Ye J; Peng T, 2020, 'Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts', in Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, pp. 1029 - 1040, http://dx.doi.org/10.1145/3324884.3416553
    Conference Papers | 2020
    Ye J; Ma M; Lin Y; Sui Y; Xue Y, 2020, 'Clairvoyance: Cross-contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts', in Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering: Companion, ICSE-Companion 2020, pp. 274 - 275, http://dx.doi.org/10.1145/3377812.3390908
    Conference Papers | 2020
    Zhang Y; Xiao G; Zheng Z; Zhu T; Tsang IW; Sui Y, 2020, 'An empirical study of code deobfuscations on detecting obfuscated android piggybacked apps', in Proceedings - Asia-Pacific Software Engineering Conference, APSEC, pp. 41 - 50, http://dx.doi.org/10.1109/APSEC51365.2020.00012
    Conference Papers | 2019
    Aung TWW; Huo H; Sui Y, 2019, 'Interactive Traceability Links Visualization using Hierarchical Trace Map', in Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019, pp. 367 - 369, http://dx.doi.org/10.1109/ICSME.2019.00059
    Conference Papers | 2019
    Cheng X; Wang H; Hua J; Zhang M; Xu G; Yi L; Sui Y, 2019, 'Static detection of control-flow-related vulnerabilities using graph embedding', in Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, pp. 41 - 50, http://dx.doi.org/10.1109/ICECCS.2019.00012
    Conference Papers | 2019
    Lei Y; Sui Y, 2019, 'Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 27 - 47, http://dx.doi.org/10.1007/978-3-030-32304-2_3
    Conference Papers | 2019
    Sui Y; Zhang Y; Zheng W; Zhang M; Xue J, 2019, 'Event trace reduction for effective bug replay of Android apps via differential GUI state analysis', in ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1095 - 1099, http://dx.doi.org/10.1145/3338906.3341183
    Conference Papers | 2019
    Wan Y; Shu J; Sui Y; Xu G; Zhao Z; Wu J; Yu P, 2019, 'Multi-modal attention network learning for semantic source code retrieval', in Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, pp. 13 - 25, http://dx.doi.org/10.1109/ASE.2019.00012
    Conference Papers | 2019
    Wu D; Liu J; Sui Y; Chen S; Xue J, 2019, 'Precise static happens-before analysis for detecting UAF order violations in android', in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019, pp. 276 - 287, http://dx.doi.org/10.1109/ICST.2019.00035
    Conference Papers | 2019
    Xu X; Sui Y; Yan H; Xue J, 2019, 'VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences', in Proceedings - International Conference on Software Engineering, pp. 512 - 523, http://dx.doi.org/10.1109/ICSE.2019.00063
    Conference Papers | 2019
    Yan H; Chen S; Sui Y; Zhang Y; Zou C; Xue J, 2019, 'Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Porto, Portugal, pp. 48 - 72, presented at 26th international symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Porto, Portugal, 08 October 2019 - 11 October 2019, http://dx.doi.org/10.1007/978-3-030-32304-2_4
    Conference Papers | 2019
    Zou C; Sui Y; Yan H; Xue J, 2019, 'TCD: Statically Detecting Type Confusion Errors in C++ Programs', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 292 - 302, http://dx.doi.org/10.1109/ISSRE.2019.00037
    Conference Papers | 2018
    Barbar M; Sui Y; Zhang H; Chen S; Xue J, 2018, 'Live path CFI against control flow hijacking attacks', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 768 - 779, http://dx.doi.org/10.1007/978-3-319-93638-3_45
    Conference Papers | 2018
    Barbar M; Sui Y; Zhang H; Chen S; Xue J, 2018, 'POSTER: Live path control flow integrity', in Proceedings - International Conference on Software Engineering, pp. 195 - 196, http://dx.doi.org/10.1145/3183440.3195093
    Conference Papers | 2018
    Gao Q; Ma S; Shao S; Sui Y; Zhao G; Ma L; Ma X; Duan F; Deng X; Zhang S; Chen X, 2018, 'CoBOT: Static C/C++ bug detection in the presence of incomplete code', in Proceedings - International Conference on Software Engineering, pp. 385 - 388, http://dx.doi.org/10.1145/3196321.3196367
    Conference Papers | 2018
    Nobakht M; Sui Y; Seneviratne A; Hu W, 2018, 'Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks', in Proceedings - 17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018, Institute of Electrical and Electronics Engineers (IEEE), NY, New York, pp. 533 - 538, presented at 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE), NY, New York, 31 July 2018 - 03 August 2018, http://dx.doi.org/10.1109/TrustCom/BigDataSE.2018.00081
    Conference Papers | 2018
    Yan H; Sui Y; Chen S; Xue J, 2018, 'Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities', in Proceedings - International Conference on Software Engineering, pp. 327 - 337, http://dx.doi.org/10.1145/3180155.3180178
    Conference Papers | 2018
    Zhang Y; Sui Y; Xue J, 2018, 'Launch-Mode-Aware Context-Sensitive Activity Transition Analysis', in Proceedings - International Conference on Software Engineering, pp. 598 - 608, http://dx.doi.org/10.1145/3180155.3180188
    Conference Papers | 2017
    Fan X; Sui Y; Liao X; Xue J, 2017, 'Boosting the precision of virtual call integrity protection with partial pointer analysis for C++', in ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pp. 329 - 340, presented at ISSTA 2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, 10 July 2017 - 14 July 2017, http://dx.doi.org/10.1145/3092703.3092729
    Conference Papers | 2017
    Yan H; Sui Y; Chen S; Xue J, 2017, 'Machine-learning-guided typestate analysis for static use-After-free detection', in ACM International Conference Proceeding Series, Orlando, FL, USA, pp. 42 - 54, presented at 33rd Annual Computer Security Applications Conference, Orlando, FL, USA, 04 December 2017 - 08 December 2017, http://dx.doi.org/10.1145/3134600.3134620
    Conference Papers | 2017
    Zhang J; Sui Y; Xue J, 2017, 'Incremental analysis for probabilistic programs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), New York, NY, USA, pp. 450 - 472, presented at 24th International Symposium, SAS 2017, New York, NY, USA, 30 August 2017 - 01 September 2017, http://dx.doi.org/10.1007/978-3-319-66706-5_22
    Conference Papers | 2016
    Di P; Sui Y, 2016, 'Accelerating dynamic data race detection using static thread interference analysis', in Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2016, Barcelona, Spain, pp. 30 - 39, presented at PMAM'16 Proceedings of the 7th International Workshop, Barcelona, Spain, 12 March 2016 - 16 March 2016, http://dx.doi.org/10.1145/2883404.2883405
    Conference Papers | 2016
    Sui Y; Di P; Xue J, 2016, 'Sparse flow-sensitive pointer analysis for multithreaded programs', in Proceedings of the 14th International Symposium on Code Generation and Optimization, CGO 2016, ASSOC COMPUTING MACHINERY, Barcelona, SPAIN, pp. 160 - 170, presented at 14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 12 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2854038.2854043
    Conference Papers | 2016
    Sui Y; Fan X; Zhou H; Xue J, 2016, 'Loop-Oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization', in Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Association for Computing Machinery (ACM), Santa Barbara, CA, USA, pp. 41 - 51, presented at 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, Santa Barbara, CA, USA, 13 June 2016 - 14 June 2016, http://dx.doi.org/10.1145/2907950.2907957
    Conference Papers | 2016
    Sui Y; Fan X; Zhou H; Xue J, 2016, 'Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization', in Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, ACM, presented at LCTES'16: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2016, http://dx.doi.org/10.1145/2907950.2907957
    Conference Papers | 2016
    Sui Y; Lu J; Xue J, 2016, 'On-demand Strong Update Analysis via value-flow Refinement', in Zimmermann T; ClelandHuang J; Su Z (eds.), International symposium on the foundations of software engineering, IEEE, Seattle, pp. 460 - 473, presented at FSE'16, Seattle, 13 November 2016 - 18 November 2016, http://dx.doi.org/10.1145/2950290.2950296
    Conference Papers | 2016
    Sui Y; Xue J, 2016, 'SVF: Interprocedural static value-flow analysis in LLVM', in Proceedings of CC 2016: The 25th International Conference on Compiler Construction, Association for Computing Machinery (ACM), Barcelona, Spain, pp. 265 - 266, presented at 25th International Conference on Compiler Construction, Barcelona, Spain, 17 March 2016 - 18 March 2016, http://dx.doi.org/10.1145/2892208.2892235
    Conference Papers | 2016
    Yan H; Sui Y; Chen S; Xue J, 2016, 'Automated memory leak fixing on value-flow slices for C programs', in Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery (ACM), New York, NY, USA, pp. 1386 - 1393, presented at 31st Annual ACM Symposium on Applied Computing, New York, NY, USA, 04 April 2016 - 08 April 2016, http://dx.doi.org/10.1145/2851613.2851773
    Conference Papers | 2015
    Di P; Sui Y; Ye D; Xue J, 2015, 'Region-Based May-Happen-in-Parallel Analysis for C Programs', in Proceedings of the International Conference on Parallel Processing, Institute of Electrical and Electronics Engineers (IEEE), Beijing China, pp. 889 - 898, presented at 2015 44th International Conference on on Parallel Processing (ICPP), Beijing China, 01 September 2015 - 04 September 2015, http://dx.doi.org/10.1109/ICPP.2015.98
    Conference Papers | 2015
    Xue J; Fan X; Sui Y, 2015, 'Contention-Aware Scheduling for Asymmetric Multicore Processors.', in 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), Institute of Electrical and Electronics Engineers (IEEE), Melbourne, pp. 742 - 751, presented at 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS), Melbourne, 14 December 2015 - 17 December 2015, http://dx.doi.org/10.1109/icpads.2015.98
    Conference Papers | 2014
    Li Y; Tan T; Sui Y; Xue J, 2014, 'Self-inferencing reflection resolution for Java', in Lecture Notes in Computer Science 8586, Springer Verlag, UppSala, pp. 27 - 53, presented at 8th European Conference on Object-Oriented Programming (ECOOP'14), UppSala, 28 July 2014 - 01 August 2014, http://dx.doi.org/10.1007/978-3-662-44202-9_2
    Conference Papers | 2014
    Ye D; Su Y; Sui Y; Xue J, 2014, 'WPBOUND: Enforcing spatial memory safety efficiently at runtime with weakest preconditions', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Institute of Electrical and Electronics Engineers (IEEE), ITALY, Naples, pp. 88 - 99, presented at 2014 IEEE 25th International Symposium on Software Reliability Engineering, ITALY, Naples, 03 November 2014 - 06 November 2014, http://dx.doi.org/10.1109/ISSRE.2014.20
    Conference Papers | 2014
    Ye D; Sui Y; Xue J, 2014, 'Accelerating dynamic detection of uses of undefined values with static value-flow analysis', in Proceedings of the 12th ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2014, pp. 154 - 164, http://dx.doi.org/10.1145/2544137.2544154
    Conference Papers | 2014
    Ye S; Sui Y; Xue J, 2014, 'Region-Based Selective Flow-Sensitive Pointer Analysis', in Müller-Olm M; Seidl H (ed.), 21st International Symposium on static Analysis, LNCS, Munich, Germany, pp. 319 - 336, presented at 21st International Symposium on static Analysis, Munich, Germany, 11 September 2014 - 13 September 2014
    Conference Papers | 2013
    Li Y; Sui Y; Xue J, 2013, 'Query-directed adaptive heap cloning for optimizing compilers', in Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, presented at 11th IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2013, Shenzhen; China, 23 February 2013 - 27 February 2013, http://dx.doi.org/10.1109/CGO.2013.6494978
    Conference Papers | 2012
    Di P; Ye D; Su Y; Sui Y; Xue J, 2012, 'Automatic Parallelization of Tiled Loop Nests with Enhanced Fine-Grained Parallelism on GPUs', in Proceedings of the International Conference on Parallel Processing, IEEE Computer Society, Los Alamitos, Calif., pp. 350 - 359, presented at The 41st International Conference on Parallel Processing, Pittsburgh, PA, USA, 10 September 2012 - 13 September 2012
    Conference Papers | 2012
    Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', in Proceedings of the 2012 International Symposium on Software Testing and Analysis, ACM, presented at ISSTA '12: International Symposium on Software Testing and Analysis, http://dx.doi.org/10.1145/2338965.2336784
    Conference Papers | 2012
    Sui Y; Ye D; Xue J, 2012, 'Static memory leak detection using full-sparse value-flow analysis', Minneapolis, MN, pp. 254 - 264, presented at 21st International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, 15 July 2012 - 20 July 2012, http://dx.doi.org/10.1145/04000800.2336784
    Conference Papers | 2011
    Sui Y; Ye S; Xue J; Yew P-C, 2011, 'SPAS: Scalable path-sensitive pointer analysis on full-sparse SSA', in Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Proceedings, Springer Verlag, Heidelberg, Germany, pp. 155 - 171, presented at 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, Kenting, Taiwan, 05 December 2011 - 07 December 2011, http://dx.doi.org/10.1007/978-3-642-25318-8_14
    Conference Papers | 2010
    Yang Y; Zhou X; Yang G; Wang B; Sui Y, 2010, 'Trustworthy Service Scheduling Framework for QoS garantee of composite service', in 2nd International Conference on Information Science and Engineering, ICISE2010 - Proceedings, http://dx.doi.org/10.1109/ICISE.2010.5691645