From b27378575ab2ec1100c88c27a4bc1c8f7ebbeab2 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sun, 11 Oct 2020 15:44:00 -0500 Subject: [PATCH] Update. --- bibs/myrefs.bib | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 1bee855..6daebb2 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -105,7 +105,7 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -@inproceedings{ABHKKM19, +@article{ABHKKM19, title = {A Pre-Expectation Calculus for Probabilistic Sensitivity}, author = {Aguirre, Alejandro and Barthe, Gilles and @@ -119,7 +119,12 @@ eprint = {1901.06540}, archivePrefix = {arXiv}, primaryClass = {cs.LO}, - jh = yes, + month = jan, + journal = pacmpl, + volume = {5}, + number = {POPL}, + reviewed = yes, + jh = yes, } @inproceedings{BBGHS19,