This commit is contained in:
Justin Hsu 2022-05-01 10:21:41 -04:00
parent 08a5bdd488
commit c791a7a88d
1 changed files with 2 additions and 0 deletions

View File

@ -1,3 +1,5 @@
+ **05/2022** **Data-Driven Invariant Learning for Probabilistic Programs** to
appear at **CAV 2022**.
+ **02/2022** **P4BID: Information Flow Control in P4** to appear at **PLDI + **02/2022** **P4BID: Information Flow Control in P4** to appear at **PLDI
2022**. 2022**.
+ **01/2022** I will be co-chairing [**MFPS 38**](https://www.cs.cornell.edu/mfps-2022/) + **01/2022** I will be co-chairing [**MFPS 38**](https://www.cs.cornell.edu/mfps-2022/)