Grigore Rosu

From FSL

Assistant professor Address Department of Computer Science University of Illinois at Urbana-Champaign 201 N. Goodwin, Urbana, IL 61801 WWW: (UIUC) http://cs.uiuc.edu/grosu, (FSL) http://fsl.cs.uiuc.edu/~grosu Email: grosu@cs.uiuc.edu Office: 2110 SC Phone: +1 (217) 244-7431 Fax: +1 (217) 333-9386 Administrative assistant: Andrea Whitesell (Office: 2106 SC, Tel: +1 (217) 333-1043) Google Calendar

New

• UPCRC - The Universal Parallel Computing Research Center has been officially started at UC Berkeley and UIUC
• AMAST'08 will be held in Urbana in 28-31 July 2008.

Scientific Interests

Formal methods, programming languages, software engineering, dynamic and static analysis, runtime verification, logics, category theory, rewriting. I am also interested in mathematics and aviation.

Research topics and grants

Curriculum vitae

Aviation page (see also the Velocity airplane I'm building)

Projects and Systems

The details of my research, projects and software systems can all be reached from the Formal Systems Laboratory (FSL) website (started in 2002).

Publications

Most of my publications can be downloaded from the DBLP server, clicking on the corresponding EE link. All my publications, including technical reports, comments, slides, as well as other additional useful links, can also be reached from any of the following two links:

Publications by year

Publications by subject

Below are my most recent three publications (generated automatically, most likely technical reports):

Efficient Monitoring of Parametric Context-Free Patterns
Patrick Meredith, Feng Chen, Dongyun Jin, and Grigore Rosu
Technical report UIUCDCS-R-2008-2954, April 2008
PDF, TR@UIUC, BIB

A Rewriting Logic Approach to Type Inference
Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2008-2934, March 2008
PDF, BIB

Pluggable Policies for C
Mark Hills, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-2931, January 2008
PDF, TR@UIUC, BIB

Editing (Journal Special Issues and Conference Proceedings)

HOSC 20(1/2) - Special issue dedicated to WRLA'06	LNCS 4262 - Proceedings of FATES/RV'06	ENTCS 113 - Proceedings of RV'04	FMSD 27(3) - Special issue dedicated to RV'02
ENTCS 70(4) - Proceedings of RV'02	FMSD 24(2) - Special issue dedicated to RV'01	ENTCS 55(2) - Proceedings of RV'01

Professional Activities

Program chair or co-chair of

AMAST'08, WRLA'08, FATES/RV'06, RV'04, RV'02, RV'01

Steering committee member of

RV'08, RV'05, RV'04, RV'03

Program committee member of

2009: FOSSACS'09

2008: PADTAD'08, FMOODS'08, RV'08, WRLA'08

2007: REM'07, SOS'07, CALCO'07, PADTAD'07, FMOODS'07, RV'07

2006: ICCP'06 (the SRV'06 track), FATES/RV'06, ICCGI'06, PADTAD'06, LOPSTR'06, WRLA'06

2005-2001: IBM Verification Conference 2005, RV'05, CMCS'04, WRLA'04, CMCS'03, RV'02, RV'01.

Organizer or co-organizer of

AMAST'08, WRLA'08, CALCO'07 Tool Session, FATES/RV'06, WRLA'06 Rewriting Competition, RV'04, RV'02, RV'01

Current Graduate Students

I am currently supervising the following graduate students:

Feng Chen

Chucky Ellison

Yaniv Eytani

Mark Hills

Dongyun Jin

Patrick Meredith

Traian Florin Serbanuta

[all my students]

Classes

I teach courses related to programming languages and automated software engineering. Students taking my classes are expected to be comfortable with rigorous, mathematical thinking, because many of the techniques that I use are formal. I am striving to publish detailed and complete lecture notes on the website of each class.

Spring 2008: CS522 - Programming Language Semantics

Fall 2007: CS422 - Programming Language Design

Spring 2007: CS477/ECE478 - Formal Software Development Methods

Fall 2006: CS422 - Programming Language Design

Spring 2006: CS522 - Programming Language Semantics

Fall 2005: CS422 - Programming Language Design

Spring 2005: CS522 - Programming Language Semantics

Fall 2004: CS422 - Programming Language Design

Spring 2004: CS321 - Programming Languages and Compilers

Fall 2003: CS322 - Programming Language Design

Spring 2003: CS497GR - Automated Software Engineering

Fall 2002: CS497GR - Automated Software Engineering

Discussion Lists

I am moderating or co-moderating the following mailing/discussion lists:

Runtime Verification

Formal Methods (open only to UIUC students and staff)

Programming Languages (open only to UIUC students and staff)

Formal Systems Laboratory (open only to FSL students, researchers and visitors)

Behavior (this list is currently closed)

My Private Pages

The following pages are password protected:

Private: Drafts

Private: Grigore Rosu's Schedule