Reverse the order of the publications and add the bibs

Author: sonmarcho

publications.markdown

@@ -4,6 +4,15 @@ title: Publications
 permalink: /publications/
 ---
 
-* [Aeneas: Rust verification by functional translation](https://dl.acm.org/doi/10.1145/3547647), Son Ho, Jonathan Protzenko, _International Conference on Functional Programming (ICFP), 2022_. [Long version](https://arxiv.org/abs/2206.07185).
-* [Sound Borrow-Checking for Rust via Symbolic Semantics](https://dl.acm.org/doi/10.1145/3674640), Son Ho, Aymeric Fromherz, Jonathan Protzenko, _International Conference on Functional Programming (ICFP), 2024_. [Long version](https://arxiv.org/abs/2404.02680).
-* [Charon: An Analysis Framework for Rust](https://arxiv.org/abs/2410.18042), Son Ho, Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan Protzenko, _Preprint, 2024_.
+* [Charon: An Analysis Framework for Rust](https://arxiv.org/abs/2410.18042), Son Ho,
+  Guillaume Boisseau, Lucas Franceschino, Yoann Prak, Aymeric Fromherz, Jonathan
+  Protzenko, _Preprint, 2024_.
+  \[ [bib](publications_bib.html#ho2024charon) | [long version](https://arxiv.org/abs/2404.02680) \].
+* [Sound Borrow-Checking for Rust via Symbolic
+  Semantics](https://dl.acm.org/doi/10.1145/3674640), Son Ho, Aymeric Fromherz, Jonathan
+  Protzenko, _International Conference on Functional Programming (ICFP), 2024_.
+  \[ [bib](publications_bib.html#ho2024rust) \].
+* [Aeneas: Rust verification by functional
+  translation](https://dl.acm.org/doi/10.1145/3547647), Son Ho, Jonathan Protzenko,
+  _International Conference on Functional Programming (ICFP), 2022_. 
+  \[ [bib](publications_bib.html#ho2022aeneas) | [long version](https://arxiv.org/abs/2206.07185)\].

publications/publications_bib.markdown

@@ -0,0 +1,57 @@
+---
+layout: default
+---
+<a name="ho2024charon"></a>
+```
+@misc{ho2024charon,
+      title={Charon: An Analysis Framework for Rust}, 
+      author={Son Ho and Guillaume Boisseau and Lucas Franceschino and Yoann Prak and Aymeric Fromherz and Jonathan Protzenko},
+      year={2024},
+      eprint={2410.18042},
+      archivePrefix={arXiv},
+      primaryClass={cs.PL},
+      url={https://arxiv.org/abs/2410.18042}, 
+}
+```
+
+<a name="ho2024rust"></a>
+```
+@article{ho2024rust,
+  author = {Ho, Son and Fromherz, Aymeric and Protzenko, Jonathan},
+  title = {Sound Borrow-Checking for Rust via Symbolic Semantics},
+  year = {2024},
+  issue_date = {August 2024},
+  publisher = {Association for Computing Machinery},
+  address = {New York, NY, USA},
+  volume = {8},
+  number = {ICFP},
+  url = {https://doi.org/10.1145/3674640},
+  doi = {10.1145/3674640},
+  journal = {Proc. ACM Program. Lang.},
+  month = {aug},
+  articleno = {251},
+  numpages = {29},
+  keywords = {Rust, Semantics, Verification}
+}
+```
+
+<a name="ho2022aeneas"></a>
+```
+@article{ho2022aeneas,
+  author = {Ho, Son and Protzenko, Jonathan},
+  title = {Aeneas: Rust verification by functional translation},
+  year = {2022},
+  issue_date = {August 2022},
+  publisher = {Association for Computing Machinery},
+  address = {New York, NY, USA},
+  volume = {6},
+  number = {ICFP},
+  url = {https://doi.org/10.1145/3547647},
+  doi = {10.1145/3547647},
+  journal = {Proc. ACM Program. Lang.},
+  month = {aug},
+  articleno = {116},
+  numpages = {31},
+  keywords = {verification, functional translation, Rust}
+}
+```