diff --git a/app/Main.hs b/app/Main.hs index 6600654..b8c2904 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -15,10 +15,10 @@ config = defaultConfiguration -------------------------------------------------------------------------------- bibHeaders :: [(String, [String])] -bibHeaders = [ ("drafts" , [ "-c", "$type='UNPUBLISHED'" ] ) - , ("thesis" , [ "-c", "$type='PHDTHESIS'" ] ) - , ("pubs" , [ "-c", "($type='INPROCEEDINGS' | $type='ARTICLE') & reviewed='yes'" ] ) - , ("invite" , [ "-c", "($type='ARTICLE' | $type='INBOOK') & reviewed='no'" ] ) +bibHeaders = [ ("drafts" , [ "-c", "$type='UNPUBLISHED' & jhsite='yes'" ] ) + , ("thesis" , [ "-c", "$type='PHDTHESIS' & jhsite='yes'" ] ) + , ("pubs" , [ "-c", "($type='INPROCEEDINGS' | $type='ARTICLE') & reviewed='yes' & jhsite='yes'" ] ) + , ("invite" , [ "-c", "($type='ARTICLE' | $type='INBOOK') & reviewed='no' & jhsite='yes'" ] ) ] bibSources :: [String] diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 3ef5b58..a223dd3 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 @@ -7,9 +7,10 @@ unpublished{BGHT21, Tassarotti, Joseph}, year = 2021, jh = yes, + jhsite = no, } -unpublished{SLHR21, +@unpublished{SLHR21, title = {Symbolic Execution for Randomized Programs}, author = {Susag, Zachary and Lahiri, Sumit and @@ -17,6 +18,7 @@ unpublished{SLHR21, Roy, Subhajit}, year = 2021, jh = yes, + jhsite = no, } @unpublished{BPHR21, @@ -31,6 +33,7 @@ unpublished{SLHR21, primaryClass = {cs.PL}, year = 2021, jh = yes, + jhsite = yes, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -41,6 +44,7 @@ unpublished{SLHR21, year = {2017}, url = {https://arxiv.org/abs/1710.09951}, jh = yes, + jhsite = yes, eprint = {1710.09951}, archivePrefix = {arXiv}, primaryClass = {cs.LO}, @@ -59,6 +63,7 @@ unpublished{SLHR21, YEAR = {2019}, MONTH = Dec, jh = yes, + jhsite = yes, reviewed = yes, slides = {https://justinh.su/files/slides/star-lifting.pdf}, note = "Previously published in " # icalp17 # ", 2017." @@ -84,6 +89,7 @@ unpublished{SLHR21, primaryClass = {cs.DS}, publisher = bepress, jh = yes, + jhsite = yes, reviewed = yes, poster = {https://justinh.su/files/posters/dualquery.pdf}, note = "Previously published in " # icml14 # ", 2014." @@ -108,6 +114,7 @@ unpublished{SLHR21, archivePrefix = {arXiv}, primaryClass = {cs.GT}, jh = yes, + jhsite = yes, reviewed = yes, poster = {https://justinh.su/files/posters/matchings.pdf}, note = "Previously published in " # stoc14 # ", 2014." @@ -145,6 +152,7 @@ unpublished{SLHR21, booktitle = lics21, year = 2021, jh = yes, + jhsite = yes, reviewed = yes, acceptance = {91/227=0.40}, } @@ -185,6 +193,7 @@ unpublished{SLHR21, number = {POPL}, reviewed = yes, jh = yes, + jhsite = yes, note = "Appeared at " # popl21 # ", Distinguished Paper Award.", acceptance = {61/258=0.23}, } @@ -225,6 +234,7 @@ unpublished{SLHR21, note = "Appeared at " # popl20 # ".", reviewed = yes, jh = yes, + jhsite = yes, acceptance = {68/257=0.28}, } @@ -250,6 +260,7 @@ unpublished{SLHR21, note = "Appeared at " # popl20 # ", Distinguished Paper Award.", reviewed = yes, jh = yes, + jhsite = yes, acceptance = {68/257=0.28}, } @@ -291,6 +302,7 @@ unpublished{SLHR21, primaryClass = {cs.LG}, reviewed = yes, jh = yes, + jhsite = yes, acceptance = {850/4572=0.18}, } @@ -326,8 +338,9 @@ unpublished{SLHR21, eprint = {1710.09010}, archivePrefix = {arXiv}, primaryClass = {cs.PL}, - reviewed = yes, jh = yes, + jhsite = yes, + reviewed = yes, acceptance = {60/154=0.38}, } @@ -343,6 +356,7 @@ unpublished{SLHR21, booktitle = pldi19, year = {2019}, jh = yes, + jhsite = yes, reviewed = yes, url = {https://arxiv.org/abs/1904.08096}, eprint = {1904.08096}, @@ -364,6 +378,8 @@ unpublished{SLHR21, eprint = {1901.09657}, archivePrefix = {arXiv}, primaryClass = {cs.SI}, + jh = yes, + jhsite = no, } @@ -399,6 +415,7 @@ unpublished{SLHR21, year = {2019}, month = jan, jh = yes, + jhsite = yes, journal = pacmpl, volume = {3}, articleno = {38}, @@ -420,6 +437,7 @@ unpublished{SLHR21, Silva, Alexandra}, year = {2018}, jh = yes, + jhsite = yes, reviewed = yes, booktitle = ictac18, url = {https://arxiv.org/abs/1805.11550}, @@ -436,6 +454,7 @@ unpublished{SLHR21, Hsu, Justin}, year = {2018}, jh = yes, + jhsite = yes, reviewed = yes, booktitle = cav18, url = {https://arxiv.org/abs/1804.04052}, @@ -455,6 +474,7 @@ unpublished{SLHR21, year = {2018}, booktitle = icalp18, jh = yes, + jhsite = yes, reviewed = yes, url = {https://arxiv.org/abs/1802.06283}, doi = {10.4230/LIPIcs.ICALP.2018.113}, @@ -491,6 +511,7 @@ unpublished{SLHR21, year = {2018}, month = jan, jh = yes, + jhsite = yes, journal = pacmpl, volume = {2}, number = {POPL}, @@ -514,6 +535,7 @@ unpublished{SLHR21, year = {2018}, month = jan, jh = yes, + jhsite = yes, journal = pacmpl, volume = {2}, number = {POPL}, @@ -571,6 +593,7 @@ inproceedings{BEHSS17, primaryClass = {cs.PL}, slides = {https://justinh.su/files/slides/unifindep-couple.pdf}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, acceptance = {30/54=0.55}, @@ -592,6 +615,7 @@ inproceedings{BEHSS17, doi = {10.1145/3009837.3009896}, slides = {https://justinh.su/files/slides/products.pdf}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, acceptance = {64/282=0.22}, @@ -613,6 +637,7 @@ inproceedings{BEHSS17, primaryClass = {cs.PL}, doi = {10.1145/3009837.3009890}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, acceptance = {64/282=0.22}, @@ -639,6 +664,7 @@ inproceedings{BEHSS17, doi = {10.1007/978-3-662-54110-4_20}, slides = {https://justinh.su/files/slides/bic.pdf}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, } @@ -684,6 +710,7 @@ inproceedings{BEHSS17, primaryClass = {cs.PL}, doi = {10.1145/2976749.2978371}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, acceptance = {137/831=0.17}, @@ -731,6 +758,7 @@ inproceedings{BEHSS17, primaryClass = {cs.LO}, doi = {10.4230/LIPIcs.ICALP.2016.107}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, acceptance = {146/515=0.28}, @@ -752,6 +780,7 @@ inproceedings{BEHSS17, eprint = {1601.05047}, doi = {10.1145/2933575.2934554}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, slides = {https://justinh.su/files/slides/approx-couplings.pdf}, @@ -793,6 +822,7 @@ inproceedings{BEHSS17, primaryClass = {cs.DS}, doi = {10.1137/1.9781611974331.ch43}, jh = yes, + jhsite = yes, reviewed = yes, slides = {https://justinh.su/files/slides/privdude.pdf}, acceptance = {146/527=0.28}, @@ -835,6 +865,7 @@ inproceedings{BEHSS17, archivePrefix = {arXiv}, primaryClass = {cs.DS}, jh = yes, + jhsite = yes, reviewed = yes, } @@ -874,6 +905,7 @@ inproceedings{BEHSS17, primaryClass = {cs.PL}, doi = {10.1145/2676726.2677000}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, slides = {https://justinh.su/files/slides/hoare2.pdf}, @@ -942,6 +974,7 @@ inproceedings{BEHSS17, primaryClass = {cs.DB}, doi = {10.1109/CSF.2014.35}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, slides = {https://justinh.su/files/slides/epsilon.pdf}, @@ -1029,6 +1062,7 @@ inproceedings{HHRRW14, url = {https://justinh.su/files/papers/nokinds.pdf}, doi = {10.1145/2500365.2500599}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, acceptance = {40/133=0.30}, @@ -1066,6 +1100,7 @@ inproceedings{HHRRW14, doi = {10.1145/2429069.2429113}, year = {2013}, jh = yes, + jhsite = yes, plclub = yes, reviewed = yes, acceptance = {51/220=0.23}, @@ -1089,6 +1124,7 @@ inproceedings{HHRRW14, doi = {10.1007/978-3-642-31594-7_39}, errata = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.}, jh = yes, + jhsite = yes, reviewed = yes, slides = {https://justinh.su/files/slides/heavy-hh.pdf}, acceptance = {123/433=0.28}, @@ -1119,6 +1155,7 @@ inproceedings{HHRRW14, year = 2021, month = jan, jh=yes, + jhsite = yes, reviewed=no, note = {https://blog.sigplan.org/2021/01/28/re-imagining-the-programming-paradigms-course/}, } @@ -1131,6 +1168,7 @@ inproceedings{HHRRW14, year = 2020, month = oct, jh=yes, + jhsite = yes, reviewed=no, note = {https://blog.sigplan.org/2020/10/20/verifying-randomized-algorithms-why-and-how/}, } @@ -1148,6 +1186,7 @@ inproceedings{HHRRW14, DOI = {10.1017/9781108770750.006}, url = {https://www.cambridge.org/core/books/foundations-of-probabilistic-programming/probabilistic-couplings-from-program-logics/4770E67B4DBCAABA74D06C30B802235A}, jh = yes, + jhsite = yes, reviewed = no, survey = yes, publisher = cup, @@ -1169,6 +1208,7 @@ inproceedings{HHRRW14, url = {https://siglog.hosting.acm.org/wp-content/uploads/2016/01/siglog\_news\_7.pdf}, doi = {10.1145/2893582.2893591}, jh = yes, + jhsite = yes, plclub = yes, reviewed = no, survey = yes, @@ -1194,6 +1234,7 @@ inproceedings{HHRRW14, year = {2015}, booktitle = snapl15, jh = yes, + jhsite = yes, plclub = yes, reviewed = no, slides = {https://justinh.su/files/slides/taxes.pdf},