Modular reifiable matching: a list-of-functors approach to two-level types. - Bruno C. d. S. Oliveira; Shin-Cheng Mu; Shu-Hung You (Haskell, 2015)

Herbarium Racketensis: a stroll through the woods (functional pearl). - Vincent St-Amour; Daniel Feltey; Spencer P. Florence; Shu-Hung You; Robert Bruce Findler (Proc. ACM Program. Lang., 2017)

A calculus for Esterel: if can, can. if no can, no can. - Spencer P. Florence; Shu-Hung You; Jesse A. Tov; Robert Bruce Findler (Proc. ACM Program. Lang., 2019)

Dynamic Symbolic Execution of Higher-Order Functions. - Shu-Hung You; Robert Bruce Findler; Christos Dimoulas (CoRR, 2020)

Sound and Complete Concolic Testing for Higher-order Functions. - Shu-Hung You; Robert Bruce Findler; Christos Dimoulas (ESOP, 2021)

A Calculus for Unreachable Code. - Peter Zhong; Shu-Hung You; Simone Campanoni; Robert Bruce Findler; Matthew Flatt; Christos Dimoulas (CoRR, 2024)