Publications

2 results for Jingzhu He

Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis
- - Yuchen Ji
  - Ting Dai
  - et al.
- 2025
- Proceedings of the ACM on Programming Languages
Paper
HangFix: Automatically fixing software hang bugs for production cloud systems
- - Jingzhu He
  - Ting Dai
  - et al.
- 2020
- SoCC 2020
Conference paper