From FSL
[edit] Research
I am interested in Runtime Verification, Formal Methods for Concurrent Systems, Programming Language Semantics, Type Systems, and Logics.
[edit] Publications by year
- Efficient Formalism-Independent Monitoring of Parametric Properties
- Feng Chen, Patrick Meredith, Dongyun Jin and Grigore Rosu
ASE'09, to appear
PDF, 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
- 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
- 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