Skip to content

Latest commit

 

History

History
83 lines (54 loc) · 6.1 KB

index.markdown

File metadata and controls

83 lines (54 loc) · 6.1 KB
Raw
Daniel Patterson
I'm currently a graduate student at [Northeastern University](http://prl.ccs.neu.edu/) studying programming languages, type systems, and language interoperability with [Amal Ahmed](http://www.ccs.neu.edu/home/amal/). If you want to learn more about what we're working on, Amal gave [a keynote](https://www.youtube.com/watch?v=3yVc5t-g-VU) on our research at StrangeLoop 2018. Previously, I helped start and run a worker-owned software contracting company, [Position Development](http://positiondev.com). I studied math and computer science undergrad at Brown University where I worked with [Shriram Krishnamurthi](https://cs.brown.edu/~sk). I'm interested in programming languages, education, and leftist politics. This is my personal website.

Contact

The easiest way to get in touch is via email: dbp@dbpmail.net. Note that if you have another email address for me, it will probably work as well. I'm currently located in Boston, MA.

Publications

The Next 700 Compiler Correctness Theorems (Functional Pearl).

Daniel Patterson and Amal Ahmed.
_ICFP 2019_. [PDF](/pubs/2019/ccc.pdf).

Phantom Contracts for Better Linking.

Daniel Patterson.
_POPL 2019 Student Research Competition_. [Extended abstract](/pubs/2018/phantom-contracts-src.pdf) and [poster](/posters/phantom-contracts-popl2019-src.pdf).

Rust Distilled: An Expressive Tower of Languages.

Aaron Weiss, Daniel Patterson, and Amal Ahmed.
_ML 2018_. [PDF](/pubs/2018/rust-distilled.pdf).

FunTAL: Reasonably Mixing a Functional Language with Assembly.

Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed.
_PLDI 2017_. [PDF](/pubs/2017/funtal.pdf) and [appendix](/pubs/2017/funtal-tr.pdf).

Linking Types for Multi-Language Software: Have Your Cake and Eat It Too.

Daniel Patteron and Amal Ahmed.
_SNAPL 2017_. [PDF](/pubs/2017/linking-types.pdf).

Linking Types: Specifying Safe Interoperability and Equivalences.

Daniel Patterson.
_POPL 2017 Student Research Competition_. [Extended abstract](/pubs/2016/linking-types-poplsrc2017-proposal.pdf) and [poster](/posters/linking-types-popl2017-src.pdf).

CaptainTeach: Multi-Stage, In-Flow Peer Review for Programming Assignments.

Joe Gibbs Politz, Daniel Patterson, Kathi Fisler, and Shriram Krishnamurthi.
_ITiCSE 2014_. [PDF](/pubs/2014/captainteach-iticse.pdf).

Python: The Full Monty―A Tested Semantics for the Python Programming Language.

Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi.
_OOPSLA 2013_. [PDF](/pubs/2013/lambda-py-oopsla.pdf), [appendix](/pubs/2013/lambda-py-appendix-oopsla.pdf) and [code](http://cs.brown.edu/research/plt/dl/lambda-py/ae/).

Teaching

**Fall 2019: ** CS4910: Verified Compilers and Multi-Language Software

Talks

**On Compositional Compiler Correctness and Fully Abstract Compilation.**
Principles of Secure Compilation at _POPL 2017_. [slides](/talks/2018/ccc-prisc.pdf) (no video).

FunTAL: Reasonably Mixing a Functional Language with Assembly.

_PLDI 2017_. [slides](/talks/2017/funtal-pldi.pdf) and [video](https://www.youtube.com/watch?v=5Py0l7CfQTo&index=25&list=PLMTm6Ln7vQZZv6sQ0I4R7iaIjvSVhHXod).

Artifacts for Semantics: An OCaml Experiment.

New England Programming Languages and Systems Symposium June 2017. [slides](/talks/2017/artifacts-nepls.pdf) (no video).

Linking Types for Multi-Language Software: Have Your Cake and Eat It Too;.

_SNAPL 2017_. [slides](/talks/2017/linking-types-snapl.pdf) (no video).

Linking Types: Secure compilation of multi-language programs.

Secure Compilation Meeting at _POPL 2017_. [slides](/talks/2017/linking-types-scm.pdf) (no video).

Typed routing with continuations.

New York Haskell Meetup April 2016. [slides](/talks/2016/fn-continuations-haskell-meetup.pdf) (or [with animations](/talks/2016/fn-continuations-transitions-haskell-meetup.pdf), which may be helpful) and [video](https://www.youtube.com/watch?v=tQI2JJwD_ZY).

Types and Testing in Haskell.

New York Haskell Meetup November 2014. [slides](/talks/2014/types-testing-haskell-meetup.pdf) and [video](https://www.youtube.com/watch?v=8_gjqN-VqeM).

Blog

Resume

A current resume is available in PDF form.

Links

I'm at github.com/dbp (code), twitter.com/dbp__ (politics), and instagram.com/dbp____ (food & art).

My public key is A98D4AF0. Old keys are 9A0C792F, B5FF6961. I'm at keybase.io/dbp, if that's easier. My ssh public key is here.