+ **08/2019** I am helping organize the [**Programming Languages Mentoring
  Workshop (PLMW)**](https://popl20.sigplan.org/home/PLMW-POPL-2020) at
  [**POPL 2020**](https://popl20.sigplan.org/)! We have funding available to
  help students attend, please [apply](https://forms.gle/dzV8ELgQUx2xfEjm9.)
  by **October 7**.
+ **08/2019** I am serving on the program committees of [**CSF
  2020**](https://www.ieee-security.org/CSFWweb/) and [**AAAI
  2020**](https://aaai.org/Conferences/AAAI-20/) 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](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs538/)!
