From: Jonathan Aldrich (jonal@cs.washington.edu)
Date: Tue Dec 03 2002 - 22:51:00 PST
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