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/