When: Tuesday, July 08, 3:30 p.m.

Where: 8220 (New Room!) Wean Hall

Soyeon Park, Post-doc Researcher
Dept. of Computer Science
University of Illinois at Urbana-Champaign

Special SDI/LCS Seminar

Abstract:
Software bugs are frequently and severely threatening system availability, and it is very difficult to find them during production runs. This talk discusses two recent techniques, SafeMem and AVIO, to dynamically and efficiently detect software bugs. Specifically, SafeMem detects one major type of software bugs, memory leaks and memory corruptions with existing hardware technology (i.e. ECC memory) and negligible runtime overhead. As another important type of software bugs, concurrency bugs such as data races, atomicity violations, and deadlock have been a major concern for multi-threaded and multi-process program developers, because it is very hard to detect due to the non-determinism of thread interleavings. AVIO was recently proposed to detect atomicity violation bugs by automatically inferring programmer's intention about atomic regions and monitoring violation to the inferred intention.

Soyeon Park is a post-doc researcher in Computer Science at the University of Illinois at Urbana-Champaign. Her research interests include software robustness and reliability, concurrent systems, and computer architecture. She have been worked with Yuanyuan Zhou for three years and she was involved in several projects for concurrency bug detection, real-world concurrency bug characteristic study, and software testing. Soyeon received PhD in Computer Science from Korea Advanced Institute of Science and Technology (KAIST), Korea.

Faculty Host: Garth Gibson
Appointments: karen@ece.cmu.edu

<< Back