From necula@cs.berkeley.edu Tue May 13 13:33:47 2003
Date: Tue, 13 May 2003 09:40:46 -0700
From: George Necula <necula@cs.berkeley.edu>
To: "'tball@microsoft'" ,
     "'michal.cierniak@intel'" ,
     "'roy.ju@intel'" ,
     "'god@bell-labs'" ,
     "'larus@microsoft'" ,
     "'wegman@us.ibm'" ,
     "'mlowry@mail.arc.nasa'" ,
     "'schmidt@cis.ksu'" ,
     "'dreimer@us.ibm'" ,
     "'chet@watson.ibm'" 
Cc: "Open Source Quality Project (softquality@eecs.berkeley)"
    
Subject: Updated retreat schedule

Hi,

 Here is the updated schedule. The major change is that we have added two
talks instead of the brainstorming session about building tools on Thu
morning. We have moved that discussion after dinner on Wed. 

 George.


  OSQ Retreat schedule
========================

Tue, May 13
 3:45pm the bus leaves from Soda Hall. Please be there in time. 
 7pm dinner at the West Coast Hotel


Wed, May 14: 
 8:30am continental breakfast
 9am Kick off
     Ben Liblit, "Bug Isolation via Remote Program Sampling" 
     Ranjit Jhala, "Thread Modular Abstraction Refinement"
     David Mandelin, "Debugging Temporal Specifications with Cable"

 10:30am break 
 11:15am 
     Robert Schneck, "Extensible Untrusted Code Verification"
     Jeremy Condit, "Compiler Support for Multithreading"
     Tachio Terauchi "Static Access Control of Dynamic Resources"
 12:30pm lunch
 2pm "5-minute madness" 

     Come and share with us your work in progress or just any
thought-provoking idea. 
     You have 5 minutes followed by a few quick questions. Open to
everybody, including visitors. There will be a signup 
     sheet in the morning.    

 3:30pm refreshments arrive. We need not stop the madness. 

     Freeform conversation time until dinner. Providing the weather is nice,

     we could take a walk on the West Cliff Drive.

 6pm dinner at the Casablanca restaurant
 8:30pm: desert, wine and a discussion.
     "What can and should the academia do in terms of building tools"  
 

Thu, May 15:
 8:30am continental breakfast
 9am 
     Dave Schmidt, "Abstract Models of Shape: Branching- (and linear-) Time"
     Scott McPeak, "Static Verification of Memory Safety for Device Drivers"
     Manu Shridharan, "Towards a Scalable Demand-Driven Pointer Analysis"
     
 10:30 break (a good time to check-out)
 11:15 
     Sumit Gulwani, "Global Value Numbering Using Random Interpretation"
     Krishnendu Chatterjee "Stack Size Analysis for Interrupt-Driven
Programs"
      
 12:15 lunch
 1:30  Visitor panel: 
         "Research Opportunities in Language Based Security" 
         (or why should our NSF proposal be funded. See it at
http://raw.cs.berkeley.edu/Proposals/itr03.ps)
        Moderator (or rather, speaking first): George Necula

 3:00  Wrap-up

       Time to use those leftover rollercoaster tickets. 

 6pm   bus leaves West Coast Hotel