LICS acceptances.
This commit is contained in:
Justin Hsu
parent
9a1197b19f
commit
dae41d2a7f
|
|
@ -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" }
|
||||
|
|
|
|||
255
bibs/myrefs.bib
255
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},
|
||||
}
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in New Issue