From 6c3c81251bc263cd25a5d61077f3682c6850917b Mon Sep 17 00:00:00 2001
From: Justin Hsu <email@justinh.su>
Date: Sun, 23 Mar 2025 23:53:38 +0000
Subject: [PATCH] bib

---
 bibs/myrefs.bib | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/bibs/myrefs.bib b/bibs/myrefs.bib
index 5f53597..a871254 100644
--- a/bibs/myrefs.bib
+++ b/bibs/myrefs.bib
@@ -39,6 +39,21 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@article{vHHOS25,
+  title     = {Convex Language Semantics for Nondeterministic Probabilistic Automata},
+  author    = {van Heerdt, Gerco and
+               Hsu, Justin and
+               Ouaknine, Jo\"el and
+               Silva, Alexandra},
+  year      = {2025},
+  jh        = yes,
+  jhsite        = yes,
+  reviewed  = yes,
+  journal = {Theoretical Computer Science},
+  doi       = {10.1016/j.tcs.2025.115191},
+  note    = "Previously published in " # ictac18 # ", 2018."
+}
+
 @article{BPHR24,
   title  = {Data-Driven Invariant Learning for Probabilistic Programs},
   author = {Bao, Jialu and
@@ -1454,6 +1469,15 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{chocola25-talk,
+  title = {Type Systems for Numerical Error Analysis},
+  organization = {{CHoCoLa} Seminar, {ENS} Lyon},
+  year = 2025,
+  month = feb,
+  jh = yes,
+}
+
+
 @talk{kent24-talk,
   title = {Type Systems for Numerical Error Analysis},
   organization = {Programming Languages and Systems ({PLAS}) Seminar, University of Kent},