diff --git a/bibs/header.bib b/bibs/header.bib index 969d6e1..0de7b2a 100644 --- a/bibs/header.bib +++ b/bibs/header.bib @@ -317,6 +317,7 @@ @STRING{pldi23 = pldi # ", Orlando, Florida" } @STRING{pldi24 = pldi # ", Copenhagen, Denmark" } @STRING{pldi25 = pldi # ", Seoul, Korea" } +@STRING{pldi26 = pldi # ", Boulder, Colorado" } % ---- @STRING{lfp = "ACM Symposium on Lisp and Functional Programming (LFP)" } diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib index a10d961..46825bd 100644 --- a/bibs/myrefs.bib +++ b/bibs/myrefs.bib @@ -132,6 +132,26 @@ } %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@article{ZH26, + title = {Synthesizing Backward Error Bounds, Backward}, + author = {Zielinski, Laura and Hsu, Justin}, + year = 2026, + month = jun, + url = {https://arxiv.org/abs/2604.15633}, + journal = pacmpl, + articleno = {255}, + volume = {10}, + number = {PLDI}, + reviewed = yes, + jh = yes, + jhsite = yes, + doi = {10.1145/3808333}, + eprint = {2604.15633}, + archivePrefix = {arXiv}, + primaryClass = {cs.PL}, + note = "Appeared at " # pldi26 # ".", +} + @article{GGH25, title = {{SafeTree}: Expressive Tree Policies for Microservices}, author = {Grewal, Karuna and @@ -1545,6 +1565,14 @@ inproceedings{HHRRW14, } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +@talk{rpi-cs-talk, + title = {From Discrete to Continuous: Programming Languages for Time and Space}, + organization = {CS Department Colloquium, RPI}, + year = 2025, + month = oct, + jh = yes, +} + @talk{imperial-comp-talk, title = {Type Systems for Numerical Error Analysis}, organization = {Computing Seminar, Imperial College London}, diff --git a/content/news.md b/content/news.md index 2b69d3f..86e7b50 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **04/2026** **Synthesizing Backward Error Bounds, Backward** will appear at + **PLDI 2026**. Congrats Laura! + **08/2025** I'm back to Ithaca after a year on sabbatical! This fall, I'll be teaching [**Category Theory for Computer Scientists (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2025fa/). @@ -17,6 +19,3 @@ Jonas, Jón, and Jessica! + **05/2025** **Bean: A Language for Backward Error Analysis** will appear at **PLDI 2025**. Congrats Ariel and Laura! -+ **01/2025** This semester, I'll be a mentoring a group for the [**Adjoint - School 2025**](https://adjointschool.com/2025.html) focused on **Categorical - Metric Structures for Numerical Analysis**.