seminar topics

From: Jonathan Aldrich (jonal@cs.washington.edu)
Date: Tue Dec 03 2002 - 22:51:00 PST

  • Next message: T.J. Huntly: "Provide Yourself With Smart Investment Tools"

    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.

    Another topic I've been wanting to learn about is refinement types; I've
    heard functional programming people say that this may be related the ideas
    in both EML and ArchJava.

    Finally, along these same lines, Miryung Kim and I are looking for
    research papers on component technologies for part of next quarter's 590N.
    If the topic is of interest, please think about joining us next quarter,
    and also let me know if there are particular papers in this area that
    you'd like to read. I'll send out more information on the 590N topic when
    we have a more concrete list of papers.

    Thanks,

    Jonathan

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



    This archive was generated by hypermail 2.1.5 : Tue Dec 03 2002 - 22:51:05 PST