528 B
528 B
- 04/2024 A Categorical Approach to DIBI Models to appear at FSCD 2024. Congrats Tao and Jialu!
- 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.