RE: seminar topics

From: Matthai Philipose (matthai@intel-research.net)
Date: Wed Dec 04 2002 - 10:19:30 PST

  • Next message: Craig Chambers: "plan for the rest of the qtr"

    I too was at Josh's final exam.

    And I like Jonathan's generalization of Todd's suggestion i.e. ways of dealing with state. I'd like to understand monads once and for all. And I would certainly like to learn more about logics for dealing with state. Not exactly sure how nested transactions relate, but maybe all the more reason to grok that too.
            Matthai

    -----Original Message-----
    From: Jonathan Aldrich [mailto:jonal@cs.washington.edu]
    Sent: Tuesday, December 03, 2002 10:51 PM
    To: cecil@cs.washington.edu
    Subject: seminar topics

    Sorry I missed the group meeting on Monday--I went to Josh Redstone's
    final exam and forgot to excuse myself.

    Todd said you discussed what to do in 590K/590L in the next couple of
    quarters. I liked his suggestion of studying separation logic and other
    logics for reasoning about state. One could extend this topic to include
    unconventional language models for dealing with state--examples include
    monads in Haskell, and the nested-transaction model of abstract state
    machines.

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

    _______________________________________________
    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 Dec 04 2002 - 10:21:46 PST