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