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