• Sign in
  • Sign up
conf.researchr.org / Jie Su
  • ASE 2022 profile
  • ESEC/FSE 2021 profile
  • ESEC/FSE 2023 profile
Jie Su

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
xThu 15 May 08:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up