2018-10-09 21:10:35 +00:00
|
|
|
+ **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** this year! We have funding available to help
|
|
|
|
|
students attend, please [apply](https://goo.gl/forms/PlJWPTl1Nkh7VBAn1) by
|
|
|
|
|
**October 30**.
|
2018-10-09 21:12:56 +00:00
|
|
|
+ **10/2018** I am serving on the program committees of [**POST
|
|
|
|
|
2019**](https://conf.researchr.org/track/etaps-2019/post-2019-papers) in
|
|
|
|
|
Prague, Czech Republic and [**CSF
|
|
|
|
|
2019**](https://www.ieee-security.org/CSFWweb/) in Hoboken, New Jersey. Submit
|
|
|
|
|
your best papers!
|
2018-09-10 04:49:25 +00:00
|
|
|
+ **09/2018** This fall, I'm teaching a graduate seminar on **Topics in Security
|
2018-09-10 04:47:12 +00:00
|
|
|
and Privacy Technologies (CS 839)**. Follow along
|
|
|
|
|
[here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs839/)!
|
2018-09-03 06:46:31 +00:00
|
|
|
+ **09/2018** I've joined the [**Department of Computer
|
|
|
|
|
Sciences**](https://www.cs.wisc.edu/) at the **University of
|
|
|
|
|
Wisconsin--Madison**!
|
2018-07-10 21:34:25 +00:00
|
|
|
+ **07/2018** **Convex Language Semantics for Nondeterministic Probabilistic
|
|
|
|
|
Automata** will appear at **ICTAC 2018**!
|
2018-07-02 21:03:25 +00:00
|
|
|
+ **07/2018** I am honored to receive the ACM SIGPLAN [**John C. Reynolds Doctoral
|
2018-07-02 18:19:12 +00:00
|
|
|
Dissertation Award**](http://www.sigplan.org/Awards/Dissertation/) for my
|
|
|
|
|
dissertation **Probabilistic Couplings for Probabilistic Reasoning**!
|
