Los Alamos National Laboratory

Science >  LANL Institutes

National Security Education Center


Fighting With Software Bugs

July 8, 2008
Time: 1:30 PM
Location: NSEC LARP 301

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.

<< Back to calendar
Operated by Los Alamos National Security, LLC for the U.S. Department of Energy's NNSA
Inside | © Copyright 2008-09 Los Alamos National Security, LLC All rights reserved | Disclaimer/Privacy | Web Contact