bib

bibs/myrefs.bib

@@ -27,6 +27,26 @@
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% JOURNALS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@article{BPHR24,
+  title  = {Data-Driven Invariant Learning for Probabilistic Programs},
+  author = {Bao, Jialu and
+            Trivedi, Nitesh and
+            Pathak, Drashti and
+            Hsu, Justin and
+            Roy, Subhajit},
+  url    = {https://arxiv.org/abs/2106.05421},
+  eprint = {2106.05421},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+  journal     = {Formal Methods in System Design},
+  year   = 2024,
+  doi    = {10.1007/s10703-024-00466-x},
+  jh     = yes,
+  jhsite = yes,
+  reviewed  = yes,
+  note    = "Previously published in " # cav22 # ", 2022."
+}
+
 @article{lmcs:5989,
   TITLE = {Relational $\star$-Liftings for Differential Privacy},
   AUTHOR = {Barthe, Gilles and Espitau, Thomas and Hsu, Justin and Sato, Tetsuya and Strub, Pierre-Yves},
@@ -207,7 +227,7 @@
   note   = "Appeared at " # oopsla22 # ".",
 }
 
-@inproceedings{BPHR21,
+inproceedings{BPHR21,
   title  = {Data-Driven Invariant Learning for Probabilistic Programs},
   author = {Bao, Jialu and
             Trivedi, Nitesh and
@@ -1422,6 +1442,14 @@ inproceedings{HHRRW14,
 }
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% TALKS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@talk{presburger-talk,
+  title = {Logics for Separation in Randomized Programs},
+  organization = {{EATCS} Presburger Award},
+  year = 2024,
+  month = jul,
+  jh = yes,
+}
+
 @talk{njpls23-talk,
   title = {Cutting the Cake: A Language for Fair Division},
   organization = {New Jersey Programming Languages and Systems Seminar ({NJPLS})},