S
Sangmin Park
Researcher at Georgia Institute of Technology
Publications - 11
Citations - 402
Sangmin Park is an academic researcher from Georgia Institute of Technology. The author has contributed to research in topics: Concurrency & Debugging. The author has an hindex of 8, co-authored 11 publications receiving 361 citations.
Papers
More filters
Proceedings ArticleDOI
Falcon: fault localization in concurrent programs
TL;DR: A new dynamic fault-localization technique that can pinpoint faulty data-access patterns in multi-threaded concurrent programs and effectively and efficiently localize the faults for subjects is presented.
Proceedings ArticleDOI
CarFast: achieving higher statement coverage faster
Sangmin Park,B M Mainul Hossain,Ishtiaque Hussain,Christoph Csallner,Mark Grechanik,Kunal Taneja,Chen Fu,Qing Xie +7 more
TL;DR: The results indicate with strong statistical significance that when execution time is measured in terms of the number of runs of the application on different input test data, CarFast outperforms the evaluated competitive approaches on most subject applications.
Proceedings ArticleDOI
Testing concurrent programs to achieve high synchronization coverage
TL;DR: A new technique is presented that aims to achieve high coverage of concurrent programs by generating thread schedules to cover uncovered coverage requirements by first estimates synchronization-pair coverage requirements, and then generates thread schedules that are likely to cover covered coverage requirements.
Journal ArticleDOI
UNICORN: a unified approach for localizing non-deadlock concurrency bugs
TL;DR: The evaluation shows that UNICORN can effectively compute and rank the patterns that represent concurrency bugs, and perform computation and ranking with reasonable efficiency.
Proceedings ArticleDOI
A Unified Approach for Localizing Non-deadlock Concurrency Bugs
TL;DR: The evaluation shows that UNICORN can effectively compute and rank the patterns that represent concurrency bugs, and perform computation and ranking with reasonable efficiency.