PLDI

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)" }

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

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**.