{"52805":{"#nid":"52805","#data":{"type":"event","title":"CS Faculty Candidate Seminar - Feng Chen","body":[{"value":"\u003Cp\u003E\u003Cstrong\u003EFeng Chen \u003Cbr \/\u003EUniversity of Illinois at Urbana-Champaign\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cp\u003E\u0022\u003Cstrong\u003ERuntime Monitoring for Reliable Software\u0022\u003C\/strong\u003E\u003C\/p\u003E\n\u003Cp\u003E\u003Cstrong\u003EAbstract:\u003C\/strong\u003E\u00a0Runtime monitoring of requirements in software development can increase the reliability of the resulting systems.\u00a0 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. \u00a0On 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.\u00a0 In this talk, I will discuss two novel runtime monitoring approaches, namely predictive runtime analysis and monitoring oriented programming (MOP).\u00a0 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.\u003C\/p\u003E\n\u003Cp\u003E\u003C\/p\u003E\n\u003Cp\u003E\u003Cstrong\u003EBio:\u003C\/strong\u003E\u00a0Feng Chen is a PhD candidate in the Department of Computer Science at the University of Illinois at Urbana-Champaign.\u00a0 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.\u00a0 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.\u00a0\u00a0 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.\u00a0 He obtained an MS degree in Computer Science in 2002 at Peking University.\u003C\/p\u003E\n\u003Cp\u003E\u00a0\u003C\/p\u003E\n\u003Cp\u003E\u003C\/p\u003E","summary":null,"format":"limited_html"}],"field_subtitle":"","field_summary":"","field_summary_sentence":"","uid":"27154","created_gmt":"2010-02-11 15:57:54","changed_gmt":"2016-10-08 01:50:09","author":"Louise Russo","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2008-03-04T10:00:00-05:00","event_time_end":"2008-03-04T11:10:00-05:00","event_time_end_last":"2008-03-04T11:10:00-05:00","gmt_time_start":"2008-03-04 15:00:00","gmt_time_end":"2008-03-04 16:10:00","gmt_time_end_last":"2008-03-04 16:10:00","rrule":null,"timezone":"America\/New_York"},"extras":[],"groups":[{"id":"47223","name":"College of Computing"}],"categories":[],"keywords":[],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"Shanita Williams","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}