Tweak bibs.

2018-05-23 23:05:50 -04:00
parent a11179a6ed
commit 2fb6ce9dd3
2 changed files with 18 additions and 15 deletions
@@ -95,6 +95,21 @@
 }

 %%%%%%%%%%%%%%%%%%%%%%%%%%%% CONFERENCES %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+@inproceedings{AH18,
+  title     = {Constraint-Based Synthesis of Coupling Proofs},
+  author    = {Albarghouthi, Aws and
+               Hsu, Justin},
+  year      = {2018},
+  note      = "To appear.",
+  jh        = yes,
+  reviewed  = yes,
+  booktitle = cav18,
+  url       = {https://arxiv.org/abs/1804.04052},
+  eprint    = {1804.04052},
+  archivePrefix = {arXiv},
+  primaryClass  = {cs.PL},
+}
+
@inproceedings{ABHS18,
  title    = {Almost Sure Productivity},
  author   = {Aguirre, Alejandro and
@@ -112,21 +127,6 @@
  note     = "To appear.",
 }

-@inproceedings{AH18,
-  title     = {Constraint-Based Synthesis of Coupling Proofs},
-  author    = {Albarghouthi, Aws and
-               Hsu, Justin},
-  year      = {2018},
-  note      = "To appear.",
-  jh        = yes,
-  reviewed  = yes,
-  booktitle = cav18,
-  url       = {https://arxiv.org/abs/1804.04052},
-  eprint    = {1804.04052},
-  archivePrefix = {arXiv},
-  primaryClass  = {cs.PL},
-}
-
@inproceedings{BEGGHS16,
  title  = {An Assertion-Based Program Logic for Probabilistic Programs},
  author = {Barthe, Gilles and