Hui Xu

Orcid: 0000-0003-2465-8627

Affiliations:
  • Fudan University, School of Computer Science, Shanghai, China
  • Chinese University of Hong Kong, Department of Computer Science and Engineering, Hong Kong (PhD 2018)


According to our database1, Hui Xu authored at least 36 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.
ACM Trans. Softw. Eng. Methodol., July, 2023

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust.
CoRR, 2023

Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming.
CoRR, 2023

OOM-Guard: Towards Improving the Ergonomics of Rust OOM Handling via a Reservation-Based Approach.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Demystifying and Mitigating Cross-Layer Deficiencies of Soft Error Protection in Instruction Duplication.
Proceedings of the International Conference for High Performance Computing, 2023

Investigating the Impact of High-Level Software Design on Low-Level Hardware Fault Resilience.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022
Memory-Safety Challenge Considered Solved? An In-Depth Study with All Rust CVEs.
ACM Trans. Softw. Eng. Methodol., 2022

Rust Library Fuzzing.
IEEE Softw., 2022

Safe Rust Code Recommendation Based on Siamese Graph Neural Network.
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Automated Test Case Generation from Input Specification in Natural Language.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

LegoAI: Towards Building Reliable AI Software for Real-world Applications.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021
RULF: Rust Library Fuzzing via API Dependency Graph Traversal.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Boosting symbolic execution via constraint solving time prediction (experience paper).
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Fourth International Workshop on Dependable and Secure Machine Learning - DSML 2021.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020
Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs.
IEEE Trans. Dependable Secur. Comput., 2020

Layered obfuscation: a taxonomy of software obfuscation techniques for layered security.
Cybersecur., 2020

Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs.
CoRR, 2020

Towards intelligent incident management: why we need it and how we make it.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019
Detecting Deep Neural Network Defects with Data Flow Analysis.
CoRR, 2019

Textout: Detecting Text-Layout Bugs in Mobile Apps via Visualization-Oriented Learning.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

NV-DNN: Towards Fault-Tolerant DNN Systems with N-Version Programming.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2019

Deep Validation: Toward Detecting Real-World Corner Cases for Deep Neural Networks.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018
DeepObfuscation: Securing the Structure of Convolutional Neural Networks via Knowledge Distillation.
CoRR, 2018

Manufacturing Resilient Bi-Opaque Predicates Against Symbolic Execution.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2017
On Secure and Usable Program Obfuscation: A Survey.
CoRR, 2017

IntelliAd: assisting mobile app developers in measuring ad costs automatically.
Proceedings of the 39th International Conference on Software Engineering, 2017

Concolic Execution on Small-Size Binaries: Challenges and Empirical Study.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Assessing the Security Properties of Software Obfuscation.
IEEE Secur. Priv., 2016

IntelliAd Understanding In-APP Ad Costs From Users Perspective.
CoRR, 2016

DiagDroid: Android performance diagnosis via anatomizing asynchronous executions.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

N-version Obfuscation.
Proceedings of the 2nd ACM International Workshop on Cyber-Physical System Security, 2016

2015
N-Version Obfuscation: Impeding Software Tampering Replication with Program Diversity.
CoRR, 2015

PersisDroid: Android Performance Diagnosis via Anatomizing Asynchronous Executions.
CoRR, 2015

AR-Tracker: Track the Dynamics of Mobile Apps via User Review Mining.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

SpyAware: Investigating the privacy leakage signatures in app execution traces.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014
Towards Continuous and Passive Authentication via Touch Biometrics: An Experimental Study on Smartphones.
Proceedings of the Tenth Symposium on Usable Privacy and Security, 2014


  Loading...