Update bib.

bibs/header.bib

@@ -281,8 +281,10 @@
 @STRING{pldi08      = pldi # ", Tucson, Arizona" }
 @STRING{pldi11      = pldi # ", San Jose, California" }
 @STRING{pldi12      = pldi # ", Beijing, China" }
+@STRING{pldi13      = pldi # ", Seattle, Washington" }
 @STRING{pldi14      = pldi # ", Edinburgh, Scotland" }
 @STRING{pldi16      = pldi # ", Santa Barbara, California" }
+@STRING{pldi18      = pldi # ", Philadelphia, Pennsylvania" }
 % ----
 @STRING{lfp         = "ACM Symposium on Lisp and Functional Programming (LFP)" }
 @STRING{lfp80       = lfp # ", Stanford, California" }
@@ -478,6 +480,7 @@
 @STRING{vmcai    = "{I}nternational {C}onference on {V}erification, {M}odel
                     {C}hecking, and {A}bstract {I}nterpretation ({VMCAI})" }
 @STRING{vmcai07  = vmcai # ", Nice, France" }
+@STRING{vmcai09  = vmcai # ", Savannah, Georgia" }
 @STRING{vmcai13  = vmcai # ", Rome, Italy" }
 
 % ----
@@ -552,6 +555,7 @@
 @STRING{icalp     = {International Colloquium on Automata, Languages and
                     Programming (ICALP)} }
 @STRING{icse      = {International Conference on Software Engineering (ICSE)} }
+@STRING{ijcai     = {International Joint Conference on Artificial Intelligence (IJCAI)} }
 @STRING{ipco      = {Conference on Integer Programming and Combinatorial
   Optimization (IPCO)} }
 @STRING{lfcompsci = {International Symposium on Logical Foundations of Computer
@@ -640,6 +644,7 @@
 @STRING{cav03       = cav # ", Boulder, Colorado" }
 @STRING{cav06       = cav # ", Seattle, Washington" }
 @STRING{cav07       = cav # ", Berlin, Germany" }
+@STRING{cav08       = cav # ", Princeton, New Jersey" }
 @STRING{cav11       = cav # ", Snowbird, Utah" }
 @STRING{cav12       = cav # ", Berkeley, California" }
 @STRING{cav13       = cav # ", Saint Petersburg, Russia" }
@@ -700,6 +705,7 @@
 @STRING{fesca14     = fesca # ", Grenoble, France" }
 % ---
 @STRING{flops04     = flops # ", Nara, Japan" }
+@STRING{flops16     = flops # ", Kochi, Japan" }
 % ---
 @STRING{fm08        = fm # ", Turku, Finland" }
 @STRING{fm11        = fm # ", Limerick, Ireland" }
@@ -735,6 +741,8 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 % ---
 @STRING{icse14      = icse # ", Hyderabad, India" }
 % ---
+@STRING{ijcai15     = ijcai # ", Buenos Aires, Argentina" }
+% ---
 @STRING{ipco06      = ipco # ", Vancouver, British Columbia" }
 % ---
 @STRING{lfcompsci94 = lfcompsci # ", St. Petersburg, Russia" }
@@ -782,9 +790,11 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{sas01       = sas # ", Paris, France" }
 @STRING{sas04       = sas # ", Verona, Italy" }
 @STRING{sas05       = sas # ", London, England" }
+@STRING{sas09       = sas # ", Los Angeles, California" }
 @STRING{sas10       = sas # ", Perpignan, France" }
 @STRING{sas11       = sas # ", Venice, Italy" }
 @STRING{sas14       = sas # ", Munich, Germany" }
+@STRING{sas17       = sas # ", New York, New York" }
 % ---
 @STRING{sosp93      = sosp # ", Asheville, North Carolina" }
 % ---
@@ -796,6 +806,7 @@ STRING{fse08        = fse # ", Atlanta, Georgia" }
 @STRING{tacas98     = tacas # ", Lisbon, Portugal" }
 @STRING{tacas06     = tacas # ", Vienna, Austria" }
 @STRING{tacas08     = tacas # ", Budapest, Hungary" }
+@STRING{tacas11     = tacas # ", Saarbr{\"u}cken, Germany" }
 @STRING{tacas12     = tacas # ", Tallinn, Estonia" }
 @STRING{tacas13     = tacas # ", Rome, Italy" }
 @STRING{tacas15     = tacas # ", London, England" }

bibs/myrefs.bib

@@ -81,7 +81,7 @@
   jh        = yes,
   reviewed  = yes,
   poster    = {https://justinh.su/files/posters/dualquery.pdf},
-  note      = "Previously published in " # icml14 # ", 2014."
+  jhnote      = "Previously published in " # icml14 # ", 2014."
 }
 
 @article{HHRRW14,
@@ -105,7 +105,7 @@
   jh        = yes,
   reviewed  = yes,
   poster    = {https://justinh.su/files/posters/matchings.pdf},
-  note      = "Previously published in " # stoc14 # ", 2014."
+  jhnote      = "Previously published in " # stoc14 # ", 2014."
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -114,7 +114,7 @@
   author    = {Albarghouthi, Aws and
                Hsu, Justin},
   year      = {2018},
-  note      = "To appear.",
+  jhnote      = "To appear.",
   jh        = yes,
   reviewed  = yes,
   booktitle = cav18,
@@ -138,7 +138,7 @@
   eprint   = {1802.06283},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
-  note     = "To appear.",
+  jhnote     = "To appear.",
 }
 
 @inproceedings{BEGGHS16,
@@ -172,7 +172,7 @@
   number   = {POPL},
   articleno = {58},
   url      = {https://arxiv.org/abs/1709.05361},
-  note     = "Appeared at " # popl18 # ".",
+  jhnote     = "Appeared at " # popl18 # ".",
   reviewed = yes,
   doi      = {10.1145/3158146},
   eprint   = {1709.05361},
@@ -196,7 +196,7 @@
   articleno = {57},
   doi      = {10.1145/3158145},
   url      = {https://arxiv.org/abs/1708.02537},
-  note     = "Appeared at " # popl18 # ".",
+  jhnote     = "Appeared at " # popl18 # ".",
   reviewed = yes,
   slides   = {https://justinh.su/files/slides/eprhl.pdf},
   eprint   = {1708.02537},
@@ -339,7 +339,7 @@
   reviewed = yes,
   slides  = {https://justinh.su/files/slides/advanced.pdf},
   acceptance = {137/831=0.17},
-  note      = {There is an error in the treatment of advanced composition;
+  jhnote      = {There is an error in the treatment of advanced composition;
                please see my thesis for the correction.},
 }
 
@@ -763,7 +763,7 @@ inproceedings{HHRRW14,
   archivePrefix = {arXiv},
   primaryClass  = {cs.DS},
   doi       = {10.1007/978-3-642-31594-7_39},
-  note      = {Thanks to Raef Bassily and Adam Smith for spotting an error, now fixed.},
+  jhnote      = {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},
@@ -6891,3 +6891,73 @@ url={https://doi.org/10.1007/3-540-48224-5_35}
  acmid = {1382534},
 }
 
+@inproceedings{kwiatkowska2011prism,
+  title={{PRISM} 4.0: Verification of probabilistic real-time systems},
+  author={Kwiatkowska, Marta and Norman, Gethin and Parker, David},
+  booktitle=cav11,
+  pages={585--591},
+  year={2011},
+  series=lncs,
+  volume=6806,
+  publisher=springer
+}
+
+@inproceedings{DBLP:journals/corr/DehnertJK017,
+  author    = {Christian Dehnert and
+               Sebastian Junges and
+               Joost{-}Pieter Katoen and
+               Matthias Volk},
+  title     = {A storm is Coming: {A} Modern Probabilistic Model Checker},
+  booktitle = cav17,
+  volume    = {abs/1702.04311},
+  year      = {2017},
+  url       = {http://arxiv.org/abs/1702.04311},
+  archivePrefix = {arXiv},
+  eprint    = {1702.04311},
+  timestamp = {Wed, 07 Jun 2017 14:41:26 +0200},
+  biburl    = {https://dblp.org/rec/bib/journals/corr/DehnertJK017},
+  bibsource = {dblp computer science bibliography, https://dblp.org},
+  series    = lncs,
+  volume    = 10427,
+  publisher = springer,
+}
+
+@inproceedings{Katoen:2016:PMC:2933575.2934574,
+ author = {Katoen, Joost-Pieter},
+ title = {The Probabilistic Model Checking Landscape},
+ booktitle = lics16,
+ year = {2016},
+ isbn = {978-1-4503-4391-6},
+ pages = {31--45},
+ numpages = {15},
+ url = {http://doi.acm.org/10.1145/2933575.2934574},
+ doi = {10.1145/2933575.2934574},
+ acmid = {2934574},
+} 
+
+@incollection{DBLP:reference/mc/BaierAFK18,
+  author    = {Baier, Christel and
+               de Alfaro, Luca and
+               Forejt, Vojtech and
+               Kwiatkowska, Marta},
+  title     = {Model Checking Probabilistic Systems},
+  booktitle = {Handbook of Model Checking},
+  pages     = {963--999},
+  year      = {2018},
+  publisher = springer,
+  url       = {https://doi.org/10.1007/978-3-319-10575-8_28},
+  doi       = {10.1007/978-3-319-10575-8_28},
+  timestamp = {Tue, 29 May 2018 12:30:27 +0200},
+  biburl    = {https://dblp.org/rec/bib/reference/mc/BaierAFK18},
+  bibsource = {dblp computer science bibliography, https://dblp.org}
+}
+
+@inproceedings{benton1994mixed,
+  title={A mixed linear and non-linear logic: Proofs, terms and models},
+  author={Benton, P Nick},
+  booktitle=csl94,
+  pages={121--135},
+  year={1994},
+  organization=springer
+}
+