Open Source Quality Project Retreat

May 12-13, 2005

Santa Cruz

 The meeting will take place at the West Coast Hotel in Santa Cruz.

Retreat Schedule

Wed, May 11

   2:00   Bus leaves Soda Hall

   7:30   Dinner. We have made reservations for 7:30pm at two restaurants in downtown Santa Cruz, about 1-2 miles from the hotel. We are planning to walk there. We will meet at the hotel reception at 6:45pm and divide into two groups. We will probably start walking at 7:00. We will maintain a few available seats at each restaurant for latecomers. If you arrive very late (after 8:30 or so), and want to get a quick bite, go to the pub that is at the entrance to the Municipal Wharf (very close to the hotel). Open late, some light food.

• Pearl Alley Bistro, 110 Pearl Alley, Santa Cruz, CA  (831) 429-8070 http://www.pearlalley.com/menus/ resv'd for 10 people, 7:30pm

• Oswald’s, 1547 Pacific Ave. Santa Cruz, (831) 423-7427, 20 people, 7:30pm

---------------------------

Thu, May 12:  (The Santa Cruz Room)

   8:30am Continental breakfast

   9am Kick off, quick introductions

• Yichen Xie: "Scalable error detection using boolean satisfiability"
• Anindya Banerjee (Kansas State): "A logic for information flow analysis and an application to forward slicing"
• Bill McCloskey: "Thirty Years Is Long Enough: Getting Beyond C"

   10:45am coffee break

   11:15am

• Adam Chlipala: "Proof-Carrying Verifiers"
• Matt Harren: "Assembly-level Verification of Source Code Security Tools"
• Jeremy Condit: "Inferring Ownership and Detecting Leaks in C Programs"
   

   12:30pm lunch

   2pm "5-minute madness"

• Share with us your recent results, work in progress, or just any thought-provoking idea.  You have 5 minutes followed by a few quick questions. Open to everybody, including visitors.  You can use this time to advertise a poster. There will be a signup sheet in the morning.  If you plan to use slides, give them to Ras via email or a USB memory.

    3:30pm Refreshments + poster session. 

    4:30pm Free time until dinner.  Suggested activity: a group walk along the shore to the lighthouse.

    6pm dinner. Carniglia's, at the end of the Wharf.

    8:30pm: desert, wine and a discussion back at the hotel. Proposed topic: TBD.

--------------------------

Fri, May 13:

    8:30am continental breakfast

    9:00am

• David Wagner: "Program analysis for security in the large"
• Simon Goldsmith: "Partiqle: Relational Queries Over Program Traces"
• AJ Shankar: "Runtime Specialization With Optimistic Heap Analysis"

    10:30am break (a good time to check-out)

    11:00am

• Manu Sridharam: "Demand-Driven Points-To Analysis for Java"
• Tachio Terauchi: "Witnessing Side-effects"

   12:00 buffet lunch

   12:30 Visitor feedback session, overlapping the lunch.

   1:15 A Challenge Talk

• Mark Wegman (IBM): "Software and Complexity: A Grand Challenge Problem"
  
  

   2:30  Bus leaves The Coast Hotel.