From 30065cbe8be47d16a71e4bed873f1dd9c87b7d47 Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 11 Jul 2021 15:48:10 +0100
Subject: [PATCH] New flag `jhsite` to control site display.

---
 app/Main.hs     |  8 ++++----
 bibs/myrefs.bib | 47 ++++++++++++++++++++++++++++++++++++++++++++---
 2 files changed, 48 insertions(+), 7 deletions(-)

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},