Open Source Quality Project Retreat 

May 13-15, 2008 

Santa Cruz

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

Wed, May 13

•    2:00pm   For Berkeley students: Bus leaves Soda Hall
•    7:00pm   Dinner. 

Thu, May 14

•    8:30am Continental breakfast
•    9am Kick off, quick introductions and 3 talks
  • Prof. Sanjit Seshia: "Game-Theoretic Timing Analysis"
  • Prateek Saxena: " Loop-Extended Symbolic Execution on Binary Programs"
  • Juan Caballero: "Secure Content Sniffing for Web Browsers, or How to Stop Papers from Reviewing Themselves"
•    10:30am coffee break
•    11:00am(15 minute talks)
  • Joel Galenson: "Programming with an Oracle"
  • Jacob Burnim: "Asserting and Checking Determinism for Multithreaded Programs"
  • Susmit Jha: "Automated Security Mediation Placement"
  • Sudeep Juvekar: "Path Slicing Per Object for Better Testing, Debugging, and Usage Discovery"
  • Gilad Arnold: "On Verification of Sparse Matrix Codes"
•    12:15pm 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.
  1. Liang Chen OSQ_Talk.pdf

  2. Adam Barth (no slides)

  3. AJ Shankar

  4. Brad Chen (no slides)

  5. Dimitra Giannakopoulou SCRetreat.pdf

  6. Sumit Gulwani vs3-osq09.pptx

  7. Yi-Min Wang YMWang_Berkeley_Santa_Cruz_May_13_2009.pptx

  8. Madan Musuvathi madan.pptx

  9. Mayur Naik osq09.ppt

  10. Ashish Tiwari a.pdf 

  11. Min Gyung Kang rebel-malware.ppt

  12. Steve Hanna flax_keynote.pdf

  13. Mooly Sagiv sharing-nr-si.pptx

  14. David Gay

  15. Bill McCloskey python-madness.pptx

  16. Mark N Wegman managingbusinessesthatdAlmaden.pdf

  17. David Mandelin osq.pptx

  18. Christos Stergiou/Nicholas Jalbert thille.pptx

  19. Heng Yin

  20. Stephen McCamant mccamant-influence.pdf

  21. Pongsin Poosankam dispatcher.ppt

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

•     3:45pm Refreshments.
•     4:00pm free time until dinner.  Suggested activity: a group walk along the shore to the lighthouse.
•     6:00pm dinner.
•     8:30pm: desert, wine and more madness follows dinner.

Fri, May 15

•     8:30am continental breakfast

•     9:00am (15 minute each)

  • Benjamin Hindman "Enabling Software Composability for the Manycore Era"
  • Bill McCloskey "Interactive Shape Analysis"
  • Leo Meyerovich/Raluca Sauciuc "Perceiving the GUISE: Graphical User Interface Specification Extraction"
  • Joel Weinberger: "Cross-Origin JavaScript Capability Leaks: Detection, Exploitation, and Defense"

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

•     10:45am

  • Jacob Burnim/Sudeep Juvekar (ICSE 09 talk) "WISE: Automated Test Generation for Worst-Case Complexity"
  • Pallavi Joshi/Chang-Seo Park (PLDI 09 talk) "A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks"

  • Zachary Anderson (PLDI 09 talk) "Lightweight Annotations for Controlling Sharing in Concurrent Data Structures"

•     12:00pm Lunch

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

•     2:00pm  Retreat ends.

•     2:30pm  For Berkeley students: Bus leaves the hotel.