Search results
-
make world
Christopher Smowton, University of Cambridge Computer Laboratory BibTeX @inproceedings {266886, author = {Christopher Smowton}, title = {make world}, booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)}, year = {2011}, address = {Na ...admin - December 20, 2021 - 5:52 am
-
What If You Could Actually Trust Your Kernel?
Gernot Heiser, NICTA and University of New South Wales Leonid Ryzhyk, NICTA and University of New South Wales Michael von Tessin, NICTA and University of New South Wales Aleksander Budzynowski, NICTA and University of New South Wales BibTeX @inproceedings ...admin - December 20, 2021 - 5:52 am
-
Provable Security: How Feasible Is It?
Gerwin Klein, NICTA and University of New South Wales Toby Murray, NICTA and University of New South Wales Peter Gammie, NICTA and University of New South Wales Thomas Sewell, NICTA and University of New South Wales Simon Winwood, NICTA and University of ...admin - December 20, 2021 - 5:52 am
-
Toward Practical and Unconditional Verification of Remote Computations
Andrew J. Blumberg, The University of Texas at Austin BibTeX @inproceedings {266882, author = {Andrew J. Blumberg}, title = {Toward Practical and Unconditional Verification of Remote Computations}, booktitle = {13th Workshop on Hot Topics in Operating Sys ...admin - December 20, 2021 - 6:52 am
-
MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms
Michael Dietz, Rice University Charalampos Papamanthou, Brown University BibTeX @inproceedings {266883, author = {Michael Dietz and Charalampos Papamanthou}, title = {{MOMMIE} Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms}, bo ...admin - December 20, 2021 - 6:52 am
-
The Case for VOS: The Vector Operating System
Vijay Vasudevan, Carnegie Mellon University David G. Andersen, Carnegie Mellon University Michael Kaminsky, Intel Labs BibTeX @inproceedings {266877, author = {Vijay Vasudevan and David G. Andersen and Michael Kaminsky}, title = {The Case for {VOS}: The V ...admin - December 20, 2021 - 6:52 am
-
Operating Systems Must Support GPU Abstractions
Christopher J. Rossbach, Microsoft Research Jon Currey, Microsoft Research Emmett Witchel, The University of Texas at Austin BibTeX @inproceedings {266878, author = {Christopher J. Rossbach and Jon Currey and Emmett Witchel}, title = {Operating Systems Mu ...admin - December 20, 2021 - 6:52 am
-
Multicore OSes: Looking Forward from 1991, er, 2011
David A. Holland, Harvard University Margo I. Seltzer, Harvard University BibTeX @inproceedings {266879, author = {David A. Holland and Margo I. Seltzer}, title = {Multicore {OSes}: Looking Forward from 1991, er, 2011}, booktitle = {13th Workshop on Hot T ...admin - December 20, 2021 - 6:52 am
-
An Analysis of Linux Scalability to Many Cores
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 5:37 pm
-
Trust and Protection in the Illinois Browser Operating System
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 5:37 pm
-
FlexSC: Flexible System Call Scheduling with Exception-Less System Calls
http://www.usenix.org/events/osdi10/tech/full_papers/Soares.pdf http://www.usenix.org/events/osdi10/tech/slides/soares.pdf ...admin - December 20, 2021 - 6:08 pm
-
Finding a Needle in Haystack: Facebook's Photo Storage
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 6:08 pm
-
Availability in Globally Distributed Storage Systems
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers/Ford.pdf ...admin - December 20, 2021 - 6:08 pm
-
Nectar: Automatic Management of Data and Computation in Datacenters
http://www.usenix.org/events/osdi10/tech/full_papers/Gunda.pdf ...admin - December 20, 2021 - 6:08 pm
-
Intrusion Recovery Using Selective Re-execution
http://www.usenix.org/events/osdi10/tech/full_papers/Kim.pdf http://www.usenix.org/events/osdi10/tech/slides/kim.pdf ...admin - December 20, 2021 - 6:08 pm
-
Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications
http://www.usenix.org/events/osdi10/tech/full_papers/Chlipala.pdf http://www.usenix.org/events/osdi10/tech/slides/chlipala.pdf ...admin - December 20, 2021 - 6:08 pm
-
Accountable Virtual Machines
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 6:08 pm
-
Bypassing Races in Live Applications with Execution Filters
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 6:08 pm
-
Effective Data-Race Detection for the Kernel
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 6:08 pm
-
Ad Hoc Synchronization Considered Harmful
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 6:08 pm
-
Deterministic Process Groups in dOS
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 6:39 pm
-
Efficient System-Enforced Deterministic Parallelism
Download Audio http://www.usenix.org/events/osdi10/tech/full_papers ...admin - December 20, 2021 - 6:39 pm
-
Stable Deterministic Multithreading through Schedule Memoization
http://www.usenix.org/events/osdi10/tech/full_papers/Cui.pdf http://www.usenix.org/events/osdi10/tech/slides/cui.pdf ...admin - December 20, 2021 - 6:39 pm
-
Enabling Configuration-Independent Automation by Non-Expert Users
http://www.usenix.org/events/osdi10/tech/full_papers/Kushman.pdf ...admin - December 20, 2021 - 6:39 pm
-
Automating Configuration Troubleshooting with Dynamic Information Flow Analysis
http://www.usenix.org/events/osdi10/tech/full_papers/Attariyan.pdf http://www.usenix.org/events/osdi10/tech/slides/attariyan.pdf ...admin - December 20, 2021 - 6:39 pm