Kris Micinski and 17 other computer scientists discussed logic programming in the Adirondacks.
I explain a very cool programming paradigm, by way of a POPL paper with Harvard colleagues.
Program synthesis is a hot topic. But when is it worth the effort?
I explain our (award-winning!) PLDI 2022 paper. Also, we meet a very good dog.
How big do the derivatives of regular expressions get? (Spoiler: big.)
How does one write well in computer science?
XSugar
Playing around with bidirectional programming.