Did someone say... dynamic duo? Meet Cass & Elizabeth! bit.ly/35AZX9w

time to really put my new laptop to the test and see if I can join a zoom meeting while also compiling two different versions of the Linux kernel

Congratulations to Olivia Strasburg and Tessy Udoh on being named to the CCFC All Conference Team Honorable Mentions for epee and sabre respectively!! #GoBigRed #DenisonProud

Testing researcher who never writes tests in their own code

This is Fotis. He was found as a stray with a tail injury and spinal cord damage. His tail was amputated and left him with a cute little bunny butt. Unfortunately, he’ll need a lifetime of specialized medical care. You can help Fotis feel better below ❤️‍🩹 15outof10.org/fotis/

mum said it's my turn with the mutex

I’m very honored to receive one of the Best Paper awards for my paper at EuroSys! I’ll be talking about it in the Persistence session on Thursday afternoon :)

#eurosys23 best paper : Chipmunk: Investigating Crash-Consistency in Persistent-Memory File System Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram (UT Austin) Congratulations! hayley @vj_chidambaram

Save the date: On 7/11, we will be releasing the preliminary results on our survey of harassment and bullying at CS conferences at OSDI/ATC. There will be a BoF at 7:30 to discuss the results and next steps that we can take as a community. usenix.org/conference/osd…

I’ll be presenting at this work at #OSDI24 tomorrow (Thursday) in the Operating Systems session!

This SquirrelFS paper by hayley, @vj_chidambaram et al is extremely cool. The short version is that they use the Typestate pattern (along with Rust's type checker) to check certain crash consistency properties of a filesystem *at compile time*. arxiv.org/abs/2406.09649

I'm thrilled to announce that our OSDI'24 paper "Anvil: Verifying Liveness of Cluster Management Controllers" gets the Jay Lepreau Best Paper Award. Congratulations to my teammates and thanks for the recognition. I will present it in today's "Formal Verification" session. (1/6)

I love that the systems research community is finally realizing that computer systems should be written in a proper systems programming language (not C or C++)