|
Presenters |
Date |
Presentation Topic |
|
|
|
Historical Perspective & Design Classic OS |
1 |
Amber |
1/31 |
Hydra : The Kernel of a Multiprocessor Operating System, Wulf et all (pdf) (small capability driven kernel).
|
1 |
Matthew |
1/31 |
Why Arent Operating Systems Getting Fasteras Fast as Hardware?”, USENIX Summer Conference (1990) (pdf)
|
|
|
|
OS Structures & Design |
2 |
Kaitlyn,
Nick N |
2/07 |
OS Structures Microkernels: Liedtke's
On µ-kernel Construction. (wiki) (pdf)
Gnu's Herd Kernel ( wiki )
|
2 |
Joseph,
John-Michael |
2/07 |
OS Design : Hints (center piece, pdf) & "Worse it better"(pdf)
|
3 |
Ryan,
Brad |
2/14 |
Starting points: Are Virtual Machine Monitors Microkernels Done Right? ( pdf ) look at follow on papers as well (google).
|
|
|
|
|
|
|
|
Scheduling/Synchronization |
3 |
Houston,
Drew |
2/14 |
Anderson. "Spin Lock Alternatives" ( pdf )
|
4 |
Joshua,
Anushka |
2/21 |
Waldspurger & Weihl, "Lottery Scheduling ( pdf ) |
4 |
Anton,
Charles |
2/21 |
OS Error / RT Scheduling ( Mars Path Finder) (html)
also look at Reeves follow-up as well (html)
|
|
|
2/28 |
Process/Threads/Events |
|
|
|
User-Level Interprocess Communication (pdf) **
Why are events a bad idea (pdf) (for some background (pdf)) **
Threads Cannot be Implemented as a Library (pdf) **
|
|
|
|
|
|
|
|
2nd Phase: Recent Papers (2014-2018, one from 2008) |
|
|
|
|
|
|
|
|
|
|
|
Operating Systems OSDI
https://www.usenix.org/conference/osdi16/program
https://www.usenix.org/conference/osdi14/technical-sessions
USENIX ATC
https://www.usenix.org/conference/atc17/technical-sessions
https://www.usenix.org/conference/atc16/technical-sessions
SOSP
http://sigops.org/sosp/sosp17/program.html
http://sigops.org/sosp/sosp15/current/index.html
|
|
|
|
Kernel Design: |
5 |
Gustavo,
Sanggyun |
3/07 |
Arrakis: The Operating System is the Control Plane
University of Washington
OSDI 2014 - best paper.
|
5 |
Melanie,
XXX |
3/07
|
IX: A Protected Dataplane Operating System for High Throughput
and Low Latency
Stanford/EPLF - Lausanne
OSDI 2014 - best paper.
|
|
|
|
Caching/Indexing: |
6 |
Anton,
Josh M |
3/21 |
Cache Modeling and Optimization using Miniature Simulations
CachePhysics, Inc
USENIX ATC 2017 best paper.
|
|
------- |
|
cHash: Detection of Redundant Compilations via AST Hashing
Hannover
USENIX ATC 2017 best paper. |
6 |
Bahaa,
------ |
3/21 |
Reflex: A Scalable, Highly Available Multi-Index Data Store
VMWare/Princetion
USENIX ATC 2016 best paper.
|
|
|
|
MultiCore |
7 |
John-Michael,
Anushka |
3/28 |
Everything you always wanted to know about multicore graph
processing but were afraid to ask
USENIX ATC 2017 (Track 2) best paper.
|
|
|
|
Head in the Cloud: |
7 |
Nick N,
Brad |
3/28 |
Shielding Applications from an Untrusted Cloud with Haven
Microsoft Research
OSDI 2014 - best paper.
|
|
|
|
Distributed/Big Data Systems |
8 |
Bahaa,
------- |
4/04 |
TensorFlow: A System for Large-Scale Machine Learning.
OSDI 2016
|
|
|
|
File Systems |
8 |
Joe C.,
Melanie |
4/04 |
Push-Button Verification of File Systems via Crash Refinement
University of Washington
OSDI 2016 - best paper.
|
|
|
|
Security |
9 |
Ryan K,
Kaitlyn |
4/18 |
Ryan: A Distributed Sandbox for Untrusted Computation on Secret Data
The University of Texas at Austin
OSDI 2016 - best paper.
|
9 |
Nick D,
------ |
4/18 |
The Efficient Server Audit Problem, Reduplicated Re-execution, and the Web
NYU/Two Sigma
SOSP 2017 - best paper.
|
|
|
|
Troubleshooting/Bug Hunting/Debugging |
10 |
Drew,
Blake |
4/25 |
Early Detection of Configuration Errors to Reduce Failure Damage
University of California, San Diego
OSDI 2016 - best paper
|
10 |
Houston,
Matthew |
4/25 |
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
Columbia University/Lehigh
SOSP 2017 - best paper.
|
|
---- |
|
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.
OSCI 2008
(program testing, bug finding)
|
|
|
|
|
|
|
|
|
|
|
|
|