|
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 |
원문
|
|
Journal
|
2017 |
Experimental Performance Comparison of Dynamic Data Race Detection Techniques
Yu Misun ETRI Journal, v.39, no.1, pp.124-134 |
8 |
원문
|
|
Journal
|
2014 |
VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs
Kim Young-Joo International Journal of Parallel Programming, v.42, no.6, pp.900-930 |
2 |
원문
|
|
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 |
|
|