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...
![Page 1: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/1.jpg)
![Page 2: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/2.jpg)
Thanks for coming!
![Page 3: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/3.jpg)
Thanks for coming!
![Page 4: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/4.jpg)
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
![Page 5: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/5.jpg)
No invited speaker
• Ed Lazowska fell ill, but is recovering well
• Please sign Get-well card later today or tomorrow.
![Page 6: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/6.jpg)
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
![Page 7: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/7.jpg)
Best paper awards
• Secure Web Applications via Automatic Partitioning
• Zyzzyva: Speculative Byzantine Fault Tolerance
• Sinfonia: A New Paradigm for Building Scalable Distributed Systems
![Page 8: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/8.jpg)
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!
![Page 9: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/9.jpg)
Thanks to submitters and PC
![Page 10: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/10.jpg)
Thanks to the general chair
• Picked the location• Ran all logistics• Put the team together• Managed finances• ….
• Is worrying about every detail
Tom Bressoud
![Page 11: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/11.jpg)
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
![Page 12: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/12.jpg)
My Thanks for the Generous SupportConference General
Students
![Page 13: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/13.jpg)
My Thanks for the Generous Support
Women’s Workshop
Sponsors Speakers
Students
![Page 14: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/14.jpg)
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
![Page 15: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/15.jpg)
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)
![Page 16: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/16.jpg)
Academia/Industry Mix
Academia20%
Industry32%
Students48%
![Page 17: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/17.jpg)
Women14%
Men86%
Industry Ratio
Men/Women Mix
Women18%
Men82%
SOSP 2007 Overall
Women30%
Men70%
SOSP 2007 Students
![Page 18: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/18.jpg)
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?
![Page 19: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/19.jpg)
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
![Page 20: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/20.jpg)
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
![Page 21: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/21.jpg)
Leslie Lamport
“Time, Clocks, and the Ordering of Events in a Distributed System”
Communications of the ACM 21(7):558-565, July 1978
![Page 22: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/22.jpg)
“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.”
![Page 23: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/23.jpg)
Andrew D. BirrellBruce Jay Nelson
“Implementing Remote Procedure Calls”
ACM Transactions on Computer Systems 2(1):39-59, Feb. 1984
![Page 24: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/24.jpg)
“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.
![Page 25: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/25.jpg)
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
![Page 26: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/26.jpg)
“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.
![Page 27: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/27.jpg)
Michael BurrowsMartín Abadi
Roger Needham
“A Logic of Authentication”
ACM Transactions on Computer Systems 8(1):18-36, Feb. 1990
![Page 28: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/28.jpg)
“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.
![Page 29: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/29.jpg)
Fred B. Schneider
“Implementing Fault-Tolerant Services Using the State Machine
Approach: a tutorial”
ACM Computing Surveys 22(4):299-319, Dec. 1990
![Page 30: Thanks for coming! Program highlights 25 presentations WIP session Poster session SIGOPS Business meeting Awards –Hall of fame papers –Mark Weiser.](https://reader030.fdocuments.in/reader030/viewer/2022032601/56649dd15503460f94ac778d/html5/thumbnails/30.jpg)
“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.