Helgi, James, Emina, and Xi received the best paper award at OSDI 2016 for their paper “Push-Button Verification of File Systems via Crash Refinement”!
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.