From 2e5767f5774920eba8f7c8296177840d117f0e0f Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Mon, 6 Mar 2023 22:46:34 -0500 Subject: [PATCH] Bib. --- bibs/myrefs.bib | 28 ++++++++++++++++++++++++---- 1 file changed, 24 insertions(+), 4 deletions(-) diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index db564a5..e792f8f 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -7,22 +7,26 @@ jhsite = yes, } -@unpublished{AH22, +@unpublished{AH23, title = {Separated and Shared Effects in Higher-Order Languages}, author = {Azevedo de Amorim, Pedro H. and Hsu, Justin}, - year = 2022, + year = 2023, + url = {https://arxiv.org/abs/2303.01616}, jh = yes, jhsite = yes, + eprint = {2303.01616}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, } -@unpublished{GBHSZ22, +@unpublished{GBHSZ23, title = {An abstract approach to conditional independence in {DIBI} models}, author = {Gu, Tao and Bao, Jialu and Hsu, Justin and Silva, Alexandra and Zanasi, Fabio}, - year = 2022, + year = 2023, jh = yes, jhsite = yes, } @@ -1333,6 +1337,22 @@ inproceedings{HHRRW14, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@talk{nus22-talk, + title = {Data-Driven Invariant Learning for Probabilistic Programs}, + organization = {{PLSE} Seminar, {NUS}}, + year = 2022, + month = sep, + jh = yes, +} + +@talk{aws22-talk, + title = {Composition, Verification, and Differential Privacy}, + organization = {Privacy Engineering Team, Amazon Web Services}, + year = 2022, + month = sep, + jh = yes, +} + @talk{popl21-talk, title = {A Pre-Expectation Calculus for Probabilistic Sensitivity}, organization = pldi22,