justin-site/content/news.md

10 lines
528 B
Markdown
Raw Normal View History

2024-05-02 01:34:38 +00:00
+ **04/2024** **A Categorical Approach to DIBI Models** to appear at **FSCD 2024**.
Congrats Tao and Jialu!
2024-04-13 18:59:49 +00:00
+ **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!
2023-12-02 04:46:10 +00:00
+ **08/2023** This fall, I am once again co-teaching 🐫[**Data Structures and
2023-12-02 04:53:39 +00:00
Functional Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023fa/)🐫
2023-12-02 04:46:10 +00:00
with Dexter Kozen.