From dae41d2a7f5aed7c40c0a58eb55a3ebbd8700b48 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Thu, 1 Apr 2021 23:09:59 +0100 Subject: [PATCH] LICS acceptances. --- bibs/header.bib | 2 + bibs/myrefs.bib | 255 ++++++++++++++++++++++++++++++++++++++++++------ content/news.md | 3 + 3 files changed, 230 insertions(+), 30 deletions(-) diff --git a/bibs/header.bib b/bibs/header.bib index 3dd809b..4abedb8 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -270,6 +270,7 @@ @STRING{lics17 = lics # ", Reykjavik, Iceland" } @STRING{lics19 = lics # ", Vancouver, British Columbia" } @STRING{lics20 = licspost20 # ", Saarbr{\"{u}}cken, Germany" } +@STRING{lics21 = licspost20 } % ---- @STRING{pldi = "{ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)}" } @@ -785,6 +786,7 @@ STRING{fse08 = fse # ", Atlanta, Georgia" } @STRING{hoots00 = hoots # ", Montr{\'e}al, Qu{\'e}bec" } % --- @STRING{icalp84 = icalp # ", Antwerp, Belgium" } +@STRING{icalp97 = icalp # ", Bologna, Italy" } @STRING{icalp98 = icalp # ", Aalborg, Denmark" } @STRING{icalp01 = icalp # ", Crete, Greece" } @STRING{icalp06 = icalp # ", Venice, Italy" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index e275308..9656197 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,28 +1,4 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@unpublished{BDHS20, - title = {A Logic to Reason about Dependence and Independence}, - author = {Bao, Jialu and - Docherty, Simon and - Hsu, Justin and - Silva, Alexandra}, - url = {https://arxiv.org/abs/2008.09231}, - eprint = {2008.09231}, - archivePrefix = {arXiv}, - primaryClass = {cs.LO}, - year = 2020, - jh = yes, -} - -@unpublished{ZBHYY20, - title = {Quantum Separation Logic: Scalable Verification of Quantum Algorithms and Security Protocols}, - author = {Zhou, Li and - Barthe, Gilles and - Hsu, Justin and - Ying, Minghsheng and - Yu, Nengkun}, - year = 2020, - jh = yes, -} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THESIS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @phdthesis{JHThesis, @@ -105,6 +81,35 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@inproceedings{BDHS20, + title = {A Bunched Logic for Conditional Independence}, + author = {Bao, Jialu and + Docherty, Simon and + Hsu, Justin and + Silva, Alexandra}, + url = {https://arxiv.org/abs/2008.09231}, + eprint = {2008.09231}, + archivePrefix = {arXiv}, + primaryClass = {cs.LO}, + booktitle = lics21, + year = 2021, + jh = yes, + reviewed = yes, +} + +@inproceedings{ZBHYY20, + title = {A Quantum Interpretation of Bunched Logic \& Quantum Separation Logic}, + author = {Zhou, Li and + Barthe, Gilles and + Hsu, Justin and + Ying, Minghsheng and + Yu, Nengkun}, + booktitle = lics21, + year = 2021, + jh = yes, + reviewed = yes, +} + @inproceedings{RHA21, title = {Learning Differentially Private Mechanisms}, author = {Roy, Subhajit and @@ -142,7 +147,6 @@ reviewed = yes, jh = yes, jhnote = "Appeared at " # popl21 # ", Distinguished Paper Award.", - note = "Distinguished Paper Award.", } @inproceedings{BBGHS19, @@ -204,7 +208,6 @@ articleno = {61}, number = {POPL}, jhnote = "Appeared at " # popl20 # ", Distinguished Paper Award.", - note = "Distinguished Paper Award.", reviewed = yes, jh = yes, acceptance = {68/257=0.28}, @@ -1118,6 +1121,22 @@ inproceedings{HHRRW14, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@talk{utopia21-talk, + title = {Data-Driven Invariant Learning for Probabilistic Programs}, + organization = {{UToPIA} Seminar, UT Austin}, + year = 2021, + month = feb, + jh = yes, +} + +@talk{pps21-talk, + title = {A Bunched Logic for Conditional Independence}, + organization = {Joint {PPS}--{PIHOC}--{DIAPASoN} Workshop}, + year = 2021, + month = feb, + jh = yes, +} + @talk{cornell20-talk, title = {Formally Verifying Randomized Algorithms}, organization = {Fall 2020 CS Colloquium, Cornell University}, @@ -2877,7 +2896,7 @@ year = {2014} volume = {7961}, year = {2013}, pages = {200--215}, - url = {https://dx.doi.org/10.1007/978--3-642--39320--4_13} + url = {https://dx.doi.org/10.1007/978--3-642--39320--4\_13} } @article{DBLP:journals/cacm/ChaudhuriGL12, @@ -3836,7 +3855,7 @@ pages = {197--214}, volume = {7961}, year = {2013}, pages = {200--215}, - url = {https://dx.doi.org/10.1007/978--3-642--39320--4_13}, + url = {https://dx.doi.org/10.1007/978--3-642--39320--4\_13}, publisher = springer } @@ -7011,8 +7030,8 @@ publisher=springer volume=9779, pages="3--22", isbn="978-3-319-41528-4", - doi="10.1007/978-3-319-41528-4_1", - url="https://doi.org/10.1007/978-3-319-41528-4_1" + doi="10.1007/978-3-319-41528-4\_1", + url="https://doi.org/10.1007/978-3-319-41528-4\_1" } @inproceedings{Chatterjee:2017:SIP:3009837.3009873, @@ -8307,3 +8326,179 @@ note={Errata and Remarks maintained at: pages={475--489}, year={2018} } + +@inproceedings{DBLP:conf/oopsla/CarbinMR13, + author = {Michael Carbin and + Sasa Misailovic and + Martin C. Rinard}, + title = {Verifying quantitative reliability for programs that execute on unreliable + hardware}, + booktitle = oopsla13, + pages = {33--52}, + publisher = {{ACM}}, + year = {2013}, + url = {https://doi.org/10.1145/2509136.2509546}, + doi = {10.1145/2509136.2509546}, + timestamp = {Tue, 06 Nov 2018 16:57:16 +0100}, + biburl = {https://dblp.org/rec/conf/oopsla/CarbinMR13.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{DBLP:conf/icalp/BaierCHKR97, + author = {Christel Baier and + Edmund M. Clarke and + Vasiliki Hartonas{-}Garmhausen and + Marta Z. Kwiatkowska and + Mark Ryan}, + title = {Symbolic Model Checking for Probabilistic Processes}, + booktitle = icalp97, + series = lncs, + volume = {1256}, + pages = {430--440}, + publisher = {Springer}, + year = {1997}, + url = {https://doi.org/10.1007/3-540-63165-8\_199}, + doi = {10.1007/3-540-63165-8\_199}, + timestamp = {Tue, 14 May 2019 10:00:44 +0200}, + biburl = {https://dblp.org/rec/conf/icalp/BaierCHKR97.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{DBLP:conf/qest/GretzKM13, + author = {Friedrich Gretz and + Joost{-}Pieter Katoen and + Annabelle McIver}, + title = {Prinsys - On a Quest for Probabilistic Loop Invariants}, + booktitle = {International Confnerece on Quantitative Evaluation of Systems + {(QEST)}, Buenos Aires, Argentina}, + series = lncs, + volume = {8054}, + pages = {193--208}, + publisher = {Springer}, + year = {2013}, + url = {https://doi.org/10.1007/978-3-642-40196-1\_17}, + doi = {10.1007/978-3-642-40196-1\_17}, + timestamp = {Tue, 14 May 2019 10:00:53 +0200}, + biburl = {https://dblp.org/rec/conf/qest/GretzKM13.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{DBLP:conf/cav/ChenHWZ15, + author = {Yu{-}Fang Chen and + Chih{-}Duo Hong and + Bow{-}Yaw Wang and + Lijun Zhang}, + title = {Counterexample-Guided Polynomial Loop Invariant Generation by + {Lagrange} Interpolation}, + booktitle = cav15, + series = lncs, + volume = {9206}, + pages = {658--674}, + publisher = {Springer}, + year = {2015}, + url = {https://doi.org/10.1007/978-3-319-21690-4\_44}, + doi = {10.1007/978-3-319-21690-4\_44}, + timestamp = {Tue, 29 Dec 2020 18:27:33 +0100}, + biburl = {https://dblp.org/rec/conf/cav/ChenHWZ15.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{dijkstra-wp, + author = {Edsger W. Dijkstra}, + editor = {Friedrich L. Bauer and + Klaus Samelson}, + title = {Guarded commands, non-determinancy and a calculus for the derivation + of programs}, + booktitle = {Language Hierarchies and Interfaces, International Summer School, + Marktoberdorf, Germany}, + series = lncs, + volume = {46}, + pages = {111--124}, + publisher = {Springer}, + year = {1975}, + url = {https://doi.org/10.1007/3-540-07994-7\_51}, + doi = {10.1007/3-540-07994-7\_51}, + timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, + biburl = {https://dblp.org/rec/conf/ac/Dijkstra75a.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@article{DBLP:journals/scp/ErnstPGMPTX07, + author = {Michael D. Ernst and + Jeff H. Perkins and + Philip J. Guo and + Stephen McCamant and + Carlos Pacheco and + Matthew S. Tschantz and + Chen Xiao}, + title = {The {Daikon} system for dynamic detection of likely invariants}, + journal = {Sci. Comput. Program.}, + volume = {69}, + number = {1--3}, + pages = {35--45}, + year = {2007}, + url = {https://doi.org/10.1016/j.scico.2007.01.015}, + doi = {10.1016/j.scico.2007.01.015}, + timestamp = {Sat, 27 May 2017 14:22:55 +0200}, + biburl = {https://dblp.org/rec/journals/scp/ErnstPGMPTX07.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{DBLP:conf/fm/FlanaganL01, + author = {Cormac Flanagan and + K. Rustan M. Leino}, + editor = {Jos{\'{e}} Nuno Oliveira and + Pamela Zave}, + title = {Houdini, an Annotation Assistant for ESC/Java}, + booktitle = {International Symposium of Formal Methods Europe {(FME)}, Berlin, Germany}, + series = lncs, + volume = {2021}, + pages = {500--517}, + publisher = {Springer}, + year = {2001}, + url = {https://doi.org/10.1007/3-540-45251-6\_29}, + doi = {10.1007/3-540-45251-6\_29}, + timestamp = {Tue, 14 May 2019 10:00:46 +0200}, + biburl = {https://dblp.org/rec/conf/fm/FlanaganL01.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@article{DBLP:journals/pacmpl/BatzKKM21, + author = {Kevin Batz and + Benjamin Lucien Kaminski and + Joost{-}Pieter Katoen and + Christoph Matheja}, + title = {Relatively complete verification of probabilistic programs: an expressive + language for expectation-based reasoning}, + journal = pacmpl, + volume = {5}, + number = {{POPL}}, + pages = {1--30}, + year = {2021}, + url = {https://doi.org/10.1145/3434320}, + doi = {10.1145/3434320}, + timestamp = {Wed, 20 Jan 2021 12:05:40 +0100}, + biburl = {https://dblp.org/rec/journals/pacmpl/BatzKKM21.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@phdthesis{DBLP:phd/dnb/Kaminski19, + author = {Benjamin Lucien Kaminski}, + title = {Advanced weakest precondition calculi for probabilistic programs}, + school = {{RWTH} Aachen University, Germany}, + year = {2019}, + url = {http://publications.rwth-aachen.de/record/755408}, + urn = {urn:nbn:de:101:1-2019072507004473397003}, + timestamp = {Wed, 12 Feb 2020 16:41:35 +0100}, + biburl = {https://dblp.org/rec/phd/dnb/Kaminski19.bib}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} + +@inproceedings{quinlan1992learning, + title={Learning with continuous classes}, + author={Quinlan, J. R.}, + booktitle={Australian Joint Conference on Artificial Intelligence ({AI}), Hobart, Tasmania}, + volume=92, + pages={343--348}, + year={1992}, +} diff --git a/content/news.md b/content/news.md index 443ca78..1516d33 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,6 @@ ++ **04/2021** **A Bunched Logic for Conditional Independence** and **A Quantum + Interpretation of Bunched Logic & Quantum Separation Logic** to appear at + **LICS 2021**. + **01/2021** **A Pre-Expectation Calculus for Probabilistic Sensitivity** has been selected as a **Distingiushed Paper** at **POPL 2021**! + **12/2020** **Learning Differentially Private Mechanisms** to appear at **S&P