Write a Blog >>
Gregory Malecha

Registered user since Thu 2 Jan 2020

Name: Gregory Malecha

Country: United States

Affiliation: BedRock Systems

Personal website: https://gmalecha.github.io/

Research interests: Program verification, Concurrency, Systems, Proof assistants, Programming languages

Contributions

POPL 2020Author of Interaction Trees: Representing Recursive and Impure Programs in Coq within the Research Papers-track
Show activities from other conferences

POPL 2020-profile
View general profile