paper award

bibs/header.bib

@@ -493,6 +493,7 @@
 @STRING{sigcomm17   = sigcomm # ", Los Angeles, California" }
 @STRING{sigcomm18   = sigcomm # ", Budapest, Hungary" }
 @STRING{sigcomm20   = sigcomm }
+@STRING{sigcomm26   = sigcomm # ", Denver, Colorado" }
 
 % ----
 @STRING{usenix      = "{USENIX} {S}ecurity {S}mposium {(USENIX)}" }

bibs/myrefs.bib

@@ -132,6 +132,20 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{MDOHS26,
+  title  = {$\lambda_{\lambda}$: A Programming Language for Photonic Switches},
+  author = {Mehta, Vaibhav and
+            Devraj, Arjun and
+            Owens, Bill and
+            Hsu, Justin and
+            Singh, Rachee},
+  booktitle     = sigcomm26,
+  year   = 2026,
+  jh     = yes,
+  jhsite = yes,
+  reviewed  = yes,
+}
+
 @article{ZH26,
   title  = {Synthesizing Backward Error Bounds, Backward},
   author = {Zielinski, Laura and Hsu, Justin},
@@ -149,7 +163,7 @@
   eprint = {2604.15633},
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
-  note   = "Appeared at " # pldi26 # ".",
+  note   = "Appeared at " # pldi26 # ". Distinguished Paper Award.",
 }
 
 @article{GGH25,

content/about.md

@@ -46,6 +46,7 @@ policies, and algorithms from numerical analysis and applied mathematics.
 
 ## Awards and Honors ##
 
+- **2026** PLDI Distinguished Paper Award
 - **2024** EATCS [Presburger Award](https://www.eatcs.org/index.php/presburger)
 - **2024** Royal Society [Wolfson Visiting Fellowship](https://royalsociety.org/grants/royal-society-wolfson-visiting-fellowship/)
 - **2022** CAV Distinguished Paper Award
@@ -56,7 +57,7 @@ policies, and algorithms from numerical analysis and applied mathematics.
 - **2015** Simons Award for Graduate Students in Theoretical Computer Science
 
 ## Service ##
-- **2027** POPL (associate chair)
+- **2027** POPL (AC)
 - **2026** ESOP, LICS, ICTAC
 - **2025** POPL, ICALP-B, HOPE, PROPL
 - **2024** OOPSLA, CSF, CCS, MFPS

content/news.md

@@ -1,5 +1,8 @@
-+ **04/2026** **Synthesizing Backward Error Bounds, Backward** will appear at
-  **PLDI 2026**. Congrats Laura!
++ **05/2026** **$\lambda_{\lambda}$: A Programming Language for Photonic
+  Switches** will appear at **SIGCOMM 2026**. Congrats Vaibhav and Arjun!
++ **05/2026** **Synthesizing Backward Error Bounds, Backward** will appear at
+  **PLDI 2026**, and has been selected for a **Distinguished Paper Award**.
+  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,5 +20,3 @@
   **BMQL 2025**. Congrats to a fantastic group of students and TAs from the
   [**Adjoint School 2025**](https://adjointschool.com/2025.html): Max, Chase,
   Jonas, Jón, and Jessica!
-+ **05/2025** **Bean: A Language for Backward Error Analysis** will appear at
-  **PLDI 2025**. Congrats Ariel and Laura!