PhD Candidate
Computer Science Division
University of California, Berkeley
I am currently in the ParLab working on testing and verification of concurrent programs. My advisor is Koushik Sen.
|
PhD Candidate I am currently in the ParLab working on testing and verification of concurrent programs. My advisor is Koushik Sen. |
584E Soda Hall #1776
Berkeley, CA 94720-1776
email: parkcs _AT_ cs.berkeley.edu
Concurrent Breakpoints
Chang-Seo Park and Koushik Sen
[short paper|tech report] PPoPP 2012 (to appear)
Efficient Data Race Detection for Distributed Memory Parallel Programs
Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu
[paper|talk] SC 2011
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen
[paper|talk] CAV 2009
A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik
[paper] PLDI 2009
Effective Static Deadlock Detection (ACM SIGSOFT Distinguished Paper Award)
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
[paper] ICSE 2009
Randomized Active Atomicity Violation Detection in
Concurrent Programs
Chang-Seo Park and Koushik Sen
[paper|talk] FSE 2008
GSI for CS164: Programming Languages and Compilers (Spring 2011) [notes and handouts]
Stanford University, Stanford, CA
M.S. in Computer Science, June 2007
Seoul National University, Seoul, Korea
B.S. in Computer Science and Engineering, February 2005
Full CV available upon request
