Open Source Quality Project Retreat 

May 11 - 13, 2011

Santa Cruz, CA 

The meeting will take place at the Dream Inn in Santa Cruz.

Wed, May 11

•    2:00pm   travel to Santa Cruz.  Bus leaves from Soda Hall at 2:00 pm.  
•    6:30pm   Dinner at Gabriella Cafe. 

Thu, May 12

•    8:30am Breakfast

•    9:00am Kick off, Quick Introductions, and Four Student Talks (20 minutes)

• Thibaud Hottelier: Layout and Animation Language

• Wenchao Li: Specification Mining for Diagnosis and Synthesis
• Saurabh Srivastava: A Verifier for Synthetic Biology
• Joel Galenson:  Programming by Demonstration
  
•    10:30am Break

•    11:00am Three Student Talks (20 minutes)

• Domagoj Babic: Grammatical Inference and Software Analysis

• Shaon Barman: Angelic Programming
•    11:45pm Lunch
•    1:30 pm "8-minute madness" Share with us your recent results, work in progress, or just any thought-provoking idea. You have 6 minutes followed by a few quick questions. Open to everybody, including visitors. If you plan to use slides, email them to Koushik or use a USB memory stick.

• to be added on first-come, first-served basis; we have 20 slots.

•     3:00 pm break
•     3:30 pm "8-minute madness"  
•     5:00pm Free time until dinner.  Suggested activity: a group walk along the shore to the lighthouse.
•     6:30pm Dinner at the hotel, with more madness and discussion to follow after the dinner.

Fri, May 13

•     8:30am Breakfast

•     9:00am Four Student Talks (20 minutes)

• Jon Kotker and Dorsa Sadigh: Timing Analysis of Interrupt-Driven Programs under Context Bounds
• Pallavi Joshi and Haryadi Gunawi: PREFAIL: A Programmable Failure-Injection Framework 
• Jacob Burnim and Christos Stergiou: Testing Concurrent Programs on Relaxed Memory Models
  
• Neil Conway: Consistency Analysis in Bloom

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

•     11:00am Three Student Talks (20 minutes)

• Jacob Burnim and Tayfun Elmas: NDSeq: Specifying and Checking Parallel Correctness

• Evan Pu: Synthesis of Dynamic Programming Algorithms
  
• Adam Jiang, Edward Lu, Leo  Meyerovich: Synthesis of Parallel Document Layout Engines from Attribute Grammars
  

•     12:00pm Lunch

•     12:30pm Visitor feedback session, overlapping the lunch.  Please use this link to enter written feedback.  

•     2:00pm  Retreat ends.

•     2:30pm  Departure.