diff --git a/bibs/header.bib b/bibs/header.bib index ebe4249..8ed75b3 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -110,6 +110,7 @@ @STRING{jmlrproc = "JMLR: Workshop and Conference Proceedings"} @STRING{jpc = "Journal of Privacy and Confidentiality"} @STRING{mor = "Mathematics of Operations Research"} +@STRING{lmcs = "Logical Methods in Computer Science" } % % Misc % %%%% @@ -255,6 +256,7 @@ @STRING{lics11 = lics # ", Toronto, Ontario" } @STRING{lics14 = lics # ", Vienna, Austria" } @STRING{lics16 = lics # ", New York, New York" } +@STRING{lics17 = lics # ", Reykjavik, Iceland" } % ---- @STRING{pldi = "{ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)}" } @@ -320,6 +322,7 @@ % ---- @STRING{stoc = "{ACM} {SIGACT} {S}ymposium on {T}heory of {C}omputing (STOC)"} @STRING{stoc82 = stoc # ", San Francisco, California"} +@STRING{stoc83 = stoc # ", Boston, Massachusetts"} @STRING{stoc87 = stoc # ", New York, New York"} @STRING{stoc89 = stoc # ", Seattle, Washington"} @STRING{stoc91 = stoc # ", New Orleans, Louisiana"} @@ -377,6 +380,7 @@ @STRING{tcc06 = tcc # ", New York, New York"} @STRING{tcc11 = tcc # ", Providence, Rhode Island"} @STRING{tcc12 = tcc # ", Taormina, Italy"} +@STRING{tcc13 = tcc # ", Tokyo, Japan"} @STRING{tcc16a = tcc # ", Tel Aviv, Israel"} @STRING{tcc16b = tcc # ", Beijing, China"} @@ -397,6 +401,7 @@ @STRING{nips14 = nips # ", Montr{\'e}al, Qu{\'e}bec" } @STRING{nips15 = nips # ", Montr{\'e}al, Qu{\'e}bec" } @STRING{nips16 = nips # ", Barcelona, Spain" } +@STRING{nips17 = nips # ", Long Beach, California" } % ---- @STRING{icml = "{I}nternational {C}onference on {M}achine {L}earning (ICML)" } @@ -462,6 +467,7 @@ {A}pplications of {C}ryptographic {T}echniques (EUROCRYPT)"} @STRING{eucrypt06 = eucrypt # ", Saint Petersburg, Russia"} @STRING{eucrypt13 = eucrypt # ", Athens, Greece"} +@STRING{eucrypt14 = eucrypt # ", Copenhagen, Denmark" } % ---- @STRING{vmcai = "{I}nternational {C}onference on {V}erification, {M}odel @@ -514,7 +520,8 @@ @STRING{colt = {{C}onference on {C}omputational {L}earning {T}heory ({CoLT})}} @STRING{concur = {International Conference on Concurrency Theory (CONCUR)} } -@STRING{csl = {International Workshop on Computer Science Logic (CSL)} } +@STRING{csl = {International Conference on Computer Science Logic (CSL)} } +@STRING{cslpre11 = {International Workshop on Computer Science Logic (CSL)} } @STRING{csfw = {IEEE Computer Security Foundations Workshop (CSFW)} } @STRING{ct = {International Category Theory Conference (CT)} } @STRING{ecoop = {European Conference on Object-Oriented Programming (ECOOP)} } @@ -613,9 +620,12 @@ @STRING{colt13 = colt # ", Princeton, New Jersey" } @STRING{colt14 = colt # ", Barcelona, Spain" } % --- -@STRING{concur07 = concur # ", Lisbon, Portugal" } +@STRING{concur95 = concur # ", Philadelphia, Pennsylvania" } @STRING{concur01 = concur # ", Aalborg, Denmark" } +@STRING{concur06 = concur # ", Bonn, Germany" } +@STRING{concur07 = concur # ", Lisbon, Portugal" } % --- +@STRING{calco13 = concur # ", Warsaw, Poland" } @STRING{calco15 = concur # ", Nijmegen, The Netherlands" } % --- @STRING{cav96 = cav # ", New Brunswick, New Jersey" } @@ -641,9 +651,10 @@ @STRING{crypto10 = crypto # ", Santa Barbara, California"} @STRING{crypto11 = crypto # ", Santa Barbara, California"} % --- -@STRING{csl94 = csl # ", Kazimierz, Poland" } -@STRING{csl97 = csl # ", Aarhus, Denmark" } -@STRING{csl01 = csl # ", Paris, France" } +@STRING{csl94 = cslpre11 # ", Kazimierz, Poland" } +@STRING{csl97 = cslpre11 # ", Aarhus, Denmark" } +@STRING{csl01 = cslpre11 # ", Paris, France" } +@STRING{csl05 = cslpre11 # ", Oxford, England" } % --- @STRING{csfw02 = csfw # ", Cape Breton, Nova Scotia" } @STRING{csfw04 = csfw # ", Pacific Grove, California" } @@ -674,6 +685,7 @@ @STRING{esop13 = esop # ", Rome, Italy" } @STRING{esop14 = esop # ", Grenoble, France" } @STRING{esop16 = esop # ", Eindhoven, The Netherlands" } +@STRING{esop17 = esop # ", Uppsala, Sweden" } @STRING{esop18 = esop # ", Thessaloniki, Greece" } % --- @STRING{esorics03 = esorics # ", Gj{\o}vic, Norway" } @@ -719,6 +731,8 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } @STRING{lfcompsci94 = lfcompsci # ", St. Petersburg, Russia" } @STRING{lfcompsci13 = lfcompsci # ", San Diego, California" } % --- +@STRING{lpar05 = lpar # ", Montego Bay, Jamaica" } +@STRING{lpar08 = lpar # ", Doha, Qatar" } @STRING{lpar15 = lpar # ", Suva, Fiji" } @STRING{lpar17 = lpar # ", Maun, Botswana" } % --- @@ -726,8 +740,10 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } % --- @STRING{mfps87 = mfps # ", New Orleans, Louisiana" } @STRING{mfps89 = mfps # ", New Orleans, Louisiana" } +@STRING{mfps94 = mfps # ", New Orleans, Louisiana" } @STRING{mfps95 = mfps # ", New Orleans, Louisiana" } @STRING{mfps01 = mfps # ", Aarhus, Denmark" } +@STRING{mfps09 = mfps # ", Oxford, England" } @STRING{mfps11 = mfps # ", Pittsburgh, Pennsylvania" } @STRING{mfps14 = mfps # ", Ithaca, New York" } @STRING{mfps15 = mfps # ", Nijmegen, The Netherlands" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 56c9259..a2f8969 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,4 +1,15 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@unpublished{ABHS18, + title = {Almost Sure Productivity}, + author = {Aguirre, Alejandro and + Barthe, Gilles and + Hsu, Justin and + Silva, Alexandra}, + year = {2018}, + jh = yes, + url = {https://justinh.su/files/docs/asp.pdf}, +} + @unpublished{AH18, title = {Constraint-Based Synthesis of Coupling Proofs}, author = {Albarghouthi, Aws and @@ -14,7 +25,7 @@ Gaboradi, Marco and Hsu, Justin and Katsumata, {Shin-ya}}, - year = {2017}, + year = {2018}, url = {https://arxiv.org/abs/1710.09010}, jh = yes, eprint = {1710.09010}, @@ -644,7 +655,7 @@ inproceedings{HHRRW14, booktitle = icfp13, pages = {275--286}, year = {2013}, - url = {https://www.cis.upenn.edu/~justhsu/docs/nokinds.pdf}, + url = {https://justinh.su/files/papers/nokinds.pdf}, doi = {10.1145/2500365.2500599}, jh = yes, plclub = yes, @@ -2131,11 +2142,11 @@ url = {https://research.microsoft.com/pubs/208236/asplos077-bornholtA.pd @inproceedings{Dwork06, - Author = {Dwork, Cynthia}, - Booktitle = icalp06, - Pages = {1--12}, - Title = {Differential Privacy}, - Year = {2006}, + Author = {Dwork, Cynthia}, + Booktitle = icalp06, + Pages = {1--12}, + Title = {Differential Privacy}, + Year = {2006}, url = {https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.83.7534&rep=rep1&type=pdf} } @@ -6665,3 +6676,22 @@ url={https://doi.org/10.1007/3-540-48224-5_35} biburl = {https://dblp.org/rec/bib/journals/njc/SegalaL95}, bibsource = {dblp computer science bibliography, https://dblp.org} } + +@book{durrett2010probability, + title={Probability: theory and examples}, + author={Durrett, Rick}, + year={2010}, + publisher=cup +} + +@article{azuma1967weighted, + title={Weighted sums of certain dependent random variables}, + author={Azuma, Kazuoki}, + journal={Tohoku Mathematical Journal}, + series=2, + volume={19}, + number={3}, + pages={357--367}, + year={1967}, + publisher={Mathematical Institute, Tohoku University} +} diff --git a/content/news.md b/content/news.md index 8c4b219..4e46a8c 100644 --- a/content/news.md +++ b/content/news.md @@ -1,5 +1,6 @@ ++ **02/2018** Our preprint **Almost Sure Productivity** is now available. + **02/2018** I will be serving on the program committe of [**LICS - 2018**](http://lics.siglog.org/lics18/) in Oxford, UK. + 2018**](http://lics.siglog.org/lics18/) in Oxford, England. + **01/2018** Slides now available for **Proving Expected Sensitivity of Probabilistic Programs**. + **12/2017** **A Program Logic for Probabilistic Programs** will appear at