Gan Shen
Email: gshen42@ucsc.edu
I'm a 6th-year PhD candidate (expected to graduate in 2026) in Computer Science at University of California, Santa Cruz, advised by Lindsey Kuper in the LSD lab. My research lies in programming languages and formal methods, focusing on their applications to building reliable software systems.
Specifically, I work on choreographic programming, a paradigm for programming distributed systems in which the entire system is expressed as a single program and then projected into separate programs for each node. In this way, interactions between nodes are manifest and guaranteed to be deadlock-free. We developed HasChor, an embedded domain-specific language in Haskell for choreographic programming, to experiment with language design and build real-world distributed systems.
Freer arrows and why you need them in Haskell
Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li
Haskell Symposium 2025
Efficient, Portable, Census-Polymorphic Choreographic Programming
Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near
PLDI 2025
Toward Verified Library-Level Choreographic Programming with Algebraic Effects
Gan Shen, Lindsey Kuper
CP 2024
HasChor: Functional Choreographic Programming for All (Functional Pearl)
Gan Shen, Shun Kashiwa, Lindsey Kuper
ICFP 2023 (Distinguished Paper Award)
Verified Causal Broadcast with Liquid Haskell
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
IFL 2022
Toward Hole-Driven Development with Liquid Haskell
Patrick Redmond, Gan Shen, Lindsey Kuper
HATRA 2021
Toward SMT-Based Refinement Types in Agda
Gan Shen, Lindsey Kuper
HATRA 2021
Parameters extraction for equivalent circuit model based on artificial intelligence
Linchun Liu, Zhimin Guan, Gan Shen, Peng Zhao, Gaofeng Wang
ICCEM 2019
At UC Santa Cruz, as a teaching assistant: