• Sign in
  • Sign up
conf.researchr.org / Gan Shen
  • ICFP 2023 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2023 profile
  • SPLASH 2021 profile
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

  • Author of Toward SMT-Based Refinement Types in Agda within the HATRA 2021-track
  • Author of Toward Hole-Driven Development with Liquid Haskell within the HATRA 2021-track
Share
xTue 17 Jun 18:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up