Subjects :
concurrency bugs
논문 검색결과
| Type |
Year |
Title |
Cited |
Download |
|
Journal
|
2020 |
Efficient Noise Injection for Exposing Hidden Data Races
Yu Misun Journal of Supercomputing, v.76, no.1, pp.292-323 |
1 |
원문
|
|
Journal
|
2019 |
AdaptiveLock: Efficient Hybrid Data Race Detection Based on Real-World Locking Patterns
Yu Misun International Journal of Parallel Programming, v.47, no.5-6, pp.805-837 |
5 |
원문
|
|
Conference
|
2016 |
Characterizing Non-Deadlock Concurrency Bug Fixes in Open-Source Java Programs
Yu Misun Symposium on Applied Computing (SAC) 2016, pp.1534-1537 |
4 |
원문
|
|
Journal
|
2014 |
SimpleLock+: Fast and Accurate Hybrid Data Race Detection
Yu Misun Computer Journal, v.2014, pp.1-17 |
14 |
원문
|
|
Conference
|
2009 |
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay
김문주 Workshop on Model Based Testing (MBT) 2009, pp.21-36 |
|
|
특허 검색결과
| Status |
Year |
Patent Name |
Country |
Family Pat. |
KIPRIS |
|
No search results. |
연구보고서 검색결과
| Type |
Year |
Research Project |
Primary Investigator |
Download |
|
No search results. |