home.social

#nsdi25 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #nsdi25, aggregated by home.social.

  1. On Monday, the NSDI 2025 Program Committee presented the #nsdi25 Test of Time Award, given for an NSDI paper accepted at least 10 years ago, to the authors of the 2015 NSDI paper "The Design and Implementation of #openvswitch." Ben Pfaff and Ethan Jackson were present to accept the award on behalf of the 12 coauthors of the paper. Each of them gave brief remarks attributing the success of Open vSwitch, in academia and industry, to its large and vibrant community of contributors.

  2. A quick history lesson in the sunshine before #NSDI25. Exciting to speaking about our paper on “smart casual verification” with #TLAplus and how we applied it to find and fix subtle bugs in our distributed system the Confidential Consortium Framework.

  3. With #NSDI25 coming up in two weeks (Apr 28-30) in Philadelphia, do we have a sense for how the mess at the US border is going to impact international attendees? I'm certainly worried for folks who will be traveling to the conference from overseas and I'm wondering what impact both challenges getting visas as well as fears over getting detained/deported will have on attendance.

    usenix.org/conference/nsdi25

    (I won't be there, but I've gone previously and am talking with some of my local colleagues about attending.)

    #NSDI #ACM