ARTS: Available, Robust and Trustworthy Software

In this talk, I will present our recent research on our ARTS project. The goal of our ARTS project is to efficiently and effectively detect bugs in software, and to enable software surviving bugs to provide non-stop service. Our ARTS project explores a spectrum of non-conventional approaches to improve the robustness and availability of software. These approaches include: (1) hardware architecture support for software debugging and testing, (2) applying data mining and statistic to program analysis, (3) OS support for interactive debugging, and (4) OS support for surviving software failures.

In particular, my talk will focus on hardware support for bug detection and OS support for surviving software faults. In addition, I will briefly describe how to use data mining to extract programming rules and detect related bugs in large software including OS codes (Linux, FreeBSD) and server codes (Apache, MySQL), as well as our bug characterization and benchmarking initiatives.
Yuanyuan Zhou is an assistant professor in the Department of Computer Science at the University of Illinois at Urbana Champaign since 2002. Prior to UIUC, she worked at NEC Research Institute as a scientist. She also co-founded a storage startup called Emphora, a spin-off from NEC. Her research interests span the areas of operating systems, architecture, storage systems and software reliability. She got her PhD from Princeton University in 2000. She was the recipient for the NSF Career-2004 award, the CRA-W Anita-Borg Early Career Award 2005, the DOE Early Career Principle Investigator Award 2005, the IBM Faculty Award 2004 & 2005, and the IBM SUR-2003 award. Two of her papers were among the 14 papers selected into the IEEE Micro Special Issue on Top Picks from architecture conferences 2004. Recently, one of her
SOSP papers was selected for fast forwarding to ACM Transactions on Computer
Systems Special Issue on Best Papers from SOSP 2005.