This commit is contained in:
Justin Hsu 2022-08-13 16:01:54 -04:00
parent 1083ba24e2
commit afd6139309
1 changed files with 1 additions and 1 deletions

View File

@ -1,5 +1,5 @@
+ **08/2022** Our paper **Data-Driven Invariant Learning for Probabilistic + **08/2022** Our paper **Data-Driven Invariant Learning for Probabilistic
Programs** received a Distinguished Paper at **CAV 2022**! Programs** received a Distinguished Paper Award at **CAV 2022**!
+ **08/2022** This fall, I am teaching [**Category Theory for Computer + **08/2022** This fall, I am teaching [**Category Theory for Computer
Scientists (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2022fa/)! Scientists (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2022fa/)!
+ **07/2022** **Symbolic Execution for Randomized Programs** to + **07/2022** **Symbolic Execution for Randomized Programs** to