Add fields.

Need month and page numbers, otherwise rendering breaks...
This commit is contained in:
Justin Hsu 2017-11-01 16:19:01 +00:00
parent bfa91221b4
commit 81b06981aa
1 changed files with 6 additions and 2 deletions

View File

@ -95,11 +95,13 @@
title = {Synthesizing Coupling Proofs of Differential Privacy}, title = {Synthesizing Coupling Proofs of Differential Privacy},
author = {Albarghouthi, Aws and author = {Albarghouthi, Aws and
Hsu, Justin}, Hsu, Justin},
year = 2018, year = {2018},
month = {},
jh = yes, jh = yes,
journal = pacmpl, journal = pacmpl,
volume = {1}, volume = {1},
number = {POPL}, number = {POPL},
pages = {XX},
url = {http://arxiv.org/abs/1709.05361}, url = {http://arxiv.org/abs/1709.05361},
note = "To appear at " # popl18, note = "To appear at " # popl18,
reviewed = yes, reviewed = yes,
@ -115,11 +117,13 @@
Gr{\'e}goire, Benjamin and Gr{\'e}goire, Benjamin and
Hsu, Justin and Hsu, Justin and
Strub, {Pierre}-{Yves}}, Strub, {Pierre}-{Yves}},
year = 2018, year = {2018},
month = {},
jh = yes, jh = yes,
journal = pacmpl, journal = pacmpl,
volume = {1}, volume = {1},
number = {POPL}, number = {POPL},
pages = {XX},
url = {http://arxiv.org/abs/1708.02537}, url = {http://arxiv.org/abs/1708.02537},
note = "To appear at " # popl18, note = "To appear at " # popl18,
reviewed = yes, reviewed = yes,