...for his dissertation "Verifying a concurrent, crash-safe file system with sequential reasoning."

Created in 2013, the ACM SIGOPS Dennis M. Ritchie Doctoral Dissertation Award recognizes outstanding research in software systems. More details about the award are available at the award's website. VMware Research's Tej Chajed, a postdoctoral researcher, received honorable mention for the 2022 award. His dissertation was completed at MIT under advisors Frans Kaashoek and Nickolai Zeldovich. The dissertation is available here. Congratulations Tej!