diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 41368ed..d5b971a 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,5 +1,5 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -unpublished{BGHT21, +@unpublished{BGHT21, title = {A Separation Logic for Negative Dependence}, author = {Bao, Jialu and Gaboardi, Marco and @@ -9,7 +9,7 @@ unpublished{BGHT21, jh = yes, } -unpublished{SLHR21, +@unpublished{SLHR21, title = {Symbolic Execution for Randomized Programs}, author = {Susag, Zachary and Lahiri, Sumit and @@ -44,7 +44,7 @@ unpublished{SLHR21, eprint = {1710.09951}, archivePrefix = {arXiv}, primaryClass = {cs.LO}, - jhnote = "Selected for the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award" + note = "Selected for the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award" } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -61,7 +61,7 @@ unpublished{SLHR21, jh = yes, reviewed = yes, slides = {https://justinh.su/files/slides/star-lifting.pdf}, - jhnote = "Previously published in " # icalp17 # ", 2017." + note = "Previously published in " # icalp17 # ", 2017." } @article{GGHRW14, @@ -86,7 +86,7 @@ unpublished{SLHR21, jh = yes, reviewed = yes, poster = {https://justinh.su/files/posters/dualquery.pdf}, - jhnote = "Previously published in " # icml14 # ", 2014." + note = "Previously published in " # icml14 # ", 2014." } @article{HHRRW14, @@ -110,7 +110,7 @@ unpublished{SLHR21, jh = yes, reviewed = yes, poster = {https://justinh.su/files/posters/matchings.pdf}, - jhnote = "Previously published in " # stoc14 # ", 2014." + note = "Previously published in " # stoc14 # ", 2014." } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -128,6 +128,7 @@ unpublished{SLHR21, year = 2021, jh = yes, reviewed = yes, + acceptance = {91/227=0.40}, } @inproceedings{ZBHYY20, @@ -145,6 +146,7 @@ unpublished{SLHR21, year = 2021, jh = yes, reviewed = yes, + acceptance = {91/227=0.40}, } @inproceedings{RHA21, @@ -183,7 +185,8 @@ unpublished{SLHR21, number = {POPL}, reviewed = yes, jh = yes, - jhnote = "Appeared at " # popl21 # ", Distinguished Paper Award.", + note = "Appeared at " # popl21 # ", Distinguished Paper Award.", + acceptance = {61/258=0.23}, } @inproceedings{BBGHS19, @@ -219,7 +222,7 @@ unpublished{SLHR21, volume = {4}, articleno = {55}, number = {POPL}, - jhnote = "Appeared at " # popl20 # ".", + note = "Appeared at " # popl20 # ".", reviewed = yes, jh = yes, acceptance = {68/257=0.28}, @@ -244,7 +247,7 @@ unpublished{SLHR21, volume = {4}, articleno = {61}, number = {POPL}, - jhnote = "Appeared at " # popl20 # ", Distinguished Paper Award.", + note = "Appeared at " # popl20 # ", Distinguished Paper Award.", reviewed = yes, jh = yes, acceptance = {68/257=0.28}, @@ -268,7 +271,7 @@ unpublished{SLHR21, volume = {4}, articleno = {21}, number = {POPL}, - jhnote = "Appeared at " # popl20 # ".", + note = "Appeared at " # popl20 # ".", reviewed = yes, jh = yes, acceptance = {68/257=0.28}, @@ -376,7 +379,7 @@ unpublished{SLHR21, volume = {3}, articleno = {39}, number = {POPL}, - jhnote = "Appeared at " # popl19 # ".", + note = "Appeared at " # popl19 # ".", eprint = {1810.12396}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, @@ -400,7 +403,7 @@ unpublished{SLHR21, volume = {3}, articleno = {38}, number = {POPL}, - jhnote = "Appeared at " # popl19 # ".", + note = "Appeared at " # popl19 # ".", reviewed = yes, url = {https://arxiv.org/abs/1807.06091}, doi = {10.1145/3290351}, @@ -493,7 +496,7 @@ unpublished{SLHR21, number = {POPL}, articleno = {58}, url = {https://arxiv.org/abs/1709.05361}, - jhnote = "Appeared at " # popl18 # ".", + note = "Appeared at " # popl18 # ".", reviewed = yes, doi = {10.1145/3158146}, eprint = {1709.05361}, @@ -517,7 +520,7 @@ unpublished{SLHR21, articleno = {57}, doi = {10.1145/3158145}, url = {https://arxiv.org/abs/1708.02537}, - jhnote = "Appeared at " # popl18 # ".", + note = "Appeared at " # popl18 # ".", reviewed = yes, slides = {https://justinh.su/files/slides/eprhl.pdf}, eprint = {1708.02537}, @@ -661,8 +664,7 @@ inproceedings{BEHSS17, reviewed = yes, slides = {https://justinh.su/files/slides/advanced.pdf}, acceptance = {137/831=0.17}, - jhnote = {There is an error in the treatment of advanced composition; - please see my thesis for the correction.}, + errata = {There is an error in the treatment of advanced composition; please see my thesis for the correction.}, } @inproceedings{privinfer, @@ -1085,13 +1087,54 @@ inproceedings{HHRRW14, archivePrefix = {arXiv}, primaryClass = {cs.DS}, doi = {10.1007/978-3-642-31594-7_39}, - jhnote = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.}, + errata = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.}, jh = yes, reviewed = yes, slides = {https://justinh.su/files/slides/heavy-hh.pdf}, acceptance = {123/433=0.28}, } +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@misc{plp-blog-plmw, + title = {Programming Languages Mentoring Workshop: Ten Years Later}, + author = {Balzer, Stephanie and + Fisher, Kathleen and + Garcia, Ron and + Hus, Justin and + Weirich, Stephanie}, + url = {https://blog.sigplan.org/2021/05/11/programming-languages-mentoring-workshop-ten-years-later/}, + howpublished = {{SIGPLAN} {PL} {P}erspectives}, + year = 2021, + month = may, + jh=yes, + reviewed=no, + note = {https://blog.sigplan.org/2021/05/11/programming-languages-mentoring-workshop-ten-years-later/}, +} + +@misc{plp-blog-course, + title = {Re-Imagining the ``Programming Paradigms'' Course}, + author = {Hsu, Justin}, + url = {https://blog.sigplan.org/2021/01/28/re-imagining-the-programming-paradigms-course/}, + howpublished = {{SIGPLAN} {PL} {P}erspectives}, + year = 2021, + month = jan, + jh=yes, + reviewed=no, + note = {https://blog.sigplan.org/2021/01/28/re-imagining-the-programming-paradigms-course/}, +} + +@misc{plp-blog-randomized, + title = {Verifying Randomized Algorithms: Why and How?}, + author = {Hsu, Justin}, + url = {https://blog.sigplan.org/2020/10/20/verifying-randomized-algorithms-why-and-how/}, + howpublished = {{SIGPLAN} {PL} {P}erspectives}, + year = 2020, + month = oct, + jh=yes, + reviewed=no, + note = {https://blog.sigplan.org/2020/10/20/verifying-randomized-algorithms-why-and-how/}, +} + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @inbook{fopps-chapter, titLe = {Probabilistic Couplings from Program Logics}, diff --git a/templates/bibitem.html b/templates/bibitem.html index f208333..13d37a5 100644 --- a/templates/bibitem.html +++ b/templates/bibitem.html @@ -23,8 +23,11 @@ [Poster] $endif$
- $if(jhnote)$ - $jhnote$
+ $if(note)$ + $note$
+ $endif$ + $if(errata)$ + $errata$
$endif$