Thomas Gilray

Registered user since Fri 22 Jan 2016

Name:Thomas Gilray
Affiliation:University of Maryland
Personal website:https://thomas.gilray.org

Contributions

PLDI 2019 Size-Change Termination as a Contract
Show activities from other conferences

PLDI 2019-profile
View general profile