All articles

• Changing the theme of the blog Feb 7, 2026
• What the date? Nov 13, 2023
• Producing long and short versions of a paper in LaTeX Feb 27, 2023
• Neo-Classical Logic (SIGBOVIK 2022) Apr 1, 2022
• Meta-Programming in LaTeX Mar 1, 2022
• Statically Verified Refinements for Multiparty Protocols @ OOPSLA '20 Mar 29, 2020