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 2020Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
WGT 2020Author of Foreign Function Typing: Semantic Type Soundness for FFIs within the WGT-track
Show activities from other conferences

POPL 2020-profile
View general profile