BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × France
1 × Ireland
2 × USA
Collaborated with:
K.Sen M.Naik P.Joshi C.Iancu D.Gay
Talks about:
program (4) detect (4) concurr (3) deadlock (2) random (2) activ (2) breakpoint (1) framework (1) techniqu (1) scalabl (1)

Person: Chang-Seo Park

DBLP DBLP: Park:Chang=Seo

Contributed to:

PPoPP 20132013
PPoPP 20122012
CAV 20092009
ICSE 20092009
PLDI 20092009
FSE 20082008

Wrote 6 papers:

PPoPP-2013-ParkSI #concurrent #detection #scalability #source code
Scalable data race detection for partitioned global address space programs (CSP, KS, CI), pp. 305–306.
PPoPP-2012-ParkS #concurrent
Concurrent breakpoints (CSP, KS), pp. 331–332.
CAV-2009-JoshiNPS #concurrent #framework #named #source code #testing
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs (PJ, MN, CSP, KS), pp. 675–681.
ICSE-2009-NaikPSG #concurrent #detection #effectiveness
Effective static deadlock detection (MN, CSP, KS, DG), pp. 386–396.
PLDI-2009-JoshiPSN #detection #program analysis #random
A randomized dynamic program analysis technique for detecting real deadlocks (PJ, CSP, KS, MN), pp. 110–120.
FSE-2008-ParkS #concurrent #detection #random #source code
Randomized active atomicity violation detection in concurrent programs (CSP, KS), pp. 135–145.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.