mgreenblog

Posts in the category "Formal Methods"

1. Answer set programming (ASP) is the powerhouse technology you've never heard of Monday, November 7, 2022
   I explain a very cool programming paradigm, by way of a POPL paper with Harvard colleagues.
2. When is program synthesis worthwhile? Tuesday, May 24, 2022
   Program synthesis is a hot topic. But when is it worth the effort?
3. How to cook a KAT for your pet theory Friday, May 13, 2022
   I explain our (award-winning!) PLDI 2022 paper. Also, we meet a very good dog.
4. The Big Brzozowski Friday, May 8, 2020
   How big do the derivatives of regular expressions get? (Spoiler: big.)
5. Open-Access Venue for Theoretical Computer Science Thursday, April 30, 2009
   A new venue!
6. Writing in Computer Science Wednesday, December 5, 2007
   How does one write well in computer science?
7. XSugar Wednesday, February 7, 2007
   Playing around with bidirectional programming.