Stevens Cypress

HomePeopleSeminarSeminarYouTube

KMT wins PLDI 2022 Award

2022-06-15

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!

Stevens Cypress

Questions? Ask Michael Greenberg.

The Cypress group at Stevens Institute of Technology studies cybersecurity, programming languages, and systems.