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!