1.8 KiB
1.8 KiB
- 02/2019 Scalable Verification of Probabilistic Network Programs (conditionally) accepted to PLDI 2019!
- 01/2019 This spring, I'm teaching a new undergraduate course on Introduction to the Theory and Design of Programming Languages (CS 538). Follow along here!
- 11/2018 I gave an invited talk at the Privacy in Graphs (PiG) at UC Santa Cruz. Slides are now available.
- 10/2018 I will be a co-chair of the DARS 2019 workshop on Design and Analysis of Robust Systems, colocated with CAV 2019 in New York.
- 10/2018 I gave an invited talk at the TPDP 2018 workshop on differential privacy, colocated with CCS 2018 in Toronto. Slides are now available.
- 10/2018 Trace Abstraction modulo Probability and Formal Verification of Higher-Order Probabilistic Programs will appear at POPL 2019!
- 10/2018 I am helping organize the Programming Languages Mentoring Workshop (PLMW) at POPL 2019! We have funding available to help students attend, please apply by October 30.
- 10/2018 I am serving on the program committees of POST 2019 in Prague, Czech Republic and CSF 2019 in Hoboken, New Jersey. Submit your best papers!