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.

Contributions

SPLASH 2022 Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
PriSC 2020 Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
WGT 2020 Author of Foreign Function Typing: Semantic Type Soundness for FFIs within the WGT-track
PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ML 2018 Author of Rust Distilled: An Expressive Tower of Languages within the ML 2018-track
ICFP 2019 Author of The Next 700 Compiler Correctness Theorems. A Functional Pearl. within the Research Papers-track
PriSC 2018 Author of On Compositional Compiler Correctness and Fully Abstract Compilation within the PriSC 2018-track
SCM 2017 Presenter of Linking Types: Secure compilation of multi-language programs within the SCM-track
POPL 2017 Author of Linking Types: Specifying Safe Interoperability and Equivalences within the Student Research Competition-track
PLDI 2017 Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track
SPLASH 2013 Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track