Open Source Quality Project Retreat
May 12-13, 2005
The meeting will take place at the West Coast Hotel in Santa Cruz.
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
- 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"
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
- 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)
- 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.