Tobias Kappé and his coauthors receive a Distinguished Paper Award at OOPSLA 2023

The OOPSLA 2023 paper Formal Abstractions for Packet Scheduling (Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen) has received a Distinguished Paper Award.

This award recognizes the best papers presented at the conference each year. This year, ten articles were selected as distinguished papers (out of 111 accepted papers).