Jeffrey S. Foster

Registered user since Tue 24 Nov 2015

Name: Jeffrey S. Foster

Country: United States

Affiliation: University of Maryland, College Park

Personal website: http://www.cs.umd.edu/~jfoster

Contributions

VMCAI 2018Session Chair of Verification (part of VMCAI 2018)
Author of Refinement Types for Ruby within the VMCAI 2018-track
Show activities from other conferences

POPL 2018-profile
View general profile