First Meeting this Semester

From: Westley Weimer (weimer@EECS.Berkeley.EDU)
Date: 09/09/02

Next message: Ben Liblit: "change in list posting policy"
Previous message: Rupak Majumdar: "[ESD-Seminar Time Change] Cormac Flanagan on Monday, Sept 9 4-5"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Date: Mon, 9 Sep 2002 14:47:17 -0700 (PDT)
From: Westley Weimer <weimer@EECS.Berkeley.EDU>
Subject: First Meeting this Semester
Message-ID: <Pine.SOL.4.44.0209091442320.21272-100000@argus.eecs.berkeley.edu>

(0) Loose Basic Schedule:
    Wes Weimer - Value Flow Graphs
    Ranjit Jhala - Model-Checking The Heap
    Ben Liblit - Random Program Sampling

(1) I put in an official request for more juice at the next meeting. It
appears to have met with success. Let me know if there are any other
lunch-related changes you would like.

(2) I have put in a (another) request to get virtual hosting (so that
http://osq.cs.berkeley.edu will point to the main home page).

(3) I have vaguely munged the softquality.cs.berkeley.edu address on the
main web page.

(4) KRC agreed to help Alex Aiken maintain the webpage for the PL semanir
series this semester.

	- Wes

Next message: Ben Liblit: "change in list posting policy"
Previous message: Rupak Majumdar: "[ESD-Seminar Time Change] Cormac Flanagan on Monday, Sept 9 4-5"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : 11/04/02 PST