Skip to content

Commit

Permalink
regenerate after: Cancel the last talk
Browse files Browse the repository at this point in the history
  • Loading branch information
gshen42 committed Jun 6, 2024
1 parent 7fb5a34 commit 40bec56
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 22 deletions.
14 changes: 3 additions & 11 deletions index.xml
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Expand Down Expand Up @@ -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>
Expand Down
14 changes: 3 additions & 11 deletions lsd-seminar/2024sp/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -275,9 +275,9 @@ <h1 itemprop="name">Languages, Systems, and Data Seminar (Spring 2024)</h1>
</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>
Expand Down Expand Up @@ -398,14 +398,6 @@ <h2 id="may-24">May 24</h2>

<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>
Expand Down
1 change: 1 addition & 0 deletions themes/academic
Submodule academic added at 8d596f

0 comments on commit 40bec56

Please sign in to comment.