DATE: Friday, September 23, 2005 Note Special Day
TIME: 12:00 pm - 1:00 pm
PLACE: CIC 2101

SPEAKER:
YuanYuan Zhou
University of Illinois at Urbana-Champaign

TITLE:
ARTS: Available, Robust and Trustworthy Software

ABSTRACT:
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 support non-stop service. Our ARTS project consists of four parts: (1)static program analysis using intelligent algorithms such as data mining techniques; (2)dynamic execution monitoring with innovative architectural support; (3)architecture and OS support for interactive debugging; and (4)OS support for dynamically surviving software failures. In particular, my talk will focus on using data mining to detect program patterns and related bugs in large software including operating system codes. In addition, I will briefly describe several of our proposed architectural support for on-the-fly bug detection, and OS support for interactive debugging and non-stop service.

BIO:
Yuanyuan (YY) Zhou is an assistant professor in the Department of Computer Science at Univ of Illinois at Urbana Champaign. 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 debugging. 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, the IBM Faculty Award 2004-2005, and the IBM SUR-2003 award. She got her Ph.D and M.A from Princeton University and B.S. from Beijing University in P.R.China.

SDI / LCS Seminar Questions?
Karen Lindenfelser, 86716, or visit www.pdl.cmu.edu/SDI/