SPECIAL JOINT SDI / IRHPIT SEMINAR
Tuesday, July 8, 2008
3:30 pm - 5:00 pm
PLACE:Wean Hall 8220
NOTE SPECIAL DAY TIME & LOCATION
University of Illinoisat Urbana-Champaign
Fighting with Software Bugs – Memory Corruptions and Atomicity Violation
Software bugs frequently and severely threaten 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 has worked with Yuanyuan Zhou for three years and was involved in several projects for concurrency bug detection, real-world concurrency bug characteristic study, and software testing. Soyeon received her PhD in Computer Science from Korea Advanced Institute of Science and Technology (KAIST), Korea.
Host: Garth Gibson
If you would like to meet with Soyeon during the week of July 7 - 11, please email Karen your available time slots.
or visit http://www.pdl.cmu.edu/SDI/