Charles Zhang

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 11

Top Topics

Monte Carlo Methods

Matrix Inversion

Structured Learning

Top Venues

USENIX Security Symposium

Proc. ACM Program. Lang.

Publications

Heqing Huang, Hung-Chun Chiu, Qingkai Shi, Peisen Yao, Charles Zhang
Balance Seed Scheduling via Monte Carlo Planning. IEEE Trans. Dependable Secur. Comput. 21 (3) (2024)
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
GIANTSAN: Efficient Memory Sanitization with Segment Folding. ASPLOS (2) (2024)
Anshunkang Zhou, Chengfeng Ye, Heqing Huang, Yuandao Cai, Charles Zhang
Plankton: Reconciling Binary Code and Debug Information. ASPLOS (2) (2024)
Chengpeng Wang, Jipeng Zhang, Rongxin Wu, Charles Zhang
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yuandao Cai, Yibo Jin, Charles Zhang
Unleashing the Power of Type-Based Call Graph Construction by Using Regional Pointer Information. USENIX Security Symposium (2024)
Maryam Masoudian, Heqing Huang, Morteza Amini, Charles Zhang
Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events. IEEE Trans. Software Eng. 50 (8) (2024)
Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems. ICSE (2024)
Chengfeng Ye, Yuandao Cai, Charles Zhang
When Threads Meet Interrupts: Effective Static Detection of Interrupt-Based Deadlocks in Linux. USENIX Security Symposium (2024)
Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. ASPLOS (3) (2024)
Anshunkang Zhou, Yikun Hu, Xiangzhe Xu, Charles Zhang
ARCTURUS: Full Coverage Binary Similarity Analysis with Reachability-guided Emulation. ACM Trans. Softw. Eng. Methodol. 33 (4) (2024)