Login / Signup
Gan Shen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Top Topics
Plagiarism Detection
Functional Analysis
Boundary Conditions
Computationally Expensive
Top Venues
CoRR
Proc. ACM Program. Lang.
</>
Publications
</>
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.
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)