590L: Planning meeting

From: Keunwoo Lee (klee@cs.washington.edu)
Date: Wed Jan 08 2003 - 10:36:54 PST

  • Next message: FREE Publishing: "Discover why Printing may be Obsolete"

    590L will be meeting biweekly only this quarter. This week will be a
    planning meeting, and the next class (since most of us are away at POPL
    next week) will be two weeks from today.

    We don't have a set topic, but vague themes might be

      (1) mechanisms for reasoning about state & side effects and
      (2) parameterized modules as fine-grained extensibility mechanisms
          (a.k.a. Diesel).

    The only paper that we definitely want to read is the separation logic
    paper Todd sent out last quarter:

    John Reynolds, Separation Logic: A Logic for Shared Mutable Data Structures
        ftp://ftp.cs.cmu.edu/user/jcr/seplogic.ps.gz

    We'll probably read that for two weeks from today. As for other weeks,
    today I'll bring a sign-up sheet for people to pick dates to present
    papers, and we'll probably end up picking specific papers for those dates
    as we go.

    See you in LOW 217 at 3:30 today...

    ~k

    _______________________________________________
    Cecil mailing list
    Cecil@cs.washington.edu
    http://mailman.cs.washington.edu/mailman/listinfo/cecil



    This archive was generated by hypermail 2.1.5 : Wed Jan 08 2003 - 10:37:06 PST