diff --git a/bibs/header.bib b/bibs/header.bib index 63c1038..6cf059c 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -534,6 +534,7 @@ @STRING{tpa = {Workshop on Types for Program Analysis (TPA)} # informal } @STRING{fopara = {International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA)} # informal} +@STRING{tpdp = {Theory and Practice of Differential Privacy (TPDP)}} % ---- % meetings with proceedings: @@ -770,6 +771,7 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } @STRING{ictac18 = ictac # ", Stellenbosch, South Africa" } % --- @STRING{ijcai15 = ijcai # ", Buenos Aires, Argentina" } +@STRING{ijcai19 = ijcai # ", Macao, China" } % --- @STRING{ijcar18 = ijcai # ", Oxford, England" } % --- @@ -863,6 +865,8 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } @STRING{tldi03 = tldi # ", New Orleans, Louisiana"} @STRING{tldi12 = tldi # ", Philadelphia, Pennsylvania"} % --- +@STRING{tpdp18 = tpdp # ", Toronto, Ontario"} +% --- @STRING{tphol09 = tphol # ", Munich, Germany" } % --- @STRING{types93 = types # ", Nijmegen, The Netherlands" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 933fb6b..3383d4e 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -94,6 +94,23 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{MZH19, + title = {Data Poisoning against Differentially-Private Learners: Attacks and Defenses}, + author = {Ma, Yuzhe and + Zhu, Xiaojin and + Hsu, Justin}, + booktitle = ijcai19, + year = 2019, + url = {https://arxiv.org/abs/1903.09860}, + eprint = {1903.09860}, + archivePrefix = {arXiv}, + primaryClass = {cs.LG}, + reviewed = yes, + jh = yes, + note = "To appear.", + acceptance = {850/4572=0.18}, +} + @inproceedings{ACGHK19, title = {Probabilistic Relational Reasoning via Metrics}, author = {Azevedo de Amorim, Arthur and @@ -106,6 +123,7 @@ eprint = {1807.05091}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, + reviewed = yes, jh = yes, note = "To appear." } @@ -123,27 +141,29 @@ eprint = {1710.09010}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, + reviewed = yes, jh = yes, note = "To appear." } @inproceedings{SKFHKKS18, - title = {Scalable Verification of Probabilistic Network Programs}, - author = {Smolka, Steffen and - Kumar, Praveen and - Kahn, David M and - Foster, Nate and - Hsu, Justin and - Kozen, Dexter and - Silva, Alexandra}, - booktitle = pldi19, - year = {2019}, - jh = yes, - reviewed = yes, - url = {https://arxiv.org/abs/1904.08096}, - eprint = {1904.08096}, + title = {Scalable Verification of Probabilistic Network Programs}, + author = {Smolka, Steffen and + Kumar, Praveen and + Kahn, David M and + Foster, Nate and + Hsu, Justin and + Kozen, Dexter and + Silva, Alexandra}, + booktitle = pldi19, + year = {2019}, + jh = yes, + reviewed = yes, + url = {https://arxiv.org/abs/1904.08096}, + eprint = {1904.08096}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, + doi = {10.1145/3314221.3314639}, } @inproceedings{ZGBH19, diff --git a/content/news.md b/content/news.md index ba03f9b..798a4a2 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **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**