Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jie Su
conf.researchr.org general profile
ASE 2022 profile
ESEC/FSE 2021 profile
ESEC/FSE 2023 profile
Registered user since Tue 8 Jun 2021
Name:
Jie Su
Country:
China
Affiliation:
Xidian University
Research interests:
Formal Methods, Model Checking
Contributions
2023
ESEC/FSE
Author of [Remote] Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering within the Research Papers-track
2022
ASE
Author of Prioritized Constraint-Aided Dynamic Partial-Order Reduction within the Research Papers-track
2021
ESEC/FSE
Author of Conditional Interpolation: Making Concurrent Program Verification More Effective within the Research Papers-track
Share
x
Fri 22 Nov 05:08
