KMT wins PLDI 2022 Award
Michael Greenberg, Ryan Beckett (Microsoft Research), and Eric Campbell (Cornell)’s paper at PLDI 2022, “Kleene algebra modulo theories: a framework for concrete KATs” was one of six papers that won a distinguished paper award!