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

Updates.

This commit is contained in:
Justin Hsu 2018-10-09 16:10:35 -05:00
parent dc36490425
commit b825e108b5
4 changed files with 141 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
bibs/header.bib
View File

@ -178,6 +178,7 @@
@STRING{popl16 = popl # ", Saint Petersburg, Florida" }
@STRING{popl17 = popl # ", Paris, France" }
@STRING{popl18 = popl # ", Los Angeles, California" }
@STRING{popl19 = popl # ", Lisbon, Portugal" }
% ----
@STRING{icfp = "{ACM} {SIGPLAN} {I}nternational {C}onference on
{F}unctional {P}rogramming ({ICFP})" }

133
bibs/myrefs.bib
View File

@ -1,4 +1,18 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@unpublished{ACGHK18,
title = {Metric Semantics for Probabilistic Relational Reasoning},
author = {Azevedo de Amorim, Arthur and
Gaboardi, Marco and
Hsu, Justin and
Katsumata, {Shin-ya}},
year = 2018,
url = {https://arxiv.org/abs/1807.05091},
eprint = {1807.05091},
archivePrefix = {arXiv},
primaryClass = {cs.PL},
jh = yes,
}
@unpublished{SKFHKKS18,
title = {Probabilistic Program Equivalence for {NetKAT}},
author = {Smolka, Steffen and
@ -17,7 +31,7 @@
}
@unpublished{SBGHK17,
title = {Reasoning about Divergences for Relaxations of Differential Privacy},
title = {Approximate Span Liftings},
author = {Sato, Tetsuya and
Barthe, Gilles and
Gaboradi, Marco and
@ -95,6 +109,43 @@
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@article{SHA18,
title = {Trace Abstraction modulo Probability},
author = {Smith, Calvin and
Hsu, Justin and
Albarghouthi, Aws},
year = {2019},
month = jan,
jh = yes,
journal = pacmpl,
volume = {3},
number = {POPL},
jhnote = "To appear at " # popl19 # ".",
reviewed = yes,
}
@article{SABGGH18,
title = {Formal Verification of Higher-Order Probabilistic Programs},
author = {Sato, Tetsuya and
Aguirre, Alejandro and
Barthe, Gilles and
Gaboardi, Marco and
Garg, Deepak and
Hsu, Justin},
year = {2019},
month = jan,
jh = yes,
journal = pacmpl,
volume = {3},
number = {POPL},
jhnote = "To appear at " # popl19 # ".",
reviewed = yes,
url = {https://arxiv.org/abs/1807.06091},
eprint = {1807.06091},
archivePrefix = {arXiv},
primaryClass = {cs.LO},
}
@inproceedings{vHHOS18,
title = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
author = {van Heerdt, Gerco and
@ -117,7 +168,6 @@
author = {Albarghouthi, Aws and
Hsu, Justin},
year = {2018},
jhnote = "To appear.",
jh = yes,
reviewed = yes,
booktitle = cav18,
@ -125,6 +175,7 @@
eprint = {1804.04052},
archivePrefix = {arXiv},
primaryClass = {cs.PL},
acceptance = {65/215=0.30},
}
@inproceedings{ABHS18,
@ -141,7 +192,7 @@
eprint = {1802.06283},
archivePrefix = {arXiv},
primaryClass = {cs.PL},
jhnote = "To appear.",
acceptance = {147/502=0.29},
}
@inproceedings{BEGGHS16,
@ -160,7 +211,8 @@
eprint = {1803.05535},
archivePrefix = {arXiv},
primaryClass = {cs.LO},
slides = {https://justinh.su/files/slides/ellora.pdf}
slides = {https://justinh.su/files/slides/ellora.pdf},
acceptance = {144/479=0.30},
}
@article{AH17,
@ -252,6 +304,7 @@
jh = yes,
plclub = yes,
reviewed = yes,
acceptance = {30/54=0.55},
}
@inproceedings{BGHS16,
@ -822,6 +875,38 @@ inproceedings{HHRRW14,
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@talk{epfl18-talk,
title = {From Probabilistic Coupling to Relational Program Logics},
organization = {Programming Languages and Verification Workshop, \'{E}cole Polytechnique F\'{e}d\'{e}rale de Lausanne},
year = 2018,
month = jun,
jh = yes,
}
@talk{esop18-talk,
title = {An Assertion-Based Program Logic for Probabilistic Programs},
organization = esop18,
year = 2018,
month = apr,
jh = yes,
}
@talk{barbados18-talk,
title = {Almost Sure Productivity},
organization = {Barbados Workshop on Logical Foundations for Data Science, Bellairs Research Institute},
year = 2018,
month = mar,
jh = yes,
}
@talk{cornell-pldg18-talk,
title = {From Probabilistic Coupling to Relational Program Logics},
organization = {PL Discussion Group, Cornell University},
year = 2018,
month = mar,
jh = yes,
}
@talk{ucl-pplv18-talk,
title = {From Probabilistic Coupling to Relational Program Logics},
organization = {{PPLV} Seminar, University College London},
@ -6964,3 +7049,43 @@ url={https://doi.org/10.1007/3-540-48224-5_35}
organization=springer
}
@article{warner1965randomized,
title={Randomized response: A survey technique for eliminating evasive answer bias},
author={Warner, Stanley L.},
journal={Journal of the American Statistical Association},
volume={60},
number={309},
pages={63--69},
year={1965},
publisher={Taylor \& Francis}
}
@inproceedings{erlingsson2014rappor,
title={Rappor: Randomized aggregatable privacy-preserving ordinal response},
author={Erlingsson, {\'U}lfar and Pihur, Vasyl and Korolova, Aleksandra},
booktitle=ccs14,
pages={1054--1067},
year={2014},
}
@article{johnson2018towards,
title={Towards practical differential privacy for {SQL} queries},
author={Johnson, Noah and Near, Joseph P and Song, Dawn},
journal = pvldb,
note = vldb18,
volume={11},
number={5},
pages={526--539},
year={2018},
}
@techreport{abowdschmutte,
title={Revisiting the Economics of Privacy:
Population Statistics and
Confidentiality Protection as Public Goods},
author={Abowd, John M. and Schmutte, Ian M.},
institution={Center for Economic Studies},
year=2017,
month=apr,
number={17--37},
}

2
content/about.md
View File

@ -49,7 +49,7 @@ differential privacy to optimization, machine learning, and mechanism design.
- **Introduction to the Theory and Design of PL (CS 538)**: [S19](https://justinh.su/staging/cs538/)
## Service ##
- **2019** POPL
- **2019** POPL, PLMW, POST, CSF
- **2018** LICS, WWW
- **2017** FCS, TPDP, MFPS
- **2016** PLDI (ERC)

15
content/news.md
View File

@ -1,3 +1,13 @@
+ **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**.
+ **10/2018** I will serve on the program committees of
[**POST**](https://conf.researchr.org/track/etaps-2019/post-2019-papers) in
Prague, Czech Republic and [**CSF**](https://www.ieee-security.org/CSFWweb/)
in Hoboken, New Jersey. Submit your best papers!
+ **09/2018** This fall, I'm teaching a graduate seminar on **Topics in Security
and Privacy Technologies (CS 839)**. Follow along
[here](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs839/)!
@ -9,8 +19,3 @@
+ **07/2018** I am honored to receive the ACM SIGPLAN [**John C. Reynolds Doctoral
Dissertation Award**](http://www.sigplan.org/Awards/Dissertation/) for my
dissertation **Probabilistic Couplings for Probabilistic Reasoning**!
+ **05/2018** Our preprint **Convex Language Semantics for Nondeterministic
Probabilistic Automata** is now available.
+ **05/2018** I will be serving on the program committee of [**POPL
2019**](https://popl19.sigplan.org/) in Lisbon, Portugal. Submit your best
papers!