diff --git a/index.xml b/index.xml index 63d20ee..8a3c2b9 100644 --- a/index.xml +++ b/index.xml @@ -94,9 +94,9 @@ </tr> <tr> -<td><a href="#june-7">June 7</a></td> -<td>Shun Kashiwa and Gan Shen</td> -<td><em>Two practice talks for</em> <a href="https://pldi24.sigplan.org/home/cp-2024#About" rel="noreferrer" target="_blank">CP 2024</a></td> +<td>June 7</td> +<td>Canceled</td> +<td></td> </tr> </tbody> </table> @@ -217,14 +217,6 @@ And at ECOOP 2023: <a href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.12& <p><strong>Bio:</strong> Guannan Wei is a postdoctoral researcher at Purdue University. He will join Tufts University as a tenure-track assistant professor in Fall 2025. His research interests lie in programming languages and software engineering. His contributions have been published in flagship programming languages and software engineering venues, such as POPL, OOPSLA, ICFP, ECOOP, ICSE, and ESEC/FSE. Guannan received his PhD degree (2023) in Computer Science from Purdue University, advised by Tiark Rompf. More of Guannan’s work can be found at <a href="https://continuation.passing.style" rel="noreferrer" target="_blank">https://continuation.passing.style</a>.</p> -<h2 id="june-7">June 7</h2> - -<p><strong>Speaker:</strong> Shun Kashiwa and Gan Shen</p> - -<p><strong>Title:</strong> <em>Two practice talks for</em> <a href="https://pldi24.sigplan.org/home/cp-2024#About" rel="noreferrer" target="_blank">CP 2024</a></p> - -<p><strong>Abstract:</strong> Abstracts for the relevant papers can be found <a href="https://pldi24.sigplan.org/details/cp-2024-papers/6/ChoRus-Library-Level-Choreographic-Programming-in-Rust" rel="noreferrer" target="_blank">here</a> and <a href="https://pldi24.sigplan.org/details/cp-2024-papers/3/Toward-Verified-Library-Level-Choreographic-Programming-with-Algebraic-Effects" rel="noreferrer" target="_blank">here</a>.</p> - <hr /> <p><a href="../">Archive</a></p> diff --git a/lsd-seminar/2024sp/index.html b/lsd-seminar/2024sp/index.html index e6e69e1..5083896 100644 --- a/lsd-seminar/2024sp/index.html +++ b/lsd-seminar/2024sp/index.html @@ -275,9 +275,9 @@

Languages, Systems, and Data Seminar (Spring 2024)

-June 7 -Shun Kashiwa and Gan Shen -Two practice talks for CP 2024 +June 7 +Canceled + @@ -398,14 +398,6 @@

May 24

Bio: Guannan Wei is a postdoctoral researcher at Purdue University. He will join Tufts University as a tenure-track assistant professor in Fall 2025. His research interests lie in programming languages and software engineering. His contributions have been published in flagship programming languages and software engineering venues, such as POPL, OOPSLA, ICFP, ECOOP, ICSE, and ESEC/FSE. Guannan received his PhD degree (2023) in Computer Science from Purdue University, advised by Tiark Rompf. More of Guannan’s work can be found at https://continuation.passing.style.

-

June 7

- -

Speaker: Shun Kashiwa and Gan Shen

- -

Title: Two practice talks for CP 2024

- -

Abstract: Abstracts for the relevant papers can be found here and here.

-

Archive

diff --git a/themes/academic b/themes/academic new file mode 160000 index 0000000..8d596ff --- /dev/null +++ b/themes/academic @@ -0,0 +1 @@ +Subproject commit 8d596ffed2d080010c561679cf4e9b4da1554781