Gan Shen -

Registered user since Wed 30 Aug 2023

Name:Gan Shen

Country:United States

Affiliation:University of California at Santa Cruz

Personal website: https://gshen42.github.io

Contributions

2025

PLDI

Author of Efficient, Portable, Census-Polymorphic Choreographic Programming within the PLDI Research Papers-track

2024

Choreographic Programming

Author of Toward Verified Library-Level Choreographic Programming with Algebraic Effects within the Choreographic Programming 2024-track

2023

ICFP

Author of HasChor: Functional Choreographic Programming for All (Artifact) within the Artifact Evaluation-track
Author of HasChor: Functional Choreographic Programming for All (Functional Pearl) within the ICFP Papers and Events-track

POPL

Author of HasChor: Choreographic Programming in Haskell within the Student Research Competition-track

2021

HATRA