Open Source Quality Project Retreat 

May 12-14, 2010

Santa Cruz

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

Wed, May 12

•    2:00pm   travel to Santa Cruz.  This year, we plan to carpool.  Students, please let us know if you can drive and give a ride to a few students.

•    6:30pm   Dinner. 

Thu, May 13

•    8:30am Continental breakfast
•    9am Kick off, quick introductions and 4 (20 minutes) talks
• Neil Conway:  Dedalus: Datalog in Time and Space dedalus_osq.pdf
• Thibaud Hottelier: Web Browser Layout and Scripting with a Constraints+Events Language osq.pptx  
• Christos Stergio: Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models
• Devdatta Akhawe: Towards a Formal Foundation of Web Security
•    10:30am coffee break
•    11:00am 3 (20 minutes) talks  
• Ali Sinan Koksal and Gilad Arnold: High-Level and Fast Sparse Matrix Codes osq-retreat-201005.pdf
• Susmit Jha:  Synthesis using Integerated Learning and Verification: SILVer
• Guilleme Revy: Techniques for the Automatic Debugging of Scientific Floating-point Programs
•    12:00 pm lunch
•    2pm "6-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 15 slots.

• FuzzBALL:  On-the-spot Symbolic Execution of Binaries (Stephen McCamant, work with Dawn Song) slides
• Webpage Layout from First Principles: Specification, Synthesis, and Optimization (Leo Meyerovich, Adam Jiang) osq2010b.pptx
• Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications (Jacob Burnim) slides
• Cloud Testing: Towards thousands of failures and hundreds of specifications (Haryadi Gunawi) osq-haryadi.ppt  
•     3:30pm Refreshments.
•     4:30pm 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 14

•     8:30am continental breakfast

•     9:00am 4 (20 minutes) talk

• Prateek Saxena: A Framework for Symbolic Execution of JavaScript

• Peter Alvaro: I Do Declare: Consensus in a Logic Language idodeclare_osq.pdf
• Pallavi Joshi: An Effective Dynamic Analysis for Detecting Generalized Deadlocks osq10.pptx 
• Ben Hindman: Concurrent and Distributed Programming using Libprocess libprocess-osq-2010.pdf

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

•     11:00am 3 (20 minutes) talk

• Jacob Burnim: DETERMIN: Inferring Likely Deterministic Specifications of Multithreaded Programs  slides

• Derrick Coetzee: Reliability in Parallel Build Systems
• Domagoj Babic: Inference and Analysis of Formal Models of Protocols

•     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.