From 3a996732d362b25cb80490b15b72c13ec9f8900c Mon Sep 17 00:00:00 2001 From: gshen42 Date: Thu, 23 May 2024 04:50:47 +0000 Subject: [PATCH] regenerate after: Update Guannan's talk info --- index.xml | 14 ++++++++++++-- lsd-seminar/2024sp/index.html | 14 ++++++++++++-- themes/academic | 1 + 3 files changed, 25 insertions(+), 4 deletions(-) create mode 160000 themes/academic diff --git a/index.xml b/index.xml index 8ece56b..484105d 100644 --- a/index.xml +++ b/index.xml @@ -82,9 +82,9 @@ </tr> <tr> -<td>May 24</td> +<td><a href="#may-24">May 24</a></td> <td>Guannan Wei</td> -<td><em>TBD</em></td> +<td>Types and Metaprogramming for Correct, Safe, and Performant Software Systems</td> </tr> <tr> @@ -207,6 +207,16 @@ And at ECOOP 2023: <a href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.12& <p><strong>Bio:</strong> Zach Sisco is a PhD candidate at UC Santa Barbara. He is advised by Professors Jonathan Balkind and Ben Hardekopf. Zach&rsquo;s research is about applying solver-aided programming techniques to problems in hardware design. His website is: <a href="https://zsisco.github.io/" rel="noreferrer" target="_blank">https://zsisco.github.io/</a></p> +<h2 id="may-24">May 24</h2> + +<p><strong>Speaker:</strong> Guannan Wei</p> + +<p><strong>Title:</strong> Types and Metaprogramming for Correct, Safe, and Performant Software Systems</p> + +<p><strong>Abstract:</strong> In this talk, I will present some novel directions to build correct, safe, and performant software systems using programming languages and metaprogramming techniques. In the first part of the talk, I will present reachability type systems, a family of static type systems to track sharing, separation, and side effects in higher-order imperative programs. Reachability types lead to a smooth combination of Rust-style ownership types with higher-level programming abstractions (such as first-class functions). In the second part, I will discuss how metaprogramming techniques can help build correct, flexible, and performant program analyzers. I will present GenSym, a parallel symbolic-execution compiler that is derived from a high-level definitional symbolic interpreter using program generation techniques. GenSym generates code in continuation-passing style to perform parallel symbolic execution of LLVM IR programs, and significantly outperforms similar state-of-the-art tools. The talk also covers my future research plan to apply reachability types in designing languages for quantum computing.</p> + +<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> + <hr /> <p><a href="../">Archive</a></p> diff --git a/lsd-seminar/2024sp/index.html b/lsd-seminar/2024sp/index.html index ba05091..1a89449 100644 --- a/lsd-seminar/2024sp/index.html +++ b/lsd-seminar/2024sp/index.html @@ -263,9 +263,9 @@

Languages, Systems, and Data Seminar (Spring 2024)

-May 24 +May 24 Guannan Wei -TBD +Types and Metaprogramming for Correct, Safe, and Performant Software Systems @@ -388,6 +388,16 @@

May 17

Bio: Zach Sisco is a PhD candidate at UC Santa Barbara. He is advised by Professors Jonathan Balkind and Ben Hardekopf. Zach’s research is about applying solver-aided programming techniques to problems in hardware design. His website is: https://zsisco.github.io/

+

May 24

+ +

Speaker: Guannan Wei

+ +

Title: Types and Metaprogramming for Correct, Safe, and Performant Software Systems

+ +

Abstract: In this talk, I will present some novel directions to build correct, safe, and performant software systems using programming languages and metaprogramming techniques. In the first part of the talk, I will present reachability type systems, a family of static type systems to track sharing, separation, and side effects in higher-order imperative programs. Reachability types lead to a smooth combination of Rust-style ownership types with higher-level programming abstractions (such as first-class functions). In the second part, I will discuss how metaprogramming techniques can help build correct, flexible, and performant program analyzers. I will present GenSym, a parallel symbolic-execution compiler that is derived from a high-level definitional symbolic interpreter using program generation techniques. GenSym generates code in continuation-passing style to perform parallel symbolic execution of LLVM IR programs, and significantly outperforms similar state-of-the-art tools. The talk also covers my future research plan to apply reachability types in designing languages for quantum computing.

+ +

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.

+

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