From: Craig Chambers (chambers@cs.washington.edu)
Date: Wed Oct 16 2002 - 10:54:47 PDT
Matthew Dwyer, who also works on that project, will be here for a week next
week, Oct. 21-25. He'll be giving the colloq on the 24th, and a presentation in
590N that week, and we also might want to talk to him in our group meeting on
Monday. Actually, that's starting to look likely, as I read through my inbox
further.
FYI, below I've included a description from Matt about his research interests.
-- Craig
===============================================================================
FROM MATT DWYER:
We arrive on Oct. 18 and depart on Oct. 28. We are still deciding
what we should see in the area on the weekends and will likely
rent a car for at least a couple of days to get out of the city.
This means I'll be "at work" Oct. 21 through Oct. 25.
Here's some info about what I've been doing research wise and where
I see immediate connections at UW.
------------------------------------------------------------------------
------
I'm involved in 3 main projects at present:
Bandera:
An open platform for experimenting with techniques for
applying model checking to programs (written in Java).
http://www.cis.ksu.edu/santos/bandera
SyncGen:
A specification driven approach to the development of concurrent
programs. Specifically, users decouple "synchronization" from
the development of the "functional core" of their systems by
specifying
global synchronization policies from which code can be generated
and integrated with the core code.
http://www.cis.ksu.edu/saves/index.html
Cadena:
A new project that is developing a framework for supporting the
specification, analysis and synthesis of systems based on Corba
Component Model (CCM) designs. We are extending CCM with several
additional specification "layers" to enrich the semantics of
these designs and support reasoning using dependence analyses and
model checking. Finally, we leverage existing CCM based tools
for "skeleton" generation and we map component configuration
information onto several different existing platforms.
http://www.cis.ksu.edu/santos/cadena
I have hour long talks (in some cases more than one hour) on each
of the above projects that I could give (preferably) to informal
gatherings; I can also just talk about the work without giving
an "official" talk.
I'm not sure what the overlap will be between the people I'll spend
most of the week with and the colloquium audience, but
my colloquium talk will be on "Model Checking Software Artifacts"
and will blend material from the three projects. So the colloquium
will be old news for those people who've heard about the projects
in-depth earlier in the week.
----------------------------------------------------------------------
Connections to work at UW:
Here are a few of the things I saw on people's web-sites that really
struck my fancy.
Chambers:
Composing Data Flow Analyses (POPL'02) --> related to work on FLAVERS
Chambers & Eggers:
Synchronization Removal --> applications to model reduction
Chambers & Notkin:
ArchJava --> relation to our fledgling CCM-based design project
Notkin:
Implicit Invocation Systems --> this is the underlying control
flow for our CCM-based designs
Mark Seigle:
ESP --> related to work on FLAVERS
Notkin & Xie:
The work on Black Box testing
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2.1.5 : Wed Oct 16 2002 - 10:54:55 PDT