*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Feng Chen
University of Illinois at Urbana-Champaign
"Runtime Monitoring for Reliable Software"
Abstract: Runtime monitoring of requirements in software development can increase the reliability of the resulting systems. On the one hand, if used to detect errors in programs, runtime monitoring can not only bring more rigor to testing but also provide the capability of predicting concurrency errors. On the other hand, if used as an integral part of a system to detect and recover from requirements violations at runtime, monitoring can increase the dependability and safety of the deployed system by guiding the running system to avoid catastrophic failures. In this talk, I will discuss two novel runtime monitoring approaches, namely predictive runtime analysis and monitoring oriented programming (MOP). The former is a technique that effectively and soundly predicts concurrency bugs during testing by improving the coverage of runtime monitoring using static analysis information, while the latter is a generic and efficient framework for developing morning based applications.
Bio: Feng Chen is a PhD candidate in the Department of Computer Science at the University of Illinois at Urbana-Champaign. His PhD thesis research is in the area of program analysis, with focus on using runtime monitoring and static analysis to increase the reliability of software. He is also interested and active in the broader areas of formal methods, programming language semantics and design, as well as in their use in software development. Feng Chen received C.L and Jane Liu award for the most promising graduate student from the Department of Computer Science at UIUC in 2005. He obtained an MS degree in Computer Science in 2002 at Peking University.
