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

Draft.

Browse Source
This commit is contained in:
Justin Hsu 2025-01-27 19:50:31 +00:00
parent daab6848a4
commit e2a07e8266
1 changed files with 77 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

78
bibs/myrefs.bib
View File

@ -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,