Transcript 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.

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.