Travelled to:1 × Canada
1 × South Africa
1 × Switzerland
3 × USA
Collaborated with:M.J.Harrold ∅ R.W.Vuduc S.Hong J.Ahn M.Kim B.M.M.Hossain I.Hussain C.Csallner M.Grechanik K.Taneja C.Fu Q.Xie
Talks about:concurr (6) program (3) bug (3) deadlock (2) coverag (2) achiev (2) local (2) fault (2) non (2) understand (1)
Person: Sangmin Park
DBLP: Park:Sangmin
Contributed to:
2013
2013
2012
201220122010Wrote 7 papers:
- ICSE-2013-Park #comprehension #concurrent #fault #source code
- Fault comprehension for concurrent programs (SP), pp. 1444–1446.
- ISSTA-2013-Park #concurrent #debugging
- Debugging non-deadlock concurrency bugs (SP), pp. 358–361.
- ISSTA-2013-ParkHV #comprehension #concurrent #data access #debugging #named
- Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs (SP, MJH, RWV), pp. 134–144.
- FSE-2012-ParkHHCGTFX #named #performance
- CarFast: achieving higher statement coverage faster (SP, BMMH, IH, CC, MG, KT, CF, QX), p. 35.
- ICST-2012-ParkVH #approach #concurrent #debugging
- A Unified Approach for Localizing Non-deadlock Concurrency Bugs (SP, RWV, MJH), pp. 51–60.
- ISSTA-2012-HongAPKH #concurrent #source code #testing
- Testing concurrent programs to achieve high synchronization coverage (SH, JA, SP, MK, MJH), pp. 210–220.
- ICSE-2010-ParkVH #concurrent #fault #locality #named #source code
- Falcon: fault localization in concurrent programs (SP, RWV, MJH), pp. 245–254.