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.