Hengrui Xing

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Concurrent Programs

Top Venues

ESEC/SIGSOFT FSE

Publications

Bangxin Li, Hengrui Xing, Chao Huang, Jin Qian, Huangqing Xiao, Linfeng Feng, Cong Tian
StructuralSleight: Automated Jailbreak Attacks on Large Language Models Utilizing Uncommon Text-Encoded Structure. CoRR (2024)
Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. ESEC/SIGSOFT FSE (2023)
Jie Su, Zuchao Yang, Hengrui Xing, Jiyu Yang, Cong Tian, Zhenhua Duan
PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution). TACAS (2) (2023)
Hengrui Xing, Ansaf Salleb-Aouissi, Nakul Verma
Automated Symbolic Law Discovery: A Computer Vision Approach. AAAI (2021)