-
A new domain name and a new static site. Does independent social media live?
-
Recruiting PhD students in 2023.
-
Advice on how to succeed as a nascent academic.
-
Program synthesis is a hot topic. But when is it worth the effort?
-
I did a twoopsla.
-
Recruiting PhD students, in 2021.
-
I moved to Stevens.
-
My former employer continues to hire---and continues to be a great place to work.
-
A proposal (never realized) for popular presentations of PL ideas.
-
I hosted a virtual cocktail hour at POPL 2021. Deep COVID was a strange time.
-
Follow-up discussion from a post on the SIGPLAN plan about notation.
-
A reviewer told me to cite a paper by Gandy---and it included a surprisingly racist quote from Alan Turing. Bertrand Russell acquits himself rather poorly.
-
Modeling languages faithfully means thinking about more than core calculi.
-
I explain how our OOPSLA 2020 paper can help you prototype static analyses.
-
Our work is featured on the SIGPLAN blog.
-
The track is well beaten, so we'll take a break.
-
A position paper, in SNAPL 2019.
-
Reflecting on my work at Pomona College.
-
A history of the term 'refinement type', with thorough discussion.
-
Bugfixes.
-
Highlighting "Model, View, Culture"'s work.
-
Runtime checking---of types or more complex properties---can only be understood by breaking things down to the fundamental checks being done.
-
PL meets networking meets the very stench of Hades.
-
An inane bugfix.
-
Outdated instructions, useful in their time.
-
Songs of innocence.
-
A webcomic I enjoyed.
-
Exploring a language feature.
-
My advisor was featured in a CACM article.
-
I improved the old Wordpress website.
-
I went to grad school in Philadelphia.
-
My last semester of college.
-
first post