Transcript Document
Thanks for coming! Thanks for coming! 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 No invited speaker • Ed Lazowska fell ill, but is recovering well • Please sign Getwell card later today or tomorrow. 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 heavyload members – Conflicted PC members left • Shadow PC Best paper awards • Secure Web Applications via Automatic Partitioning • Zyzzyva: Speculative Byzantine Fault Tolerance • Sinfonia: A New Paradigm for Building Scalable Distributed Systems 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 Your voting ID is e61bc0a6 http://sosp2007.org Purpose: compliment authors, not to hack the system! Thanks to submitters and PC Thanks to the general chair • • • • • Picked the location Ran all logistics Put the team together Managed finances …. • Is worrying about every detail Tom Bressoud My Thanks to the Team • Jonathan Walpole Local Arrangements • Jacob Lorch Sponsorships • Michael Kozuch Registration • Robbert van Renesse and Weatherspoon Hakim Scholarships • Jason Flinn Publicity • Rama Ramasubramanian Video • Carla Ellis, Sharon Perl, and Barbara Liskov Women’s Workshop • Rebecca Isaacs Shadow PC • Eddie Kohler HotCRP • Mema Roussopoulos Poster Session • David Mazières WIP Session • Student Volunteers Various My Thanks for the Generous Support Conference General Students My Thanks for the Generous Support Women’s Workshop Sponsors Speakers Students 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 Who’s Here Total Attendees 500 450 400 350 300 250 200 150 100 50 0 495 396 471 398 351 1999 2001 2003 2005 2007 126 Institutions Academic Industry •MIT (27) •UCSD (19) •Cornell (17) •UT Austin (16) •U Washington (13) •Microsoft Research (26) •Microsoft (22) •Google (12) •Intel (12) •VMware (11) Academia/Industry Mix Industry 32% Students 48% Academia 20% Men/Women Mix Women Women 14% 18% Women 30% Men Men Men 70% 82% 86% SOSP SOSP 2007 2007Ratio Students Overall Industry 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? 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 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 Leslie Lamport “Time, Clocks, and the Ordering of Events in a Distributed System” Communications of the ACM 21(7):558-565, July 1978 “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.” Andrew D. Birrell Bruce Jay Nelson “Implementing Remote Procedure Calls” ACM Transactions on Computer Systems 2(1):39-59, Feb. 1984 “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. 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 “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. Michael Burrows Martín Abadi Roger Needham “A Logic of Authentication” ACM Transactions on Computer Systems 8(1):18-36, Feb. 1990 “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. Fred B. Schneider “Implementing Fault-Tolerant Services Using the State Machine Approach: a tutorial” ACM Computing Surveys 22(4):299-319, Dec. 1990 “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.