Open Source Quality Project Retreat

May 10-12, 2006

Santa Cruz

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

 

Wed, May 10

   2:00pm   For Berkeley students: Bus leaves Soda Hall

   7:30pm   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 12 people, 7:30pm

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

 

 

Thu, May 11:  (The Santa Cruz Room)

   8:30am Continental breakfast

   9am Kick off, quick introductions

• Prof. Sanjit Seshia: "From Decisions to Recovery"
• Brian Hackett (Stanford): "Simplifying Summary-Based Analysis"
• Adam Chlipala: "Developing Sound Program Analysis Tools by Programming with Proofs"

   10:45am coffee break

   11:00am

• Armando Solar-Lezama: "Sketching with Partial Programs"
• Sorav Bansal (Stanford) : "Automatic Generation of Peephole Superoptimizers"
• Bill McCloskey: "Exploring Shape Analysis in Practice"

   12:30pm lunch

   2pm "8-minute madness"

• Share with us your recent results, work in progress, or just any thought-provoking idea. 
  • You have 7 minutes followed by a few quick questions.
  • Open to everybody, including visitors. 
  • If you plan to use slides, email them to Ras or use a USB memory stick.

    3:15pm Refreshments. 

    3:30pm More madness.

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

    6pm dinner. Casablanca Restaurant. Beach Street and Main Street, Santa Cruz, CA, 95062, Tel: 831.423.1570

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

 

 

Fri, May 12

    8:30am continental breakfast

    9:00am

• Prof. Anindya Banerjee (Kansas): "Information Flow, Declassification and Modularity"
• Jeremy Condit: "Deputy: Enforcing Type Safety in Systems Software using Dependent
  Type Annotations"
• Simon Goldsmith: "Empirical Computational Complexity"

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

    11:00am The PLDI'06 Session

• Manu Sridharan: "Refinement-Based Context-Sensitive Points-To Analysis for Java"
• Mayur Naik (Stanford): "Effective Static Race Detection"

   12:00pm buffet lunch

   12:30pm Visitor feedback session, overlapping the lunch.

   2:30pm  For Berkeley students: Bus leaves The Coast Hotel.