paper award

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)" }
@@ -492,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)}" }
@@ -771,6 +773,7 @@
 % ---
 @STRING{cav96       = cav # ", New Brunswick, New Jersey" }
 @STRING{cav97       = cav # ", Haifa, Israel" }
+@STRING{cav98       = cav # ", Vancouver, British Columbia" }
 @STRING{cav00       = cav # ", Chicago, Illinois" }
 @STRING{cav02       = cav # ", Copenhagen, Denmark" }
 @STRING{cav03       = cav # ", Boulder, Colorado" }

bibs/myrefs.bib

@@ -132,18 +132,80 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% 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},
+  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 # ". Distinguished Paper Award.",
+}
+
+@article{GGH25,
+  title  = {{SafeTree}: Expressive Tree Policies for Microservices},
+  author = {Grewal, Karuna and
+            Godfrey, Brighten and
+            Hsu, Justin},
+  year     = 2025,
+  month    = oct,
+  journal  = pacmpl,
+  volume   = {9},
+  number   = {OOPSLA2},
+  articleno = {349},
+  reviewed = yes,
+  jh       = yes,
+  jhsite = yes,
+  url       = {https://arxiv.org/abs/2508.16746},
+  eprint    = {2508.16746},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  doi = {10.1145/3763127},
+  note   = "Appeared at " # oopsla25 # ".",
+}
+
 @article{MH25,
   title  = {A {Hoare} Logic for Symmetry Properties},
   author = {Mehta, Vaibhav and
             Hsu, Justin},
   year     = 2025,
-  month    = jan,
+  month    = oct,
   journal  = pacmpl,
   volume   = {9},
-  number   = {OOPSLA},
+  number   = {OOPSLA2},
+  articleno = {302},
   reviewed = yes,
   jh       = yes,
   jhsite = yes,
+  url       = {https://arxiv.org/abs/2509.00587},
+  eprint    = {2509.00587},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  doi = {10.1145/3763080},
   note   = "Appeared at " # oopsla25 # ".",
 }
 
@@ -165,6 +227,7 @@
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
   note   = "Appeared at " # pldi25 # ".",
+  acceptance = {89/324=0.27},
 }
 
 @inproceedings{GBHSZ23,
@@ -188,6 +251,7 @@
   jh     = yes,
   jhsite = yes,
   reviewed  = yes,
+  acceptance = {30/57=0.52},
 }
 
 @inproceedings{BLH24,
@@ -202,6 +266,7 @@
   jh     = yes,
   jhsite = yes,
   reviewed  = yes,
+  acceptance = {67/317=0.21},
 }
 
 @article{KH23,
@@ -222,6 +287,7 @@
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
   note   = "Appeared at " # pldi24 # ".",
+  acceptance = {89/322=0.27},
 }
 
 @inproceedings{GGH23,
@@ -255,6 +321,7 @@
   archivePrefix = {arXiv},
   primaryClass  = {cs.PL},
   note   = "Appeared at " # pldi23 # ".",
+  acceptance = {83/284=0.29},
 }
 
 @article{SLHR21,
@@ -276,6 +343,7 @@
   jh       = yes,
   jhsite = yes,
   note   = "Appeared at " # oopsla22 # ".",
+  acceptance = {24/93=0.25},
 }
 
 inproceedings{BPHR21,
@@ -335,6 +403,7 @@ inproceedings{BPHR21,
   jh       = yes,
   jhsite = yes,
   note   = "Appeared at " # popl22 # ".",
+  acceptance = {65/286=0.22},
 }
 
 @inproceedings{BDHS20,
@@ -388,6 +457,7 @@ inproceedings{BPHR21,
   jh     = yes,
   jhsite = yes,
   reviewed  = yes,
+  acceptance = {115/952=0.12},
 }
 
 @article{ABHKKM19,
@@ -653,7 +723,7 @@ inproceedings{BPHR21,
   primaryClass  = {cs.LO},
 }
 
-@inproceedings{vHHOS18,
+inproceedings{vHHOS18,
   title     = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
   author    = {van Heerdt, Gerco and
                Hsu, Justin and
@@ -1367,7 +1437,7 @@ inproceedings{HHRRW14,
   acceptance = {123/433=0.28},
 }
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SURVEYS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% BLOGS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 @misc{plp-blog-ct,
   title = {Teaching Category Theory to Computer Scientists},
   author = {Hsu, Justin},
@@ -1466,6 +1536,22 @@ inproceedings{HHRRW14,
 } 
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% WORKSHOPS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{FFFGHR25,
+  title     = {Towards an Axiomatisation of the Neighborhood Monad},
+  author    = {Fan, Max and
+               Ford, Chase and
+               Forster, Jonas and
+               Gar{\dh}arsson, J\'on H\'akon and
+               Hsu, Justin and
+               Richards, Jessica},
+  booktitle = {International Workshop on Behavioural Metrics and Quantitative
+               Logics ({BMQL}), Aarhus, Denmark, informal proceedings},
+  year      = {2025},
+  jh        = yes,
+  jhsite    = yes,
+  reviewed  = no,
+}
+
 @inproceedings{GGHHP13,
   title     = {Automatic Sensitivity Analysis using Linear Dependent Types},
   author    = {Gaboardi, Marco and
@@ -1493,6 +1579,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/about.md

@@ -2,10 +2,6 @@ I am an associate professor in the [Department of Computer
 Science](https://www.cs.cornell.edu/) at [Cornell
 University](https://www.cornell.edu).
 
-
-**This year, I am away on sabbatical at Imperial College London. I will be back to Cornell in August 2025.**
-
-
 Previously, I was an assistant professor in the [Department of Computer
 Sciences](https://www.cs.wisc.edu/) at the [University of
 Wisconsin--Madison](https://www.wisc.edu), and a postdoc at the [Department of
@@ -39,7 +35,7 @@ policies, and algorithms from numerical analysis and applied mathematics.
 
 ## Teaching ##
 - **Data Structures and Functional Programming (CS 3110)**: [F23](https://www.cs.cornell.edu/courses/cs3110/2023fa/) [S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/) [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/)
-- **Category Theory for Computer Scientists (CS 6117)**: [F22](teaching/f22/cs6117)
+- **Category Theory for Computer Scientists (CS 6117)**: [F25](https://www.cs.cornell.edu/courses/cs6117/2025fa) [F22](teaching/f22/cs6117)
 - **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182)
 - **Reasoning about Probabilistic Programs** <br>
   **Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: 
@@ -50,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
@@ -60,7 +57,8 @@ policies, and algorithms from numerical analysis and applied mathematics.
 - **2015** Simons Award for Graduate Students in Theoretical Computer Science
 
 ## Service ##
-- **2026** ESOP, LICS
+- **2027** POPL (AC)
+- **2026** ESOP, LICS, ICTAC
 - **2025** POPL, ICALP-B, HOPE, PROPL
 - **2024** OOPSLA, CSF, CCS, MFPS
 - **2023** CSF, ICALP-B, LICS, OOPSLA, MFPS

content/news.md

@@ -1,12 +1,22 @@
-+ **06/2025** **A Hoare Logic for Symmetry Properties** will appear at
-  **OOPSLA 2025**. Congrats Vaibhav!
-+ **05/2025** **Bean: A Language for Backward Error Analysis** will appear at
-  **PLDI 2025**. Congrats Ariel and Laura!
-+ **09/2024** This academic year, I will be on sabbatical at **Imperial College
-  London** visiting [**George
-  Constantinides**](https://cas.ee.ic.ac.uk/people/gac1/) and [**Eric
-  Kerrigan**](https://profiles.imperial.ac.uk/e.kerrigan), supported by a
-  **Wolfson Visiting Fellowship** from the Royal Society. Thank you!
-+ **07/2024** I am honored to be selected for the [**2024 EATCS Presburger
-  Award**](https://www.eatcs.org/index.php/presburger). Thank you to all of my
-  mentors and collaborators for making this possible!
++ **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/).
++ **08/2025** **SafeTree: Expressive Tree Policies for Microservices** and **A
+  Hoare Logic for Symmetry Properties** will appear at **OOPSLA 2025**. Congrats
+  Karuna and Vaibhav!
++ **07/2025** I gave two lectures at the [**Cornell, Maryland, Max Planck
+  Pre-doctoral Research School in Computer Science (CMMRS
+  2025)**](https://cmmrs.mpi-sws.org/) on **Type Systems: Between Theory and
+  Practice**. A lot of fun, thanks for the highly engaged students!
++ **07/2025** My (first!) PhD student [**Jialu Bao**](https://baojia.lu/about/)
+  has successfully defended her thesis, and will be starting a postdoc at
+  Northeastern with Steven Holtzen. Huge congratulations Jialu!!
++ **07/2025** **Towards an Axiomatisation of the Neighborhood Monad** will appear at
+  **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!