Toward Hole-Driven Development with Liquid Haskell. - Patrick Redmond; Gan Shen; Lindsey Kuper (CoRR, 2021)

Toward SMT-Based Refinement Types in Agda. - Gan Shen; Lindsey Kuper (CoRR, 2021)

Verified Causal Broadcast with Liquid Haskell. - Patrick Redmond; Gan Shen; Niki Vazou; Lindsey Kuper (IFL, 2022)

Portable, Efficient, and Practical Library-Level Choreographic Programming. - Shun Kashiwa; Gan Shen; Soroush Zare; Lindsey Kuper (CoRR, 2023)

HasChor: Functional Choreographic Programming for All (Functional Pearl). - Gan Shen; Shun Kashiwa; Lindsey Kuper (Proc. ACM Program. Lang., 2023)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects. - Gan Shen; Lindsey Kuper (CoRR, 2024)

Efficient, Portable, Census-Polymorphic Choreographic Programming. - Mako Bates; Shun Kashiwa; Syed Jafri; Gan Shen; Lindsey Kuper; Joseph P. Near (Proc. ACM Program. Lang., 2025)

Freer Arrows and Why You Need Them in Haskell. - Grant VanDomelen; Gan Shen; Lindsey Kuper; Yao Li (CoRR, 2025)