mgreenblog

Posts in the category "Teaching"

1. popl 2026 tutorial: analyzing shell scripts Thursday, March 26, 2026
   The Pash folks gave a tutorial at POPL 2026.
2. Smart constructors are smarter than you think Thursday, May 7, 2020
   Playing around with Brzozowski derivatives of regular expressions.