1.2 KiB
1.2 KiB
- 08/2019 I am helping organize the Programming Languages Mentoring Workshop (PLMW) at POPL 2020! We have funding available to help students attend, please apply by October 7.
- 08/2019 I am serving on the program committees of CSF 2020 in Boston, Massachusetts and AAAI 2020 in New York, New York. Submit your best papers!
- 05/2019 Data Poisoning against Differentially-Private Learners: Attacks and Defenses to appear at IJCAI 2019!
- 03/2019 Approximate Span Liftings and Probabilistic Relational Reasoning via Metrics to appear at LICS 2019!
- 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!