Chang-Seo Park Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chang-Seo Park, Koushik Sen, Costin Iancu: Scalable data race detection for partitioned global address space programs. PPOPP 2013: 305-306
2012
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chang-Seo Park, Koushik Sen: Concurrent breakpoints. PPOPP 2012: 331-332
2011
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu: Efficient data race detection for distributed memory parallel programs. SC 2011: 51
2009
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen: CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV 2009: 675-681
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay: Effective static deadlock detection. ICSE 2009: 386-396
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik: A randomized dynamic program analysis technique for detecting real deadlocks. PLDI 2009: 110-120
2008
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chang-Seo Park, Koushik Sen: Randomized active atomicity violation detection in concurrent programs. SIGSOFT FSE 2008: 135-145

Coauthor Index

1David Gay
[c3]
2Paul Hargrove
[c5]
3Costin Iancu
[c7] [c5]
4Pallavi Joshi
[c4] [c2]
5Mayur Naik
[c4] [c3] [c2]
6Koushik Sen
[c7] [c6] [c5] [c4] [c3] [c2] [c1]
Last update Tue May 21 11:54:19 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page