Shu-Hung You

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 6

Top Topics

Symbolic Execution

Top Venues

Proc. ACM Program. Lang.

Publications

Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas
A Calculus for Unreachable Code. CoRR (2024)
Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
Sound and Complete Concolic Testing for Higher-order Functions. ESOP (2021)
Shu-Hung You, Robert Bruce Findler, Christos Dimoulas
Dynamic Symbolic Execution of Higher-Order Functions. CoRR (2020)
Spencer P. Florence, Shu-Hung You, Jesse A. Tov, Robert Bruce Findler
A calculus for Esterel: if can, can. if no can, no can. Proc. ACM Program. Lang. 3 (POPL) (2019)
Vincent St-Amour, Daniel Feltey, Spencer P. Florence, Shu-Hung You, Robert Bruce Findler
Herbarium Racketensis: a stroll through the woods (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You
Modular reifiable matching: a list-of-functors approach to two-level types. Haskell (2015)