diff --git a/bibs/header.bib b/bibs/header.bib index 430a718..8c22854 100644 --- a/bibs/header.bib +++ b/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" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index c983826..d0e91ce 100644 --- a/bibs/myrefs.bib +++ b/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 +} +