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.
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.
Our paper on building consistent transactions with inconsistent replication will appear in the 25th ACM Symposium on Operating Systems Principles.
A team of faculty and students from the systems lab today received the Best Paper Award at NSDI ’15 for the paper “Designing Distributed Systems Using Approximate Synchrony in Data Center Networks”. Learn more about our work on the co-design of distributed systems and datacenter networks.
UW CSE has created a series of short videos showcasing research in the department. Watch Simon talk about Arrakis or hear about Agate from Irene and Adriana. As always, Ed has more to say on the CSE News.
Happy Holidays from the Systems Lab!
Our technical report on building consistent transactions with inconsistent replication is now available.
Our paper on the co-design of distributed systems and datacenter networks will appear at NSDI 2015. Join us in beautiful Oakland, CA!
Microsoft CEO Satya Nadella came to hang out in the Systems lab yesterday. Arvind and a number of the students chatted with him about Arrakis, Sapphire and our other projects. Ed has more to say about his visit to CSE on the CSE News.
The systems lab had a great trip to rainy downtown Seattle to attend SoCC 2014. Naveen presented our work on “Tales of the Tail: Hardware, OS, and Application-level Sources of Tail Latency.” You can find the paper here.
Tom Anderson gave the opening keynote at SoCC 2014. He talked about our recent work on Arrakis and F10. Read more about the keynote on the CSE News and learn more about Arrakis in our recent OSDI publication.
Arrakis wins the Madrona prize during UW CSE Industrial Affiliates Research Day and is featured on GeekWire.
Arrakis wins the best paper award at OSDI 2014!
Our paper on tales of tail-latency will appear at SoCC 2014.
Our papers on Arrakis, Jitk and Sapphire will appear at OSDI 2014.
Our paper on machine fault-tolerance will appear at APSys 2014.
Our paper on user-level access to storage devices in Arrakis will appear at HotStorage 2014.
We present work on storage systems for NVRam at INFLOW 2013.