Feng Chen

From FSL

Jump to: navigation, search

Feng Chen

Important note: Due to a sudden and tragic vascular accident, Feng Chen passed away on August 8, 2009. Feng's scientific contributions have survived him and will last for a long time. Feng was a dear colleague and a good friend. The FSL group will never forget him.

Feng Chen — In Memoriam

Ph.D. Candidate

Email: fengchen AT cs Dot uiuc Dot edu

Office: 2111A Siebel Center, 201 N. Goodwin, Urbana, IL 61801-2302

[edit] Research

Developing effective techniques and methodologies for building reliable and secure complex software systems is the main objective of my research. My interest covers various domains related to this goal, including software engineering, programming languages, formal methods and algorithm design. 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, within which many specialized instances have been implemented.
Predictive Runtime Analysis, a technique to predict concurrency errors from observed executions using Sliced Causality
JavaRL, a complete semantic specification and also a formal analysis framework for Java, based on rewriting logic

[edit] Publications by Year

[edit] 2009

Efficient Formalism-Independent Monitoring of Parametric Properties: Feng Chen, Patrick Meredith, Dongyun Jin and Grigore Rosu
ASE'09, to appear
PDF, ASE'09, BIB
Monitoring Oriented Programming - A Project Overview: Feng Chen, Dongyun Jin, Patrick Meredith, and Grigore Rosu
ICICIS'09, invited paper/talk
PDF, ICICIS'09, BIB
Parametric Trace Slicing and Monitoring: Feng Chen and Grigore Rosu
TACAS'09, LNCS 5505, pp 246-261. 2009.
PDF, Slides (PPT), LNCS, TACAS'09, DBLP, BIB
Dependent advice: A general approach to optimizing history-based Aspects: Eric Bodden, Feng Chen and Grigore Rosu
AOSD'09, ACM, pp 3--14. 2009.
PDF, TR@ABC, AOSD, BIB

[edit] 2008

Maximal Causal Models for Multithreaded Systems: Traian Florin Serbanuta, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-3017, December 2008
PDF, TR@UIUC, BIB
Efficient Monitoring of Parametric Context-Free Patterns: Patrick Meredith, Dongyun Jin, Feng Chen and Grigore Rosu
ASE'08, IEEE/ACM, pp 148-157. 2008 ACM Sigsoft Distinguished Paper
PDF, Experiments, ASE'08 slides(KEY), ASE'08 slides(MOV), ASE'08 slides(PPT), IEEE/ACM 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
A Rewriting Logic Approach to Static Checking of Units of Measurement in C: Mark Hills, Feng Chen and Grigore Rosu
RULE'08, ENTCS, to appear, 2008
PDF, RULE'08 slides, RULE'08, BIB
Efficient Monitoring of Parametric Context-Free Patterns: Patrick Meredith, Dongyun Jin, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-2954, April 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, ICSE'08 slides, DOI, ICSE'08, BIB
Synthesizing Monitors for Safety Properties -- This Time With Calls and Returns --: Grigore Rosu, Feng Chen and Thomas Ball
RV'08, LNCS 5289, pp 51-68, 2008
PDF, RV'08, BIB
Pluggable Policies for C: Mark Hills, Feng Chen and Grigore Rosu
Technical Report UIUCDCS-R-2008-2931, January 2008
PDF, TR@UIUC, 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, TR@UIUC, 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

Predicting Concurrency Errors at Runtime using Sliced Causality: Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2005-2660, 2005.
PDF, TR@UIUC, BIB
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
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
Certifying Measurement Unit Safety Policy: Grigore Rosu and Feng Chen
ASE'03, IEEE, pp. 304 - 309. 2003.
PDF, IEEE, ASE'03, 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

[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

Retrieved from "http://fsl.cs.uiuc.edu/index.php/Feng_Chen"

Views

Personal tools

Search