UW Systems Lab

Computer systems research at the University of Washington

[UW Systems Lab @uwsyslab]

@nkrsharma defends his thesis “Building Efficient Network Protocols for Data Centers using Programmable Switches”!

[Allen School @uwcse]

Greetings from sunny California! Faculty and students in our @uwsyslab are all smiles at #OSDI2018 hosted by @usenix and @ACMSIGOPS. 😎

[Ed Lazowska @lazowska]

#UWAllen Ph.D. alum Irene Zhang wins 2018 Dennis M. Ritchie Doctoral Dissertation Award, presented at OSDI '18 https://t.co/ZlJUoTwAa7

[UW Systems Lab @uwsyslab]

Congratulations to Irene Zhang on receiving the @ACMSIGOPS Dennis M. Ritchie Doctoral Dissertation Award! #osdi18

[UW Systems Lab @uwsyslab]

Congratulations to Qiao Zhang @zhangqiaorjc on successfully defending his thesis "Failure Diagnosis for Datacenter Applications"

He is now a doctor, fully qualified to diagnose and treat your datacenter!

[EuroSys 2023 @EuroSys_conf]

Pedro Fonseca presenting "MultiNyx: A Multi-Level Abstraction Framework for Systematic Analysis of Hypervisors" #eurosys

[UW Systems Lab @uwsyslab]

Helgi Sigurbjarnarson shows off a live demo of Hyperkernel: Push-Button Verification of an OS Kernel at #sosp17

[UW Systems Lab @uwsyslab]

Jialin Li presents Eris: Coordination-Free Consistent Transactions Using In-Network Concurrency Control #sosp17 https://t.co/u46zqwfFhJ

[UW Systems Lab @uwsyslab]

Irene Zhang defends her Ph.D thesis: "Towards New Operating Systems for Mobile/Cloud Applications"

[UW Systems Lab @uwsyslab]

Congratulations to Dr. @RaymondCheng00 on the defense of his thesis "Practical Improvements to User Privacy in Cloud Applications"!

[Allen School @uwcse]

Congrats to #UWAllen postdoc Vamsi Talla & BS alum @justinesherry on their @ACMSIGCOMM Doctoral Dissertation Awards: https://t.co/uHDdFN52v2

[Adrian Colyer @adriancolyer]

Even distributed systems that have been formally verified contain serious bugs! So what now for bug-free software? https://t.co/VKo2P44n2r

[uwdb @uw_db]

Demo: Interactive Analysis of Performance Measurements with Viska https://t.co/HlGXEYHl9I #performance (Countdown to #SIGMOD17) cc @uwsyslab

[UW Systems Lab @uwsyslab]

Do formally verified systems still have bugs? Pedro, Kaiyuan, @bipartite, & Arvind show that they can @ #eurosys17! https://t.co/B9doa53JXZ

[UW Systems Lab @uwsyslab]

Happy @worldtapirday! Fact: both tapirs and distributed transaction protocols can run surprisingly fast! https://t.co/V1byviqNIX

[Allen School News @csenews]

New post: Allen School’s Tom Anderson elected to the American Academy of Arts & Sciences https://t.co/WTvvgJ4ihf

[UW Systems Lab @uwsyslab]

Today at #nsdi17: Danyang Zhuo makes a case for RAIL: a Redundant Array of Inexpensive (optical) Links: https://t.co/bpfbj3KIxo

[UW Systems Lab @uwsyslab]

At #nsdi17: @nkrsharma explains how to use programmable switches to solve network resource allocation problems. https://t.co/o2vlGQ9WJO

[UW Systems Lab @uwsyslab]

Congratulations to @rellismichael, the lab's latest recipient of a @NSF Graduate Research Fellowship!

[UW Systems Lab @uwsyslab]

Irene Zhang is featured as @geekwire's Geek of the Week! https://t.co/gdaaM4p8h0

[GeekWire @geekwire]

Geek of the Week: UW Ph.D. student Irene Zhang has big ideas to make life easier for programmers https://t.co/JLZnvvy1bq