Re: Cadena

From: Craig Chambers (chambers@cs.washington.edu)
Date: Wed Oct 16 2002 - 10:54:47 PDT

  • Next message: E-Business News: "Conference Calls For Less"

    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