Feng Chen
From FSL
- Ph.D. Candidate
- Email: fengchen AT cs Dot uiuc Dot edu
- Office: 2111A Siebel Center, 201 N. Goodwin, Urbana, IL 61801-2302
[edit] Research
I have a broad range of research interests spanning formal methods, software engineering, and programming languages. Some specific topics that I work on include runtime verification, predictive runtime analysis, programming language design and semantics, and program analysis. As a member of the formal systems laboratory, I am currently involved in the following projects under the direction of Prof. Grigore Rosu:
- Monitoring-oriented programming, a generic and efficient runtime verification framework.
- Concurrent Runtime Verification, a technique to predict concurrency errors from observed executions using the sliced causality
- Rewriting Logic Semantics, to formally specify the semantics of real-life languages using the rewrite logic, e.g., Java
- jPendulum, a Java version of the robust control system for the Inverted Pendulum based on the Simplex model
Conference Calendar
[edit] Publications by Year
[edit] 2008
- Efficient Monitoring of Parametric Context-Free Patterns
- Patrick Meredith, Dongyun Jin, Feng Chen and Grigore Rosu
ASE'08, IEEE/ACM 2008, ACM Sigsoft Distinguished Paper
PDF, ASE'08 slides-key, ASE'08 slides-pdf, ASE'08 slides-ppt, ASE'08 slides-mov, ASE'08, BIB - Mining Parametric State-Based Specifications from Executions
- Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-3000, September 2008
PDF, BIB - Parametric Trace Slicing and Monitoring
- Grigore Rosu and Feng Chen
Technical report UIUCDCS-R-2008-2977, July 2008
PDF, TR@UIUC, BIB - jPredictor: A Predictive Runtime Analysis Tool for Java
- Feng Chen and Traian Florin Serbanuta and Grigore Rosu
ICSE'08, ACM, pp. 221-230, 2008
PDF, DOI, ICSE'08, ICSE'08 slides, BIB - Pluggable Policies for C
- Mark Hills, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-2931, January 2008
PDF, TR@UIUC, BIB - Synthesizing Monitors for Safety Properties -- This Time With Calls and Returns --
- Grigore Rosu, Feng Chen and Thomas Ball RV'08, to appear.
PDF, RV'08, BIB
[edit] 2007
- Synthesizing Monitors for Safety Properties -- This Time With Calls and Returns --
- Grigore Rosu,Feng Chen and Thomas Ball Technical report UIUCDCS-R-2007-2908, October 2007
PDF, BIB - Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity
- Feng Chen, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2007-2905, October 2007
PDF, BIB - MOP: An Efficient and Generic Runtime Verification Framework
- Feng Chen and Grigore Rosu
OOPSLA'07, ACM press, pp 569-588. 2007
PDF, OOPSLA'07 slides, ACM, OOPSLA'07, DBLP, TR@UIUC, BIB - Parametric and Sliced Causality
- Feng Chen and Grigore Rosu
CAV'07, LNCS 4590, pp 240 - 253, 2007
PDF, CAV'07 slides, CAV'07, TR@UIUC, BIB
[edit] 2006
- MOP: Reliable Software Development using Abstract Aspects
- Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2006-2776, October 2006
PDF, TR@UIUC, BIB - Discovering Likely Method Specifications
- Nikolai Tillmann and Feng Chen and Wolfram Schulte
ICFEM'06, to appear in LNCS, 2006
PDF, ICFEM'06, BIB - Parametric and Termination-Sensitive Control Dependence - Extended Abstract
- Feng Chen and Grigore Rosu
SAS'06, LNCS 4134, pp 387-404. 2006.
PDF, LNCS, SAS'06, BIB - Parametric and Termination-Sensitive Control Dependence
- Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2006-2712, April 2006
PDF, TR@UIUC, BIB - A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages
- Feng Chen, Mark Hills and Grigore Rosu Technical report UIUCDCS-R-2006-2702, March 2006
PDF, TR@UIUC, BIB - Predicting Concurrency Errors at Runtime using Sliced Causality
- Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2006-2965, 2006.
PDF, TR@UIUC, BIB
[edit] 2005
- Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
- Feng Chen, Marcelo d'Amorim and Grigore Rosu
RV'05, ENTCS 144, issue 4, pp 3-20. 2005.
PDF, ENTCS, RV'05, DBLP, BIB - Predicting Concurrency Errors at Runtime using Sliced Causality
- Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2005-2660, 2005.
PDF, TR@UIUC, BIB - Java-MOP: A Monitoring Oriented Programming Environment for Java
- Feng Chen and Grigore Rosu
TACAS'05, LNCS 3440, pp 546-550. 2005.
PDF, LNCS, TACAS'05, DBLP, BIB - Automatic and Precise Dimensional Analysis
- Marcelo d'Amorim, Mark Hills, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2005-2668, December 2005
PDF, Sources, TR@UIUC, BIB
[edit] 2004
- A Formal Monitoring-based Framework for Software Development and Analysis
- Feng Chen and Marcelo d'Amorim and Grigore Rosu
ICFEM'04, LNCS 3308, pp 357 - 373. 2004.
PDF, LNCS, ICFEM'04, DBLP, BIB - Monitoring-Oriented Programming: A Tool-Supported Methodology for Higher Quality Object-Oriented Software
- Feng Chen, Marcelo d'Amorim and Grigore Rosu
Technical Report UIUCDCS-R-2004-2420, 2004.
PDF, TR@UIUC, BIB - Formal Analysis of Java Programs in JavaFAN
- Azadeh Farzan, Feng Chen, Jose Meseguer and Grigore Rosu
CAV'04, LNCS 3114, pp 501 - 505. 2004.
PDF, LNCS, CAV'04, DBLP, BIB
[edit] 2003
- Rule-Based Analysis of Dimensional Safety
- Feng Chen and Grigore Rosu and Ram Prasad Venkatesan
RTA'03, LNCS 2706, pp197 - 207. 2003.
PDF, LNCS, RTA'03, DBLP, BIB - Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation
- Feng Chen and Grigore Rosu
RV'03, ENTCS 89, issue 2, pp 108 - 127. 2003.
PDF, ENTCS, RV'03, DBLP, BIB - Certifying Measurement Unit Safety Policy
- Grigore Rosu and Feng Chen
ASE'03, IEEE, pp. 304 - 309. 2003.
PDF, IEEE, ASE'03, BIB
[edit] 2002
- Using Application Server To Support Online Evolution
- Qianxiang Wang and Feng Chen and Hong Mei and Fuqing Yan
ICSM'02, IEEE press, pp. 131-140. 2002
PDF, BIB - ABC/ADL: An ADL Supporting Component Composition
- Hong Mei and Feng Chen and Qianxiang Wang and Yaodong Feng
ICFEM'02, LNCS 2459, pp 38 - 47. 2002
PDF, BIB - An Architecture-Based Approach for Component-Oriented Development
- Feng Chen and Qianxiang Wang and Hong Mei and Fuqing Yang
COMPSAC'02, IEEE press, pp 450 - 455. 2002
PDF, BIB
