Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business...
-
Upload
vincent-ward -
Category
Documents
-
view
214 -
download
0
Transcript of Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business...
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 Get-well 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 heavy-load 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
http://sosp2007.org
Your voting ID is e61bc0a6
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 Hakim Weatherspoon
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 SupportConference 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 Here396
351
495
398
471
050100150200250300350400450500
1999 2001 2003 2005 2007
TotalAttendees
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
Academia20%
Industry32%
Students48%
Women14%
Men86%
Industry Ratio
Men/Women Mix
Women18%
Men82%
SOSP 2007 Overall
Women30%
Men70%
SOSP 2007 Students
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. BirrellBruce 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. SaltzerD. P. ReedD. 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 BurrowsMartí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.