Tuesday, November 15, 2022

CN: Verifying Systems C Code with Separation-Logic Refinement Types

›
We have a new paper on combining separation logic and refinement types to verify C code, appearing at POPL 2023 in a couple of months. It...
Friday, November 4, 2022

Two Papers about Refinement Types

›
The rule of thumb I use is that Noam Zeilberger is generally five to ten years ahead of me in identifying interesting problems. A decade ag...
Tuesday, September 13, 2022

The Golden Age of PL Research

›
I was chatting with a PhD student while back, who remarked to me that many senior PL researchers seemed stuck in a defensive crouch. I thoug...
7 comments:
Thursday, March 17, 2022

Fold Considered Annoying

›
I recently read Shriram Krishamurthi and Kathi Fisler's ICER 2021 paper, Developing Behavioral Concepts of Higher-Order Functions . In t...
7 comments:
Thursday, March 3, 2022

Simple Type Inference for System F

›
Henry Mercer, Cameron Ramsay, and I have a new draft paper on type inference out! Check out Implicit Polarized F: Local Type Inference for I...
Monday, January 17, 2022

Static typing vs. Dynamic Typing vs. Dana Scott

›
If you read about programming languages on the Internet, you'll inevitably run into (or even participate in) long arguments about whethe...
2 comments:
Thursday, December 30, 2021

What is a programming language?

›
One of the more surprising facts about the discipline of programming language theory is that it is actually possible to define what programm...
6 comments: