diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index 65cbc5b..5f53597 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -1,4 +1,16 @@ %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@unpublished{KZBH25, + title = {Bean: A Language for Backward Error Analysis}, + author = {Kellison, Ariel E. and Zielinski, Laura and Bindel, David and Hsu, Justin}, + year = 2025, + url = {https://arxiv.org/abs/2501.14550}, + jh = yes, + jhsite = yes, + eprint = {2501.14550}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, +} + @unpublished{AH23, title = {Separated and Shared Effects in Higher-Order Languages}, author = {Azevedo de Amorim, Pedro H. and Hsu, Justin}, @@ -1442,6 +1454,70 @@ inproceedings{HHRRW14, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@talk{kent24-talk, + title = {Type Systems for Numerical Error Analysis}, + organization = {Programming Languages and Systems ({PLAS}) Seminar, University of Kent}, + year = 2024, + month = dec, + jh = yes, +} + +@talk{edinburgh24-talk, + title = {Type Systems for Numerical Error Analysis}, + organization = {{LFCS} Seminar, University of Edinburgh}, + year = 2024, + month = dec, + jh = yes, +} + +@talk{kerrigan24-talk, + title = {Type Systems for Numerical Error Analysis}, + organization = {Eric Kerrigan Group Meeting, Imperial College London}, + year = 2024, + month = dec, + jh = yes, +} + +@talk{bologna24-talk, + title = {Type Systems for Numerical Error Analysis}, + organization = {University of Bologna}, + year = 2024, + month = nov, + jh = yes, +} + +@talk{imperial-cas24-talk, + title = {Type Systems for Numerical Error Analysis}, + organization = {Circuits and Systems ({CAS}) Seminar, Imperial College London}, + year = 2024, + month = nov, + jh = yes, +} + +@talk{oxford24-talk, + title = {Type Systems for Numerical Error Analysis}, + organization = {{OASIS} Seminar, University of Oxford}, + year = 2024, + month = nov, + jh = yes, +} + +@talk{dagstuhl24-talk, + title = {Type Systems for Numerical Error Analysis}, + organization = {Dagstuhl Workshop: Behavior Metrics and Quantitative Logics}, + year = 2024, + month = oct, + jh = yes, +} + +@talk{aarhus24-talk, + title = {Type Systems for Numerical Error Analysis}, + organization = {Logic and Semantics ({LogSem}) Seminar, Aarhus University}, + year = 2024, + month = oct, + jh = yes, +} + @talk{presburger-talk, title = {Logics for Separation in Randomized Programs}, organization = {{EATCS} Presburger Award}, @@ -1824,7 +1900,7 @@ inproceedings{HHRRW14, @talk{dagstuhl17-talk, title = {Differential Privacy and Incentive Properties}, - organization = {Dagstuhl Seminar: Game Theory in {AI}, Logic, and Algorithms}, + organization = {Dagstuhl Workshop: Game Theory in {AI}, Logic, and Algorithms}, year = 2017, month = mar, jh = yes,