The USENIX Symposium on Operating Systems Design and Implementation (OSDI) is one of the top annual venues for publishing innovative research in computer systems.

This year, Penn CIS students, faculty, and alumni have three exciting papers slated to appear at OSDI 2020, which will take place during November 4-6, 2020. The papers are:

Fault-tolerant and transactional stateful serverless workflows. By Haoran Zhang*, Adney Cardoza (Rutgers University–Camden), Peter Baile Chen*, Sebastian Angel, and Vincent Liu.

Orchard: Differentially Private Analytics at Scale. By Edo Roth*, Hengchu Zhang*, Andreas Haeberlen, and Benjamin C. Pierce.

Horde: Scalable Runtime Verification of Distributed Middleboxes. By Nofel Yaseen*, Behnaz Arzani+ (Microsoft Research), Ryan Beckett (Microsoft Research), Selim Ciraci (Microsoft), and Vincent Liu.

* indicates Penn students and + indicates Penn alumni.

Congratulations to all the authors on this very impressive accomplishment!

Categories: Uncategorized