diff --git a/bibs/header.bib b/bibs/header.bib index 5614780..b3e337d 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -179,6 +179,7 @@ @STRING{popl17 = popl # ", Paris, France" } @STRING{popl18 = popl # ", Los Angeles, California" } @STRING{popl19 = popl # ", Lisbon, Portugal" } +@STRING{popl20 = popl # ", New Orleans, Louisiana" } % ---- @STRING{icfp = "{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming ({ICFP})" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 930fe91..2393ee6 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,17 +1,4 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@unpublished{BHL19, - title = {A Probabilistic Separation Logic}, - author = {Barthe, Gilles and - Hsu, Justin and - Liao, Kevin}, - year = 2019, - url = {https://arxiv.org/abs/1907.10708}, - eprint = {1907.10708}, - archivePrefix = {arXiv}, - primaryClass = {cs.PL}, - jh = yes, -} - @unpublished{BBGHS19, title = {Hypothesis Testing Interpretations and {R}\'enyi Differential Privacy}, author = {Balle, Borja and @@ -27,22 +14,6 @@ jh = yes, } -@unpublished{SFHKKS19, - title = {Guarded {Kleene} {Algebra} with {Tests}: Verification of Uninterpreted Programs in Nearly Linear Time}, - author = {Smolka, Steffen and - Foster, Nate and - Hsu, Justin and - Kapp\'e, Tobias and - Kozen, Dexter and - Silva, Alexandra}, - year = 2019, - url = {https://arxiv.org/abs/1907.05920}, - eprint = {1907.05920}, - archivePrefix = {arXiv}, - primaryClass = {cs.PL}, - jh = yes, -} - @unpublished{ABHKKM19, title = {A Pre-Expectation Calculus for Probabilistic Sensitivity}, author = {Aguirre, Alejandro and @@ -58,22 +29,6 @@ primaryClass = {cs.LO}, jh = yes, } - -@unpublished{BHYYZ19, - title = {Coupling Techniques for Reasoning about Quantum Programs}, - author = {Barthe, Gilles and - Hsu, Justin and - Ying, Mingsheng and - Yu, Nengkun and - Zhou, Li}, - year = 2019, - url = {https://arxiv.org/abs/1901.05184}, - eprint = {1901.05184}, - archivePrefix = {arXiv}, - primaryClass = {cs.LO}, - jh = yes, -} - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @phdthesis{JHThesis, title = {Probabilistic Couplings for Probabilistic Reasoning}, @@ -138,6 +93,68 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@article{BHL19, + title = {A Probabilistic Separation Logic}, + author = {Barthe, Gilles and + Hsu, Justin and + Liao, Kevin}, + year = 2020, + url = {https://arxiv.org/abs/1907.10708}, + eprint = {1907.10708}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, + month = jan, + journal = pacmpl, + volume = {4}, + number = {POPL}, + jhnote = "To appear at " # popl20 # ".", + reviewed = yes, + jh = yes, +} + +@article{SFHKKS19, + title = {Guarded {Kleene} {Algebra} with {Tests}}, + author = {Smolka, Steffen and + Foster, Nate and + Hsu, Justin and + Kapp\'e, Tobias and + Kozen, Dexter and + Silva, Alexandra}, + year = 2020, + url = {https://arxiv.org/abs/1907.05920}, + eprint = {1907.05920}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, + month = jan, + journal = pacmpl, + volume = {4}, + number = {POPL}, + jhnote = "To appear at " # popl20 # ".", + reviewed = yes, + jh = yes, +} + +@article{BHYYZ19, + title = {Relational Proofs for Quantum Programs}, + author = {Barthe, Gilles and + Hsu, Justin and + Ying, Mingsheng and + Yu, Nengkun and + Zhou, Li}, + year = 2020, + url = {https://arxiv.org/abs/1901.05184}, + eprint = {1901.05184}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + month = jan, + journal = pacmpl, + volume = {4}, + number = {POPL}, + jhnote = "To appear at " # popl20 # ".", + reviewed = yes, + jh = yes, +} + @inproceedings{MZH19, title = {Data Poisoning against Differentially-Private Learners: Attacks and Defenses}, author = {Ma, Yuzhe and @@ -7256,22 +7273,6 @@ url={https://doi.org/10.1007/3-540-48224-5_35} bibsource = {dblp computer science bibliography, https://dblp.org} } -@inproceedings{DBLP:conf/nips/SteinhardtKL17, - author = {Jacob Steinhardt and - Pang Wei Koh and - Percy S. Liang}, - title = {Certified Defenses for Data Poisoning Attacks}, - booktitle = nips17, - pages = {3520--3532}, - year = {2017}, - url = {http://papers.nips.cc/paper/6943-certified-defenses-for-data-poisoning-attacks}, - timestamp = {Mon, 27 Nov 2017 12:38:48 +0100}, - biburl = {https://dblp.org/rec/bib/conf/nips/SteinhardtKL17}, - bibsource = {dblp computer science bibliography, https://dblp.org} -} - - - @inproceedings{DBLP:journals/corr/SzegedyZSBEGF13, author = {Christian Szegedy and Wojciech Zaremba and @@ -7842,3 +7843,52 @@ note={Errata and Remarks maintained at: publisher = {University of Illinois at Urbana-Champaign}, address = {Champaign, IL, USA}, } + +@inproceedings{DBLP:conf/iclr/PapernotSMRTE18, + author = {Nicolas Papernot and + Shuang Song and + Ilya Mironov and + Ananth Raghunathan and + Kunal Talwar and + {\'{U}}lfar Erlingsson}, + title = {Scalable Private Learning with {PATE}}, + booktitle = iclr18, + year = {2018}, + url = {https://openreview.net/forum?id=rkZB1XbRZ}, + timestamp = {Thu, 25 Jul 2019 16:33:00 +0200}, + biburl = {https://dblp.org/rec/bib/conf/iclr/PapernotSMRTE18}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{DBLP:conf/ccs/AbadiCGMMT016, + author = {Mart{\'{\i}}n Abadi and + Andy Chu and + Ian J. Goodfellow and + H. Brendan McMahan and + Ilya Mironov and + Kunal Talwar and + Li Zhang}, + title = {Deep Learning with Differential Privacy}, + booktitle = ccs16, + pages = {308--318}, + year = {2016}, + url = {https://doi.org/10.1145/2976749.2978318}, + doi = {10.1145/2976749.2978318}, + timestamp = {Wed, 14 Nov 2018 10:54:58 +0100}, + biburl = {https://dblp.org/rec/bib/conf/ccs/AbadiCGMMT016}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{DBLP:conf/nips/SteinhardtKL17, + author = {Jacob Steinhardt and + Pang Wei Koh and + Percy Liang}, + title = {Certified Defenses for Data Poisoning Attacks}, + booktitle = nips17, + pages = {3517--3529}, + year = {2017}, + url = {http://papers.nips.cc/paper/6943-certified-defenses-for-data-poisoning-attacks}, + timestamp = {Tue, 23 Jul 2019 16:55:15 +0200}, + biburl = {https://dblp.org/rec/bib/conf/nips/SteinhardtKL17}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} diff --git a/content/about.md b/content/about.md index bc34b94..2bdac7e 100644 --- a/content/about.md +++ b/content/about.md @@ -50,7 +50,7 @@ differential privacy to optimization, machine learning, and mechanism design. - **Topics in Security and Privacy Technologies (CS 839)**: [F18](https://pages.cs.wisc.edu/~justhsu/teaching/f18/cs839/) ## Service ## -- **2020** AAAI, CSF +- **2020** AAAI, CSF, LAFI, WoLLIC, PLMW - **2019** POPL, PLMW, POST, CSF, DARS (co-chair) - **2018** LICS, WWW - **2017** FCS, TPDP, MFPS diff --git a/content/news.md b/content/news.md index c73268e..82aeda8 100644 --- a/content/news.md +++ b/content/news.md @@ -1,4 +1,10 @@ -+ **09/2019** I am serving on the program committees of [**WoLLIC ++ **10/2019** **A Probabilistic Separation Logic**, **Guarded Kleene Algebra + with Tests**, and **Relational Proofs for Quantum Programs** to appear at + **POPL 2020**! ++ **10/2019** I am serving on the program committee of [**LAFI + 2020**](https://popl19.sigplan.org/track/lafi-2020), colocated with POPL 2020. + Submit your best papers! ++ **09/2019** I am serving on the program committee of [**WoLLIC 2020**](http://wollic.org/wollic2020/) in Lima, Peru. Submit your best papers! + **09/2019** This fall, I'm teaching a graduate seminar **Security and Privacy @@ -15,7 +21,3 @@ 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**!