2022-07-01 01:56:58 +00:00
|
|
|
+ **07/2022** **Symbolic Execution for Randomized PRograms** to
|
|
|
|
|
appear at **OOPSLA 2022**.
|
2022-05-01 14:21:41 +00:00
|
|
|
+ **05/2022** **Data-Driven Invariant Learning for Probabilistic Programs** to
|
|
|
|
|
appear at **CAV 2022**.
|
2022-03-01 05:06:48 +00:00
|
|
|
+ **02/2022** **P4BID: Information Flow Control in P4** to appear at **PLDI
|
|
|
|
|
2022**.
|
2022-01-29 02:55:24 +00:00
|
|
|
+ **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
|
2021-12-01 15:49:14 +00:00
|
|
|
2022**.
|
2021-11-28 02:13:49 +00:00
|
|
|
+ **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/)!
|
2021-07-10 22:36:18 +00:00
|
|
|
+ **07/2021** I'm happy to serve on the PC of **POPL 2022** and **PLDI 2022**.
|
|
|
|
|
Submit your best papers!
|
2021-07-10 22:35:42 +00:00
|
|
|
+ **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!
|
2021-04-01 22:14:17 +00:00
|
|
|
+ **04/2021** I'm happy to serve on the PC of [**MFPS
|
|
|
|
|
XXXVII**](https://easychair.org/cfp/MFPS37), which will take place online
|
|
|
|
|
along with [**CALCO 2021**](https://easychair.org/cfp/CALCO2021). Submit your
|
|
|
|
|
best papers!
|
2021-04-01 22:09:59 +00:00
|
|
|
+ **04/2021** **A Bunched Logic for Conditional Independence** and **A Quantum
|
|
|
|
|
Interpretation of Bunched Logic & Quantum Separation Logic** to appear at
|
|
|
|
|
**LICS 2021**.
|
2021-01-04 13:07:02 +00:00
|
|
|
+ **01/2021** **A Pre-Expectation Calculus for Probabilistic Sensitivity** has
|
|
|
|
|
been selected as a **Distingiushed Paper** at **POPL 2021**!
|
