Write a Blog >>
Daniel Patterson

Registered user since Thu 20 Apr 2017

Name:Daniel Patterson
Country:United States
Affiliation:Northeastern University
Personal website:https://dbp.io
Research interests:Programming Languages -- Language Interoperability, Type Systems, Compilers.


PriSC 2020 Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
WGT 2020 Foreign Function Typing: Semantic Type Soundness for FFIs
Show activities from other conferences

POPL 2020-profile
View general profile