justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update bibs.

This commit is contained in:
Justin Hsu 2018-10-31 13:15:17 -05:00
parent 276760b6c7
commit bd9669ad97
2 changed files with 13 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
bibs/header.bib
View File

@ -444,6 +444,7 @@
@STRING{vldb12 = vldb # ", Istanbul, Turkey"}
@STRING{vldb14 = vldb # ", Hangzhou, China"}
@STRING{vldb17 = vldb # ", Munich, Germany"}
@STRING{vldb18 = vldb # ", Rio de Janeiro, Brazil"}
% ----
@STRING{icc = "{IEEE} {I}nternational {C}onference on {C}ommunications
@ -458,6 +459,7 @@
@STRING{sigmod10 = sigmod # ", Indianapolis, Indiana"}
@STRING{sigmod12 = sigmod # ", Scottsdale, Arizona"}
@STRING{sigmod14 = sigmod # ", Snowbird, Utah"}
@STRING{sigmod17 = sigmod # ", Chicago, Illinois"}
% ----
@STRING{tamc = "Theory and Applications of Models of Computation
@ -842,6 +844,12 @@ STRING{fse08 = fse # ", Atlanta, Georgia" }
% ---
@STRING{uai = "Conference on Uncertainty in Artificial Intelligence ({UAI})"}
@STRING{uai02 = uai # ", Edmonton, Alberta" }
% ---
@STRING{vstte = "Working Conference on Verified Software: Theories, Tools
and Experiments ({VSTTE})" }
@STRING{vstte13 = vstte # ", Menlo Park, California" }
% ---
@STRING{wosn12 = wosn # ", Helsinki, Finland" }

6
bibs/myrefs.bib
View File

@ -121,6 +121,10 @@
volume = {3},
number = {POPL},
jhnote = "To appear at " # popl19 # ".",
eprint = {1810.12396},
archivePrefix = {arXiv},
primaryClass = {cs.PL},
url = {https://arxiv.org/abs/1810.12396},
reviewed = yes,
}
@ -5109,7 +5113,7 @@ inproceedings{LarsenS89,
}
@inproceedings{mathsat,
title={The MathSAT5 SMT Solver.},
title={The {MathSAT5} {SMT} Solver.},
author={Cimatti, Alessandro and Griggio, Alberto and Schaafsma, Bastiaan Joost and Sebastiani, Roberto},
booktitle=tacas13,
volume={7795},