New flag `jhsite` to control site display.
This commit is contained in:
Justin Hsu
parent
d37f7ad4a7
commit
30065cbe8b
|
|
@ -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]
|
||||
|
|
|
|||
|
|
@ -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},
|
||||
|
|
|
|||
Loading…
Reference in New Issue