| CARVIEW |
Select Language
HTTP/1.1 200 OK
Date: Mon, 29 Dec 2025 23:01:49 GMT
Server: Apache/2.4.62 (Rocky Linux) OpenSSL/3.2.2 mod_wsgi/4.7.1 Python/3.9
Last-Modified: Fri, 21 Apr 2023 22:32:03 GMT
ETag: "15c1-5f9e039ec9573"
Accept-Ranges: bytes
Content-Length: 5569
Strict-Transport-Security: max-age=15768000;includeSubdomains
Content-Type: text/html; charset=UTF-8
UW Systems Lab
University of Washington
University of Washington
Computer Systems Lab
News
-
21 April 2023
Our paper on eZNS will appear at OSDI 2023. Congrats to Jaehong and Frank!
-
16 March 2023
Ellis Michael has graduated and joined Google. Congratulations, Dr. Michael!
-
24 February 2023
Talks from the FOCI Kickoff Symposium are now available! Check them out!
-
28 January 2023
Our papers on Parsimon, NetCov, and Hydra will appear at NSDI 2023. Congrats to Kevin, Xieyang, Weixin and Ellis!
-
28 October 2019
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!