justin-site/content/news.md

418 B

  • 04/2024 Verifying Cake Cutting, Faster to appear at CAV 2024. Congrats Noah and Tean!
  • 04/2024 Numerical Fuzz: A Type System for Rounding Error Analysis to appear at PLDI 2024. Congrats Ariel!
  • 08/2023 This fall, I am once again co-teaching 🐫Data Structures and Functional Programming (CS 3110)🐫 with Dexter Kozen.