bib

bibs/header.bib

@@ -253,6 +253,7 @@
 @STRING{oopsla14    = oopsla # ", Portland, Oregon" }
 @STRING{oopsla16    = oopsla # ", Amsterdam, The Netherlands" }
 @STRING{oopsla22    = oopsla # ", Auckland, New Zealand" }
+@STRING{oopsla25    = oopsla # ", Singapore" }
 % ----
 @STRING{lics        = "{IEEE} {S}ymposium on {L}ogic in {C}omputer {S}cience ({LICS})" }
 @STRING{licspost20  = "{ACM/IEEE} {S}ymposium on {L}ogic in {C}omputer {S}cience ({LICS})" }

bibs/myrefs.bib

@@ -39,6 +39,7 @@
   reviewed  = yes,
   journal = {Theoretical Computer Science},
   doi       = {10.1016/j.tcs.2025.115191},
+  url = {https://www.sciencedirect.com/science/article/abs/pii/S030439752500129X},
   note    = "Previously published in " # ictac18 # ", 2018."
 }
 
@@ -131,6 +132,21 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@article{MH25,
+  title  = {A {Hoare} Logic for Symmetry Properties},
+  author = {Mehta, Vaibhav and
+            Hsu, Justin},
+  year     = 2025,
+  month    = jan,
+  journal  = pacmpl,
+  volume   = {9},
+  number   = {OOPSLA},
+  reviewed = yes,
+  jh       = yes,
+  jhsite = yes,
+  note   = "Appeared at " # oopsla25 # ".",
+}
+
 @article{KZBH25,
   title  = {Bean: A Language for Backward Error Analysis},
   author = {Kellison, Ariel E. and Zielinski, Laura and Bindel, David and Hsu, Justin},
@@ -1477,6 +1493,30 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{imperial-comp-talk,
+  title = {Type Systems for Numerical Error Analysis},
+  organization = {Computing Seminar, Imperial College London},
+  year = 2025,
+  month = jun,
+  jh = yes,
+}
+
+@talk{wg23-25-talk,
+  title = {Type Systems for Numerical Error Analysis},
+  organization = {IFIP Working Group 2.3 Meeting 69, Athens, Greece},
+  year = 2025,
+  month = may,
+  jh = yes,
+}
+
+@talk{qmul25-talk,
+  title = {Type Systems for Numerical Error Analysis},
+  organization = {Theory Group Seminar, Queen Mary University of London},
+  year = 2025,
+  month = may,
+  jh = yes,
+}
+
 @talk{pequan25-talk,
   title = {Type Systems for Numerical Error Analysis},
   organization = {{PEQUAN} Team Meeting, {LIP6}},