Software Project

S ANG M IN PARK

Email: ********@**.******.*** Phone: 404-***-**** Web: www.cc.gatech.edu/~sangminp/

Research Interest

Program analysis and software engineering for concurrent programs

Education

Georgia Institute of Technology Aug. 2007 Present

Ph.D., Computer Science

Advisor: Mary Jean Harrold, Richard Vuduc

Korea Advanced Institute of Science and Technology (KAIST) Feb. 1999 Feb. 2007

B.S., Computer Science

Publications

1. Sangmin Park, Ishtiaque Hussain, Christoph Csallner, B.M. Mainul Hossain, Kunal Taneja, Mark Grechanik,

Chen Fu, and Qing Xie. CarFast: Achieving Higher Statement Coverage Faster. In Proceedings of the Interna-

tional Symposium on the Foundations of Software Engineering (FSE), Research Triangle Park, NC, November

2012. (acceptance ratio: 17.4%=35/201)

2. Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and

B.M. Mainul Hossain. Evaluating Program Analysis And Testing Tools With the RUGRAT Random Benchmark

Application Generator. In Proceedings of the International Workshop on Dynamic Analysis (WODA), Minneapo-

lis, MN, July 2012.

3. Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, and Mary Jean Harrold. Testing Concurrent Programs

to Achieve High Synchronization Coverage. In Proceedings of the International Symposium on Software Testing

and Analysis (ISSTA), Minneapolis, MN, July 2012. (acceptance ratio: 28.7%=31/108)

4. Sangmin Park, Richard Vuduc, and Mary Jean Harrold. A Uni ed Approach for Localizing Concurrency

Bugs. In Proceedings of the International Conference on Software Testing (ICST), Montreal, Canada, April

2012. (acceptance ratio: 26.9%=39/145)

5. Sangmin Park, Richard Vuduc, and Mary Jean Harrold. Falcon: Fault Localization for Concurrent Programs.

In Proceedings of the International Conference on Software Engineering (ICSE), Cape Town, South Africa, May

2010. (acceptance ratio: 13.7%=52/380)

Research and Work Experience

Aristotle & HPC Garage Research Groups, Georgia Tech

Fault localization for concurrent programs Jan. 2009 Present

Advisors: Mary Jean Harrold, Richard Vuduc

We developed a dynamic fault-localization technique that can pinpoint concurrency bugs in multi-threaded

programs. The technique monitors memory-access sequences during program execution and reports sus-

picious patterns. This work was published in ICSE 2010 and ICST 2012.

Test suite augmentation using symbolic execution Aug. 2007 Dec. 2008

Advisors: Mary Jean Harrold, Saswat Anand

We developed an algorithm to augment an existing test suite to cover uncovered branches of the program.

The underlying idea of the algorithm is to choose paths based on information obtained from the existing

test suite and to generate test inputs from new paths.

Software Engineering Group, KAIST

Testing concurrent programs to achieve high synchronization coverage Fall 2011

Mentor: Moonzoo Kim

We developed a new testing algorithm for concurrent programs. The goal of the testing algorithm is to

achieve high synchronization coverage for concurrent programs. See bit.ly/xlhUkV.

K-Model project Fall 2006

Advisor: Doo-Hwan Bae

1

We designed a Korean software process improvement Model (K-Model) for small and mid-sized compa-

nies. We designed K-Model to be compatible with international models such as CMMI and SPICE.

Accenture Technology Labs

Achieving higher test coverage faster Summer 2010

Mentors: Mark Grechanik, Chen Fu, Qing Xie

We created a novel fully automatic approach for ensuring that test Coverage Achieved higheR and FASTer

(CarFast) by combining feedback-directed random testing with static program analysis, dynamic sym-

bolic execution, and constraint solving. See www.carfast.org and www.rugrat.ws.

Somansa Co. Ltd.

ClickMind project Jan. 2003 Aug. 2006

We designed and developed a Web analytics solution that reports statistics for Web portals. The solution

was deployed to one of the largest sites in the world, Nate.com, in 2004.

ClickMonitor project Summer 2002

We designed and developed a monitoring software for deployed programs of the software solutions by

Somansa.

Skill Sets

Programming Languages: Java, C/C++, Python

Program Analysis: Soot, Java Path nder, LLVM, PIN

Honors

Symantec graduate fellowship nalist, Symantec, 2012

KSEA graduate scholarship, KSEA, 2011

Student travel award, SIGSOFT, 2010

Summa cum laude, KAIST, 2007

Odysseus scholarship, KAIST, 2001

Merit-based scholarship, KAIST, 1999-2002

Activities

External Reviewer for ICSE, FSE, ASE, ISSTA

Student volunteer, FSE, 2008, 2010

Student member, ACM, 2007-Present

Student member, IEEE, 2011-Present

Organizer, SE reading group, Georgia Tech, 2008-2009

President, KAIST alumni association, Georgia Tech, 2008-2009

Member, Samsung software membership, Daejeon, Korea, 2002

Course Work

Software Testing and Analysis, Compiler Design, High Perform Computer Architecture,

Computability and Algorithms, Machine Learning, Probabilistic Models, Computational Statistics,

Simulation

2

Contact this candidate