Sign in
Hengrui Xing
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Concurrent Programs
Top Venues
ESEC/SIGSOFT FSE
TACAS (2)
AAAI
</>
Publications
</>
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)