“Should PLDI return to in-person Program Committee meetings?” – Survey results
Teaching Category Theory to Computer Scientists
Category theory has long served as a deep mathematical theory for investigations in programming languages and semantics. Recent years have seen renewed interest in applying category theory to programming languages. This past fall, I redesigned a graduate class called “Category Theory for Computer Scientists”. Though I admittedly do not consider myself to be an expert in category theory, I think the design of this kind of class is underexplored and there is room for experimentation. Here, I’d like to describe my experience teaching category theory to computer scientists and what I learned.
Coping with Copilot
CS educators: AI-based developer tools are gunning for your assignments. Resistance is futile.
Teaching Compilers Backward
Jean-Luc Godard is quoted as saying, “A story should have a beginning, a middle and an end, but not necessarily in that order.” What order is best to tell the story of a compiler?
Re-Imagining the “Programming Paradigms” Course
How can we refocus and modernize the undergraduate “programming paradigms” course?
