justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update news.

This commit is contained in:
Justin Hsu 2019-08-22 14:59:57 -05:00
parent 2b299206f9
commit 1bf64b1e22
1 changed files with 9 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
content/news.md
View File

@ -1,3 +1,12 @@
+ **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 + **05/2019** **Data Poisoning against Differentially-Private Learners: Attacks
and Defenses** to appear at **IJCAI 2019**! and Defenses** to appear at **IJCAI 2019**!
+ **03/2019** **Approximate Span Liftings** and **Probabilistic Relational + **03/2019** **Approximate Span Liftings** and **Probabilistic Relational
@ -8,26 +17,3 @@
**Introduction to the Theory and Design of Programming Languages (CS 538)**. **Introduction to the Theory and Design of Programming Languages (CS 538)**.
Follow along Follow along
[here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs538/)! [here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs538/)!
+ **11/2018** I gave an invited talk at the [**Privacy in Graphs
(PiG)**](https://tripods.soe.ucsc.edu/data-privacy-network-and-graph-data-workshop)
workshop at UC Santa Cruz. [Slides](files/slides/pig18-invited.pdf) 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**](http://i-cav.org/2019/) in New York.
+ **10/2018** I gave an invited talk at the [**TPDP
2018**](https://tpdp.cse.buffalo.edu/2018/) workshop on differential privacy,
colocated with [**CCS 2018**](https://www.sigsac.org/ccs/CCS2018/) in Toronto.
[Slides](files/slides/tpdp18-invited.pdf) 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)**](https://popl19.sigplan.org/track/PLMW-2019-papers) at
[**POPL 2019**](https://popl19.sigplan.org/home)! We have funding available to
help students attend, please [apply](https://goo.gl/forms/PlJWPTl1Nkh7VBAn1)
by **October 30**.
+ **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!