add highlights

Author: juniorxxue

_data/highlight.yml

@@ -61,8 +61,11 @@
     - title: Revisiting Iso-Recursive Subtyping
       conf: TOPLAS
       link: https://i.cs.hku.hk/~bruno/papers/toplas2022.pdf
-- description: Our work proposes a variant of bidirectional typing and a new mechanized proof technique, both of which give solutions to type inference for <i>higher-ranked polymorphism</i>.
+- description: Our work improves upon <i>bidirectional typing</i> and proposes a new mechanized <i>type inference</i> technique.
   papers:
+    - title: Contextual Typing
+      conf: ICFP'24
+      link: https://i.cs.hku.hk/~bruno/papers/icfp24.pdf
     - title: Greedy Implicit Bounded Quantification
       conf: OOPSLA'23
       link: https://i.cs.hku.hk/~bruno/papers/oopsla23.pdf
@@ -88,6 +91,9 @@
       link: https://i.cs.hku.hk/~bruno/papers/oopsla17.pdf
 - description: Our work presents a generalized definition of consistent subtyping in gradually-typed calculi with implicit polymorphism and applies type-directed operational semantics to <i>gradual typing</i>.
   papers:
+    - title: Type-Directed Operational Semantics for Gradual Typing
+      conf: JFP
+      link: https://i.cs.hku.hk/~bruno/papers/jfp24.pdf
     - title: Pragmatic Gradual Polymorphism with References
       conf: ESOP'23
       link: https://i.cs.hku.hk/~bruno/papers/esop23.pdf