mgreenblog

Posts in the category "Formal Methods"

  1. popl 2026 tutorial: analyzing shell scripts
    The Pash folks gave a tutorial at POPL 2026.
  2. reflections on minnowbrook logic programming seminar 2025
    Kris Micinski and 17 other computer scientists discussed logic programming in the Adirondacks.
  3. Answer set programming (ASP) is the powerhouse technology you've never heard of
    I explain a very cool programming paradigm, by way of a POPL paper with Harvard colleagues.
  4. When is program synthesis worthwhile?
    Program synthesis is a hot topic. But when is it worth the effort?
  5. How to cook a KAT for your pet theory
    I explain our (award-winning!) PLDI 2022 paper. Also, we meet a very good dog.
  6. The Big Brzozowski
    How big do the derivatives of regular expressions get? (Spoiler: big.)
  7. Open-Access Venue for Theoretical Computer Science
    A new venue!
  8. Writing in Computer Science
    How does one write well in computer science?
  9. XSugar
    Playing around with bidirectional programming.
See all categories