diff --git a/publications.md b/publications.md index 0030bfd..163289d 100644 --- a/publications.md +++ b/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 #####