1.8 KiB
1.8 KiB
- 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 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)🐫 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!
- 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. Slides and lecture recordings are available online. Thanks to the organizers, and thanks to all the enthusiastic students!
- 04/2021 I'm happy to serve on the PC of MFPS XXXVII, which will take place online along with CALCO 2021. Submit your best papers!
- 04/2021 A Bunched Logic for Conditional Independence and A Quantum Interpretation of Bunched Logic & Quantum Separation Logic to appear at LICS 2021.
- 01/2021 A Pre-Expectation Calculus for Probabilistic Sensitivity has been selected as a Distingiushed Paper at POPL 2021!