Computer science colloquia
| Date/Time: | Thursday, 12 Mar 2009 at 3:40 pm |
|---|---|
| Location: | B29 Atanasoff |
| Cost: | Free |
| Phone: | 515-294-7609 |
| Channel: | Groups, governance |
| Categories: | Lectures |
| Actions: | Download iCal/vCal | Email Reminder |
How to effectively detect software errors is a critical and fundamental problem in software development. In this talk, I will focus on error detection techniques that are based on runtime verification. Runtime verification models and analyzes program behaviors through observing executions of the program, aiming at automated and efficient solutions to verifying desired properties. Runtime verification is receiving increasing interest due to its effectiveness in practice, leading to a large number of techniques proposed for different applications. This talk will present two novel approaches that employ runtime verification to detect intricate software errors, namely parametric trace analysis and predictive runtime analysis. The former provides a generic and efficient solution to verify properties involving a group of entities (e.g., objects or components), which abound in practice. The latter is a technique that effectively and correctly predicts concurrency bugs even when they did not occur in the observed execution.
Biography:
Feng Chen is a Ph.D. candidate in the Department of Computer Science at the University of Illinois at Urbana-Champaign. His Ph.D. 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 also is interested and active in the broader areas of software engineering, programming languages and formal methods. Feng Chen received the ACM SigSoft Distinguished Paper Award in the International Conference on Automated Software Engineering (ASE) in 2008 and the C.L and Jane Liu award from the Department of Computer Science at UIUC in 2005. He obtained an MS degree in Computer Science (2002) from Peking University.