Yulei Sui

Proc. ACM Program. Lang., 2021

A survey of Intel SGX and its applications.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2021

Beyond the virus: a first look at coronavirus-themed Android malware.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

An exploratory study of autopilot software bugs in unmanned aerial vehicles.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Hash Consed Points-To Sets.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 28th International Symposium, 2021

Runtime detection of memory errors with smart status.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Nondeterministic Impact of CPU Multithreading on Training Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

Fix-Filter-Fix: Intuitively Connect Any Models for Effective Bug Fixing.

[BibT_eX]

[DOI]

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Object Versioning for Flow-Sensitive Pointer Analysis.

[BibT_eX]

[DOI]

Shiping Chen

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

Disentangled Code Representation Learning for Multiple Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, 2021

2020

Value-Flow-Based Demand-Driven Pointer Analysis for C and C++.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

An Empirical Study of Regression Bug Chains in Linux.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2020

Familial Clustering for Weakly-Labeled Android Malware Using Hybrid Representation Learning.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2020

Secure Metric Learning via Differential Pairwise Privacy.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2020

Flow2Vec: value-flow-based precise code embedding.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

PGFit: Static permission analysis of health and fitness apps in IoT programming frameworks.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2020

Flow-Sensitive Type-Based Heap Cloning (Artifact).

[BibT_eX]

[DOI]

Shiping Chen

Dagstuhl Artifacts Ser., 2020

NaturalCC: A Toolkit to Naturalize the Source Code Corpus.

[BibT_eX]

[DOI]

CoRR, 2020

MUZZ: Thread-aware Grey-box Fuzzing for Effective Bug Hunting in Multithreaded Programs.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

All your app links are belong to us: understanding the threats of instant apps based attacks.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

PCA: memory leak detection using partial call-path analysis.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

A Literature Review of Automatic Traceability Links Recovery for Software Change Impact Analysis.

[BibT_eX]

[DOI]

Thazin Win Win Aung

Huan Huo

Proceedings of the ICPC '20: 28th International Conference on Program Comprehension, 2020

HINDBR: Heterogeneous Information Network Based Duplicate Bug Report Prediction.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

An Exploratory Study of Bugs in Extended Reality Applications on the Web.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Fault Triggers in the TensorFlow Framework: An Experience Report.

[BibT_eX]

[DOI]

Xiaoting Du

Guanping Xiao

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Typestate-guided fuzzer for discovering use-after-free vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Perf-AL: Performance Prediction for Configurable Software through Adversarial Learning.

[BibT_eX]

[DOI]

Proceedings of the ESEM '20: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2020

Flow-Sensitive Type-Based Heap Cloning.

[BibT_eX]

[DOI]

Shiping Chen

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

An Empirical Study of Code Deobfuscations on Detecting Obfuscated Android Piggybacked Apps.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Event trace reduction for effective bug replay of Android apps via differential GUI state analysis.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 26th International Symposium, 2019

Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis.

[BibT_eX]

[DOI]

Yuxiang Lei

Proceedings of the Static Analysis - 26th International Symposium, 2019

Multi-modal Attention Network Learning for Semantic Source Code Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

TCD: Statically Detecting Type Confusion Errors in C++ Programs.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Precise Static Happens-Before Analysis for Detecting UAF Order Violations in Android.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Interactive Traceability Links Visualization using Hierarchical Trace Map.

[BibT_eX]

[DOI]

Thazin Win Win Aung

Huan Huo

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

VFix: value-flow-guided precise program repair for null pointer dereferences.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Loop-Oriented Pointer Analysis for Automatic SIMD Vectorization.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2018

Parallel construction of interprocedural memory SSA form.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Managing high-performance computing applications as an on-demand service on federated clouds.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2018

Permission Analysis of Health and Fitness Apps in IoT Programming Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference On Trust, 2018

CoBOT: static C/C++ bug detection in the presence of incomplete code.

[BibT_eX]

[DOI]

Proceedings of the 26th Conference on Program Comprehension, 2018

Launch-mode-aware context-sensitive activity transition analysis.

[BibT_eX]

[DOI]

Yifei Zhang

Proceedings of the 40th International Conference on Software Engineering, 2018

Spatio-temporal context reduction: a pointer-analysis-based static approach for detecting use-after-free vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Live path control flow integrity.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Live Path CFI Against Control Flow Hijacking Attacks.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 23rd Australasian Conference, 2018

2017

Demand-Driven Pointer Analysis with Strong Updates via Value-Flow Refinement.

[BibT_eX]

[DOI]

CoRR, 2017

Incremental Analysis for Probabilistic Programs.

[BibT_eX]

[DOI]

Jieyuan Zhang

Proceedings of the Static Analysis - 24th International Symposium, 2017

Boosting the precision of virtual call integrity protection with partial pointer analysis for C++.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2016

Eliminating Redundant Bounds Checks in Dynamic Buffer Overflow Detection Using Weakest Preconditions.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2016

On-demand strong update analysis via value-flow refinement.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Automated memory leak fixing on value-flow slices for C programs.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Accelerating Dynamic Data Race Detection Using Static Thread Interference Analysis.

[BibT_eX]

[DOI]

Peng Di

Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, 2016

Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

Sparse flow-sensitive pointer analysis for multithreaded programs.

[BibT_eX]

[DOI]

Peng Di

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016

SVF: interprocedural static value-flow analysis in LLVM.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Compiler Construction, 2016

2015

Region-Based May-Happen-in-Parallel Analysis for C Programs.

[BibT_eX]

[DOI]

Proceedings of the 44th International Conference on Parallel Processing, 2015

Contention-Aware Scheduling for Asymmetric Multicore Processors.

[BibT_eX]

[DOI]

Xiaokang Fan

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

2014

Developing practical pointer analysis for large-scale software.

[BibT_eX]

[DOI]

PhD thesis, 2014

Detecting Memory Leaks Statically with Full-Sparse Value-Flow Analysis.

[BibT_eX]

[DOI]

Ding Ye

IEEE Trans. Software Eng., 2014

Making context-sensitive inclusion-based pointer analysis practical for compilers using parameterised summarisation.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2014

Region-Based Selective Flow-Sensitive Pointer Analysis.

[BibT_eX]

[DOI]

Sen Ye

Proceedings of the Static Analysis - 21st International Symposium, 2014

WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Self-inferencing Reflection Resolution for Java.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis.

[BibT_eX]

[DOI]

Ding Ye

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013

Query-directed adaptive heap cloning for optimizing compilers.

[BibT_eX]

[DOI]

Yue Li

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

Static memory leak detection using full-sparse value-flow analysis.

[BibT_eX]

[DOI]

Ding Ye