Chang-Seo Park

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 1

Top Topics

Semiconductor Manufacturing

Top Venues

Publications

Chang-Seo Park
Automatic Prevention of Accidents in Production. AST@ICSE (2020)
Chang-Seo Park, Koushik Sen, Costin Iancu
Scalable data race detection for partitioned global address space programs. PPOPP (2013)
Chang-Seo Park, Koushik Sen, Costin Iancu
Scaling data race detection for partitioned global address space programs. ICS (2013)
Chang-Seo Park, Koushik Sen
Concurrent breakpoints. PPOPP (2012)
Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu
Efficient data race detection for distributed memory parallel programs. SC (2011)
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
Effective static deadlock detection. ICSE (2009)
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV (2009)
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik
A randomized dynamic program analysis technique for detecting real deadlocks. PLDI (2009)
Chang-Seo Park, Koushik Sen
Randomized active atomicity violation detection in concurrent programs. SIGSOFT FSE (2008)