Push-Button Verification of File Systems via Crash Refinement
Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering
Diamond: Automating Data Management and Storage for Wide-area, Reactive Applications
Disciplined Inconsistency with Consistency Types
Radiatus: Strong User Isolation for Scalable Web Applications
Characterizing Private Clouds: A Large-Scale Empirical Analysis of Enterprise Clusters
Come see these in exciting Savannah, GA and less-exciting Santa Clara, CA!
Another best paper award in the same week! UW Systems Lab Ph.D. graduate Will Scott received the Best Student Paper award at USENIX ATC 2016 for his paper “Satellite: Joint Analysis of CDNs
and Network-Level Interference”.
The TAPIR project received an honorable mention for the Madrona prize at the UW CSE industry affiliates meeting yesterday, awarded to work that shows the greatest potential for commercialization. See more coverage on the CSE News or GeekWire.
Irene presented our paper on TAPIR today at SOSP’15, demonstrating both that strongly consistent transactions can be affordable, and that baby tapirs are adorable.