Login / Signup
Yunsong Jiang
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 3
Top Topics
Embedded Software
Concurrency Control
Sequence Diagrams
Data Flow
Top Venues
ISSTA
ISSREW
DSA
</>
Publications
</>
Tingting Yu
,
Chunpeng Jia
,
Rui Chen
,
Chao Li
,
Boxiang Wang
,
Yunsong Jiang
Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software.
ISSREW
(2023)
Chao Li
,
Rui Chen
,
Boxiang Wang
,
Zhixuan Wang
,
Tingting Yu
,
Yunsong Jiang
,
Bin Gu
,
Mengfei Yang
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.
ISSTA
(2023)
Rui Chen
,
Tingting Yu
,
Yunsong Jiang
,
Chunpeng Jia
,
Chao Li
,
Dongdong Gao
,
Mengfei Yang
Detecting Out-of-Bounds Array Access Errors in Aerospace Embedded Software.
DSA
(2020)