Gan Shen

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Plagiarism Detection

Programming Language

Causal Relations

Top Venues

Proc. ACM Program. Lang.

Publications

Gan Shen, Lindsey Kuper
Toward Verified Library-Level Choreographic Programming with Algebraic Effects. CoRR (2024)
Gan Shen, Shun Kashiwa, Lindsey Kuper
HasChor: Functional Choreographic Programming for All (Functional Pearl). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Gan Shen, Shun Kashiwa, Lindsey Kuper
HasChor: Functional Choreographic Programming for All (Functional Pearl). CoRR (2023)
Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper
Portable, Efficient, and Practical Library-Level Choreographic Programming. CoRR (2023)
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
Verified Causal Broadcast with Liquid Haskell. IFL (2022)
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
Verified Causal Broadcast with Liquid Haskell. CoRR (2022)
Gan Shen, Lindsey Kuper
Toward SMT-Based Refinement Types in Agda. CoRR (2021)
Patrick Redmond, Gan Shen, Lindsey Kuper
Toward Hole-Driven Development with Liquid Haskell. CoRR (2021)