Registered user since Tue 28 Jan 2020

Name:Ryan Beckett
Affiliation:Microsoft Research, USA

Contributions

PLDI 2022 Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Show activities from other conferences

Using general profile