Dongyun Jin

From FSL

Ph.D. student Computer Science Department University of Illinois Urbana-Champaign Office: 2111a Siebel Center, 201 N. Goodwin Avenue, Urbana, IL 61801 Email: djin3@uiuc.edu Advisor: Grigore Rosu

Contents 1 Research 2 Publications by year 2.1 2009 2.2 2008

[edit] Research

I am interested in Runtime Verification, Formal Methods for Concurrent Systems, Programming Language Semantics, Type Systems, and Logics.

[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, 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

[edit] 2008

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