mgreenblog

Posts in the category "Formal Methods"

  1. 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.
  2. When is program synthesis worthwhile?
    Program synthesis is a hot topic. But when is it worth the effort?
  3. How to cook a KAT for your pet theory
    I explain our (award-winning!) PLDI 2022 paper. Also, we meet a very good dog.
  4. The Big Brzozowski
    How big do the derivatives of regular expressions get? (Spoiler: big.)
  5. Open-Access Venue for Theoretical Computer Science
    A new venue!
  6. Writing in Computer Science
    How does one write well in computer science?
  7. XSugar
    Playing around with bidirectional programming.
See all categories