mgreenblog

Posts in the category "Formal Methods"

  1. Kris Micinski and 17 other computer scientists discussed logic programming in the Adirondacks.
  2. I explain a very cool programming paradigm, by way of a POPL paper with Harvard colleagues.
  3. Program synthesis is a hot topic. But when is it worth the effort?
  4. I explain our (award-winning!) PLDI 2022 paper. Also, we meet a very good dog.
  5. The Big Brzozowski
    How big do the derivatives of regular expressions get? (Spoiler: big.)
  6. A new venue!
  7. Writing in Computer Science
    How does one write well in computer science?
  8. XSugar
    Playing around with bidirectional programming.
See all categories