Choonghwan Lee

From FSL
Revision as of 03:54, 6 November 2012 by Clee83 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Choonghwan.jpg

Ph.D. student studying under Prof. Grigore Rosu

Contents

Research

I am interested in specification mining and runtime monitoring. Currently, I'm focusing on mining parametric specifications.

25px-Pdf_icon.png Curriculum vitae Info_circle.png

Publications

JavaMOP: Efficient Parametric Runtime Monitoring Framework 
Dongyun Jin, Patrick Meredith, Choonghwan Lee and Grigore Rosu
ICSE'12, IEEE, pp 1427-1430. 2012
PDF, Demo Movie, TOOL ICSE'12, BIB
Towards Categorizing and Formalizing the JDK API 
Choonghwan Lee, Dongyun Jin, Patrick Meredith and Grigore Rosu
Technical Report http://hdl.handle.net/2142/30006, March 2012
PDF, TR@UIUC, BIB
Mining Parametric Specifications 
Choonghwan Lee, Feng Chen and Grigore Rosu
ICSE'11, ACM, pp 591-600. 2011
PDF, Slides(pptx), ACM, ICSE'11, jMiner, BIB


Software

Affiliation

Contact

Personal tools
Namespaces

Variants
Actions
Navigation