Seminars & Colloquia
Department of Computer Science, University of Illinois at Urbana-Champaign
"ARTS: Available, Robust and Trustworthy Software with Architectural Supports"
Tuesday April 26, 2005 10:00 AM
Location: 136, EGRC NCSU Centennial Campus
(Visitor parking instructions)
This talk is part of the System Research Seminar series
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 architectural support for on-the-fly bug detection, with a brief description of other work such as data mining for detecting copy-paste and related bugs and OS support for interactive debugging and non-stop service.
Host: Xiaosong Ma, Department of Computer Science, NC State University