University of Washington
Computer Systems Lab

Our paper on eZNS will appear at OSDI 2023. Congrats to Jaehong and Frank!

Ellis Michael has graduated and joined Google. Congratulations, Dr. Michael!

Talks from the FOCI Kickoff Symposium are now available! Check them out!

Our papers on Parsimon, NetCov, and Hydra will appear at NSDI 2023. Congrats to Kevin, Xieyang, Weixin and Ellis!

Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, and Xi Wang won a best paper award at SOSP 2019 for their paper, “Scaling symbolic evaluation for automated verification of systems code with Serval.” Congratulations, to the Serval team!

Naveen Kr. Sharma passed his general exam. Congratulations, General Sharma!

Slim and ProbLink appear at NSDI’19. Congrats to Danyang, Kaiyuan, and Yuchen!

Haichen and Nacho defend their dissertations on SysML work!

Papers on Nickel, TVM, and Floem appear at OSDI’18.

Naveen Kr. Sharma and Qiao Zhang present their work at NSDI’18. Off to Renton!

Three UW papers (Eris, Hyperkernel, and Stata) at SOSP’17!

Danyang presents his work on mitigating packet corruption at SIGCOMM, 2017.

Five UW papers at NSDI 2017! Check out the papers on FlexSwitch, Curator, SCL, RAIL, and FM Backscatter.

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”!

We’re excited to announce that the Systems Lab will be presenting three excellent papers at OSDI 2016, and three more at SOCC 2016!

At OSDI:

• Push-Button Verification of File Systems via Crash Refinement

  (Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang)

• Just Say NO to Paxos Overhead: Replacing Consensus with Network Ordering

  (Jialin Li, Ellis Michael, Naveen Kr. Sharma, Adriana Szekeres, Dan R. K. Ports)

• Diamond: Automating Data Management and Storage for Wide-area, Reactive Applications

  (Irene Zhang, Niel Lebeck, Pedro Fonseca, Brandon Holt, Raymond Cheng, Ariadna Norberg, Arvind Krishnamurthy, Henry M. Levy)

At SOCC:

• Disciplined Inconsistency with Consistency Types

  (Brandon Holt, James Bornholt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze)

• Radiatus: Strong User Isolation for Scalable Web Applications

  (Raymond Cheng, William Scott, Paul Ellenbogen, Jon Howell, Franziska Roesner, Arvind Krishnamurthy, Thomas Anderson)

• Characterizing Private Clouds: A Large-Scale Empirical Analysis of Enterprise Clusters

  (Ignacio Cano, Srinivas Aiyer, Arvind Krishnamurthy)

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”.

Helgi received the Best Student Paper award at SYSTOR 2016 for his paper “Enabling Space Elasticity in Storage Systems”!

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.

The systems group had a great trip to OSDI 2014! Check out the OSDI website for videos of our talks on Arrakis, Jitk and Sapphire.

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.