Colloquium: Grigore Rosu Monitoring-based Programming and Analysis ACES 2.402

Contact Name: 
Jenna Whitney
Date: 
Feb 1, 2007 2:00pm - 3:00pm

There is a signup schedule for this event:
http

://www.cs.utexas.edu/department/webevent/utcs/events/cgi/show_schedule.cgi?

person=GrigoreRosu

Speaker Name/Affiliation: Grigore Rosu Universi

ty of Illinois at Urbana Champaign

Date/Time: Febuary 1 2007 2:00p

.m. - 3:00p.m.

Location: ACES 2.402

Host: Jayadev Misra
<

br>Talk Abstract:
We present a tool-supported formal software developmen

t
framework in which runtime monitoring is a basic design
principle

called monitoring-oriented programming (MOP). In
MOP the developer spec

ifies desired properties using definable
formalisms along with code to

execute when properties are
violated or validated. MOP automatically gen

erates monitors
from the specified properties and integrates them togeth

er with
the user-defined code into the original system. When used fordetecting errors in concurrent systems monitoring suffers from
the sa

me limited coverage as testing.

We also present a predictive runtime
analysis technique that
significantly increases the analysis coverage o

f monitoring in
the context of bug-detection in multithreaded systems h

aving
at its core an improved happen-before causality sliced using stati

c.

Speaker Bio:
Grigore Rosu is an assistant professor at the Uni

versity of
Illinois at Urbana-Champaign (UIUC). His research interests<

br>encompass both theoretical foundations and system development
in the

areas of formal methods software engineering and
programming languages.
Before joining UIUC in 2002 he was a
research scientist at NASA Ames.
He obtained his Ph.D. at the
University of California at San Diego in 2

000 and his M.S. at
the University of Bucharest Romania in 1996. He w

as offered
the NSF CAREER award in 2005 and the Computer Science
Depa

rtment outstanding junior award at UIUC.