+ **07/2022** **Symbolic Execution for Randomized Programs** to
  appear at **OOPSLA 2022**.
+ **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
  2022**.
+ **01/2022** I will be co-chairing [**MFPS 38**](https://www.cs.cornell.edu/mfps-2022/)
  with Christine Tasson, planned to be hybrid with an in-person meeting in
  **Ithaca, New York**. Submit your best papers!
+ **01/2022** This spring, I am co-teaching 🐫[**Data Structures and Functional
  Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2022sp/)🐫
  with Nate Foster.
+ **11/2021** **A Separation Logic for Negative Dependence** to appear at **POPL
  2022**.
+ **08/2021** This fall, I'm teaching a graduate seminar on **Foundations of
  Probabilistic Programming (CS 6182)**. Follow along [here](https://www.cs.cornell.edu/courses/cs6182/2021fa/)!
+ **07/2021** I'm happy to serve on the PC of **POPL 2022** and **PLDI 2022**.
  Submit your best papers!
+ **06/2021** I gave four lectures at this year's (virtual) [Oregon PL Summer
  School](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php).
  Slides and lecture recordings are [available
  online](https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php).
  Thanks to the organizers, and thanks to all the enthusiastic students!