Reorder ref and remove \rm

Author: sakehl

static/references.bib

@@ -1,21 +1,3 @@
-@InProceedings{sakar2026deductiveverificationweakmemory,
-      title={Deductive Verification of Weak Memory Programs with View-based Protocols}, 
-      author={\c{S}akar, \"Omer and Chakraborty, Soham and Huisman, Marieke},
-      year={2026},
-      booktitle=" 32nd International Symposium on Model Checking Software, SPIN 2026",
-      doi={10.48550/arXiv.2604.21084},
-      url={https://arxiv.org/abs/2604.21084},
-}
-
-@InProceedings{nauta2026crashfreedeductiveverifiers,
-      title={Crash-free Deductive Verifiers}, 
-      author={Wander Nauta and Marcus Gerhold and Marieke Huisman},
-      year={2026},
-      booktitle=" 32nd International Symposium on Model Checking Software, SPIN 2026",
-      doi={/10.48550/arXiv.2604.19448},
-      url={https://arxiv.org/abs/2604.19448}, 
-}
-
 @InProceedings{10.1007/978-3-032-32519-8_5,
 author="van den Haak, Lars B.
 and Wijs, Anton
@@ -48,14 +30,32 @@ @article{tascheDeductiveReasoningEmbedded2026
   keywords = {Abstraction refinement,Deductive verification,Embedded systems,Invariant generation},
 }
 
+@InProceedings{sakar2026deductiveverificationweakmemory,
+      title={Deductive Verification of Weak Memory Programs with View-based Protocols}, 
+      author={\c{S}akar, \"Omer and Chakraborty, Soham and Huisman, Marieke},
+      year={2026},
+      booktitle=" 32nd International Symposium on Model Checking Software, SPIN 2026",
+      doi={10.48550/arXiv.2604.21084},
+      url={https://arxiv.org/abs/2604.21084},
+}
+
+@InProceedings{nauta2026crashfreedeductiveverifiers,
+      title={Crash-free Deductive Verifiers}, 
+      author={Wander Nauta and Marcus Gerhold and Marieke Huisman},
+      year={2026},
+      booktitle=" 32nd International Symposium on Model Checking Software, SPIN 2026",
+      doi={/10.48550/arXiv.2604.19448},
+      url={https://arxiv.org/abs/2604.19448}, 
+}
+
 @inproceedings{10.1145/3759251,
   author    = {Dubbeling, Tycho and Huisman, Marieke and \c{S}akar, \"Omer},
   year      = {2026},
   title     = {Predicate Subtypes in VerCors},
   editor    = {Peters, Kirstin and Gheri, Lorenzo},
-  booktitle = {{\rm Proceedings 17th Workshop on}
+  booktitle = {{Proceedings 17th Workshop on}
                Programming Language Approaches to Concurrency and Communication-cEntric Software,
-               {\rm Turin, Italy, 11th April 2026}},
+               {Turin, Italy, 11th April 2026}},
   series    = {Electronic Proceedings in Theoretical Computer Science},
   volume    = {444},
   publisher = {Open Publishing Association},