Add badges and fix

publications.md

@@ -13,30 +13,33 @@ displayed_years:
 publications:
 
 ##### 2024 #####
-  - year: 2024
-    title: "Decidable Subtyping of Existential Types for Julia"
-    authors: "Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek"
-    publication: "ACM SIGPLAN Conference on Programming Language Design and Implementation"
-    short_publication: "PLDI'24"
-    links:
-    - text: PDF
-      link: "https://julbinb.github.io/files/papers/pldi2024_dec-julia-sub_extended.pdf"
-    grants:
-    - ELE
-    - BC
+ - year: 2024
+   title: "Decidable Subtyping of Existential Types for Julia"
+   authors: "Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek"
+   publication: "ACM SIGPLAN Conference on Programming Language Design and Implementation"
+   short_publication: "PLDI'24"
+   links:
+   - text: PDF
+     link: "https://julbinb.github.io/files/papers/pldi2024_dec-julia-sub_extended.pdf"
+   grants:
+   - ELE
+   - BC
 
 ##### 2023 #####
-  - year: 2023
-    title: "Reusing Just-in-Time Compiled Code"
-    authors: "Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek"
-    publication: "Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity"
-    short_publication: "OOPSLA'23"
-    links:
-    - text: PDF
-      link: "https://dl.acm.org/doi/10.1145/3622839"
-    grants:
-    - ELE
-    - BC
+ - year: 2023
+   title: "Reusing Just-in-Time Compiled Code"
+   authors: "Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek"
+   publication: "Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity"
+   short_publication: "OOPSLA'23"
+   badges:
+   - "acm_artifact_available"
+   - "acm_artifact_evaluated_reusable"
+   links:
+   - text: PDF
+     link: "https://dl.acm.org/doi/10.1145/3622839"
+   grants:
+   - ELE
+   - BC
 
 
 ##### 2022 #####