Add OOPSLA'24 papers

Author: yzyzsun

_data/alumni.yml

@@ -24,3 +24,5 @@
   link: https://vinalx.github.io/
 - name: Dr. Xuejing (Snow) Huang
   link: https://xsnow.github.io/
+- name: Wenjia Ye
+  link: https://yewenjia.github.io/

_data/highlight.yml

@@ -1,5 +1,8 @@
 - description: This line of work explores the theoretical aspects of the <i>merge operator</i> and develops novel notions such as <i>disjoint intersection types</i>, <i>disjoint polymorphism</i>, <i>nested composition</i>, <i>disjoint switches</i>, <i>type difference</i>, <i>dependent merges</i>, and <i>type-directed operational semantics</i>.
   papers:
+    - title: A Case for First-Class Environments
+      conf: OOPSLA'24
+      link: https://i.cs.hku.hk/~bruno/papers/oopsla24_first.pdf
     - title: Dependent Merges and First-Class Environments
       conf: ECOOP'23
       link: https://i.cs.hku.hk/~bruno/papers/ecoop23.pdf
@@ -38,6 +41,9 @@
       link: https://i.cs.hku.hk/~bruno/papers/icfp2016.pdf
 - description: <i>Compositional Programming</i>, based on calculi with the merge operator and first-class traits, is a new statically-typed programming paradigm that addresses challenges like the Expression Problem and improves the modularity and extensibility of domain-specific languages.
   papers:
+    - title: Imperative Compositional Programming
+      conf: OOPSLA'24
+      link: https://i.cs.hku.hk/~bruno/papers/oopsla24_imperative.pdf
     - title: Compositional Embeddings of Domain-Specific Languages
       conf: OOPSLA'22
       link: https://i.cs.hku.hk/~bruno/papers/oopsla22extended.pdf
@@ -52,6 +58,9 @@
       link: https://i.cs.hku.hk/~bruno/papers/traits.pdf
 - description: Our work proposes a new formalization of <i>iso-recursive subtyping</i> and investigates its integration with various language features.
   papers:
+    - title: Full Iso-Recursive Types
+      conf: OOPSLA'24
+      link: https://i.cs.hku.hk/~bruno/papers/oopsla24_full.pdf
     - title: Recursive Subtyping for All
       conf: POPL'23
       link: https://i.cs.hku.hk/~bruno/papers/popl23recursive_extended.pdf
@@ -91,15 +100,15 @@
       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: Merging Gradual Typing
+      conf: OOPSLA'24
+      link: https://i.cs.hku.hk/~bruno/papers/oopsla24_gradual.pdf
     - 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
-    - title: Type-Directed Operational Semantics for Gradual Typing
-      conf: ECOOP'21
-      link: https://i.cs.hku.hk/~bruno/papers/ecoop2021.pdf
     - title: Consistent Subtyping for All
       conf: TOPLAS
       link: https://i.cs.hku.hk/~bruno/papers/consistentTOPLAS.pdf

_data/students.yml

@@ -1,9 +1,6 @@
 - name: Yaozhu Sun
   title: PhD student, 2019-
   link: https://yzsun.me/
-- name: Wenjia Ye
-  title: PhD student, 2019-
-  link: https://yewenjia.github.io/
 - name: Xu Xue
   title: PhD student, 2020-
   link: https://juniorxxue.github.io/

index.html

@@ -15,7 +15,7 @@ <h2>Research Highlights</h2>
       {% for pi in work.papers %}
       <li>
         <a href="{{ pi.link }}">{{ pi.title }}</a>
-        <small>{{ pi.conf }}</small>
+        <small>- {{ pi.conf }}</small>
       </li>
       {% endfor %}
     </ul>