CV
I currently work at Google, leading the Engineering Productivity team for Google Ads Buyside Platform. I graduated from Berkeley in 2012, where I was in the ParLab working on testing and verification of concurrent programs with my advisor Koushik Sen.
Contact
email: chngsprk _AT_ gmail.com
Research
Automatic Prevention of Accidents in Production
Chang-Seo Park
[industrial abstract | talk(video) | slides] AST 2020
Scaling Data Race Detection for Partitioned Global Address Space Programs
Chang-Seo Park, Koushik Sen, Costin Iancu
PPoPP 2013, ICS 2013
Concurrent Breakpoints
Chang-Seo Park and Koushik Sen
[short paper|tech report] PPoPP 2012
Efficient Data Race Detection for Distributed Memory Parallel Programs
Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen
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
Teaching
Guest lecture for CS267: Applications of Parallel Computers (Spring 2012) [slides]
GSI for CS164: Programming Languages and Compilers (Spring 2011) [notes and handouts]
Education
University of California, Berkeley, CA
Ph.D. in Computer Science, December 2012
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