Daniel Patterson - POPL 2020

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.

Contributions

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