Brown CS News

Categories

Strong Representation At OSDI, Including Three Honors, Shows The Impact Of Brown Systems

A photo of Nikos Vasilakis working with students in a Brown CS data center
Click the links that follow for more news about Michael Greenberg, Evangelos Lamprou, Lukas Lazarek, Anirudh Narsipur, Grigoris Ntousakis, Siddhartha Prasad, Nikos Vasilakis, and other recent accomplishments by our faculty, students, and alums.

The 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2026), held this week from July 13-15 in Seattle, is widely considered a premier forum for discussing the design, implementation, and implications of software systems. This year, the Brown Systems research group has broken their own record with four accepted papers. One of these (“Controlling Opaque-Component Effects with Semisolates and Try”) won both a Jay Lepreau Best Paper Award (one of three awarded out of 136 accepted papers) and a Best Artifact Award (one of three awarded out of 136 papers), and another (“RT: Regular Types for the Streaming Shell”) was a Best Paper Award Runner-Up (one of nine). Brown Systems students also presented six posters (25% of the total 24) at the OSDI poster session.

The common thread linking all four papers is Brown CS faculty member Nikos Vasilakis (also affiliated with Brown’s Data Science Institute) and his ATLAS research group, which builds systems that lift the capabilities of programmers dealing with the vast complexity of modern software systems, automating away inessential complexity and automating in desired features. Their recent honors include a Best Paper Award from the final USENIX ATC conference, a Google ML-and-Systems Junior Faculty Award on securing open-source software, and an Amazon Research Award on automated reasoning for the Unix/Linux shell.

For the following, Brown CS faculty, students, and alums are shown in bold:

“Controlling Opaque-Component Effects with Semisolates and Try”
Jay Lepreau Best Paper Award
Best Artifact Award

  • Evangelos Lamprou (Brown University PhD student advised by Nikos Vasilakis)
  • Ezri (Tianyu) Zhu (Stevens Institute of Technology)
  • Di Jin (currently at Huawei, a Brown CS postgraduate and PhD alum advised by Nikos Vasilakis and Vasileios P. Kemerlis)
  • Grigoris Ntousakis (currently an independent security researcher, a Brown CS Master’s alum advised by Nikos Vasilakis and Vasileios P. Kemerlis)
  • Georgios Liargkovas (currently at Columbia University, a Brown CS visiting student alum advised by Nikos Vasilakis)
  • Calvin Eng (currently at PayPal, a Brown CS undergraduate alum)
  • Konstantinos Kallas (University of California, Los Angeles)
  • Michael Greenberg (currently at Stevens Institute of Technology, a Brown CS undergraduate alum)
  • Nikos Vasilakis (Brown CS faculty member)


“hS: Speculative Script Reordering at Subprocess Granularity”

  • Georgios Liargkovas (currently at Columbia University, a Brown CS visiting student alum advised by Nikos Vasilakis)
  • Di Jin (currently at Huawei, a Brown CS postgraduate and PhD alum advised by Nikos Vasilakis and Vasileios P. Kemerlis)
  • Tianyu (Ezri) Zhu (Stevens Institute of Technology)
  • Dan Liu (Stevens Institute of Technology)
  • A. Bolun Thompson (University of California, Los Angeles)
  • Anirudh Narsipur (currently at LatchBio, a Brown CS Master’s alum advised by Nikos Vasilakis)
  • Seong-Heon Jung (currently at New York University, a Brown CS undergraduate alum advised by Nikos Vasilakis)
  • Siddhartha Prasad (Brown CS PhD student advised by Shriram Krishnamurthi)
  • Diomidis Spinellis (Athens University of Economics and Business and Delft University of Technology)
  • Michael Greenberg (currently at Stevens Institute of Technology, a Brown CS undergraduate alum)
  • Konstantinos Kallas (University of California, Los Angeles)
  • Nikos Vasilakis (Brown CS faculty member)


“Incr: Faster Re-Execution via Bolt-On Incrementalization”

  • Yizheng Xie (Brown CS PhD student advised by Nikos Vasilakis)
  • Evangelos Lamprou (Brown CS PhD student advised by Nikos Vasilakis)
  • Jerry Xia (Brown CS undergraduate student)
  • Nikos Vasilakis (Brown CS faculty member)


“RT: Regular Types for the Streaming Shell”
Jay Lepreau Best Paper Award Runner-Up

  • Zekai Li (Brown CS Master’s student advised by Nikos Vasilakis)
  • Lukas Lazarek (Brown CS postdoctoral researcher advised by Nikos Vasilakis)
  • Evangelos Lamprou (Brown CS PhD student advised by Nikos Vasilakis)
  • George Kapetanakis (National Technical University of Athens, Brown CS visiting student advised by Nikos Vasilakis) 
  • Konstantinos Mamouras (Rice University)
  • Nikos Vasilakis (Brown CS faculty member)
     

For more information, click the link that follows to contact Brown CS Communications Manager Jesse C. Polhemus.