542 B
542 B
- 07/2024 I am honored to be selected for the 2024 EATCS Presburger Award. Thank you to all of my mentors and collaborators for making this possible!
- 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!