Chengfeng Ye

According to our database, Chengfeng Ye authored at least 6 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Enhancing Semantic-Aware Binary Diffing with High-Confidence Dynamic Instruction Alignment.

Chengfeng Ye, Anshunkang Zhou, Charles Zhang

Proceedings of the 33rd Annual Network and Distributed System Security Symposium, 2026

2024

When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux.

Chengfeng Ye, Yuandao Cai, Charles Zhang

Proceedings of the 33rd USENIX Security Symposium, 2024

Plankton: Reconciling Binary Code and Debug Information.

Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries.

Chengfeng Ye, Yuandao Cai, Anshunkang Zhou, Heqing Huang, Hao Ling, Charles Zhang

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs.

Yuandao Cai, Peisen Yao, Chengfeng Ye, Charles Zhang

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Peahen: fast and precise static deadlock detection via context reduction.

Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022