Jeffrey S. Foster

Registered user since Tue 24 Nov 2015

Name:Jeffrey S. Foster
Country:United States
Affiliation:University of Maryland, College Park

Contributions

VMCAI 2018 Session Chair of Verification (part of VMCAI 2018)
Refinement Types for Ruby
Show activities from other conferences

POPL 2018-profile
View general profile