
Registered user since Thu 20 Apr 2017
Name:Daniel Patterson
Affiliation:Northeastern University
Contributions
POPL 2017 | Linking Types: Specifying Safe Interoperability and Equivalences | ||||||||||||||||||||||||||||||||||||||||
SCM 2017 | Linking Types: Secure compilation of multi-language programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile