2. Thanks for coming!

4. Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser Many opportunities to mingle Web meets OS Concurrency BFT Software robustness Distributed systems System maintenance Energy Storage OS security

5. No invited speaker Ed Lazowska fell ill, but is recovering well Please sign Get- well card later today or tomorrow.

6. Change in the program Swapped Concurrency and BFT Moved one talk from Distributed systems to BFT Start 30 min later on Tuesday Web meets OS Concurrency BFT Software robustness Distributed systems System maintenance Energy Storage OS security

7. Selection process 25 out of 131 submissions Double-blind Larger PC –13 “Heavy”-load –13 “Light”-load 3 rounds (3, 5, and 7 reviews) –705 reviews in total PC meeting with heavy- load members –Conflicted PC members left Shadow PC

8. Best paper awards Secure Web Applications via Automatic Partitioning Zyzzyva: Speculative Byzantine Fault Tolerance Sinfonia: A New Paradigm for Building Scalable Distributed Systems

9. Audience choice Each registered attendance can rank each paper on a scale of 1 (good) through 4 (seminal) Web site shows current top 3 ranked papers http://sosp2007.org Your voting ID is e61bc0a6 Purpose: compliment authors, not to hack the system!

10. Thanks to submitters and PC

11. Thanks to the general chair Picked the location Ran all logistics Put the team together Managed finances …. Is worrying about every detail Tom Bressoud

12. My Thanks to the Team Jonathan WalpoleLocal Arrangements Jacob LorchSponsorships Michael KozuchRegistration Robbert van Renesse and Hakim Weatherspoon Scholarships Jason FlinnPublicity Rama RamasubramanianVideo Carla Ellis, Sharon Perl, and Barbara Liskov Women’s Workshop Rebecca IsaacsShadow PC Eddie KohlerHotCRP Mema RoussopoulosPoster Session David MazièresWIP Session Student VolunteersVarious

13. My Thanks for the Generous Support Conference General Students

14. My Thanks for the Generous Support Women’s Workshop Sponsors Speakers Students

15. The Bottom Line In 2001: 50 student scholarships In 2003: 67 student scholarships In 2005: 55 student scholarships In 2007: 117 student scholarships –51 women’s scholarships

16. Who’s Here Total Attendees 126 Institutions AcademicIndustry MIT (27) UCSD (19) Cornell (17) UT Austin (16) U Washington (13) Microsoft Research (26) Microsoft (22) Google (12) Intel (12) VMware (11)

17. Academia/Industry Mix

18. Industry Ratio Men/Women Mix SOSP 2007 OverallSOSP 2007 Students

19. Announcements Go easy on the Internet Shuttle –Skamania on the hour –Best Western at :15 –Bonneville at :30 Presentations will be video-taped –Presenters: can you sign release form?

20. SIGOPS Hall of Fame Awards Instituted in 2005 To recognize the most influential Operating Systems papers that have appeared in the peer-reviewed literature at least ten years in the past. 5 Awards authorized for this year Award committee: 8 recent SOSP/OSDI chairs/co-chairs

21. Process Nominations by community or by committee members Clear conflict-of-interest rules Committee unanimously agreed on the final list Announced in order of publication Process discussion: at business meeting

22. Leslie Lamport “Time, Clocks, and the Ordering of Events in a Distributed System” Communications of the ACM 21(7):558-565, July 1978

23. “Time, Clocks, and the Ordering of Events in a Distributed System” Perhaps the first true “distributed systems” paper, it introduced the concept of “causal ordering,” which turned out to be useful in many settings. The paper proposed the mechanism it called “logical clocks,” but everyone now calls these “Lamport clocks.”

24. Andrew D. Birrell Bruce Jay Nelson “Implementing Remote Procedure Calls” ACM Transactions on Computer Systems 2(1):39-59, Feb. 1984

25. “Implementing Remote Procedure Calls” This is the paper on RPC, which has become the standard for remote communication in distributed systems and the internet. The paper does an excellent job laying out the basic model for RPC and the implementation options.

26. J. H. Saltzer D. P. Reed D. D. Clark “End-To-End Arguments in System Design” ACM Transactions on Computer Systems 2(4):277-288, Nov. 1984

27. “End-To-End Arguments in System Design” This paper gave system designers, and especially Internet designers, an elegant framework for making sound decisions. A paper that launched a revolution and, ultimately, a religion.

28. Michael Burrows Martín Abadi Roger Needham “A Logic of Authentication” ACM Transactions on Computer Systems 8(1):18-36, Feb. 1990

29. “A Logic of Authentication” This paper introduced to the systems community a logic-based notation for authentication protocols to precisely describe certificates, delegations, etc. With this precise description a designer can easily reason whether a protocol is correct or not, and avoid the security flaws that have plagued protocols. “Speaks-for” and “says” are now standard tools for system designers.

30. Fred B. Schneider “Implementing Fault-Tolerant Services Using the State Machine Approach: a tutorial” ACM Computing Surveys 22(4):299-319, Dec. 1990

31. “Implementing Fault-Tolerant Services Using the State Machine Approach: a tutorial” The paper that explained how we should think about replication... A model that turns out to underlie Paxos, Virtual Synchrony, Byzantine replication, and even Transactional 1-Copy Serializability.