Shu-Hung You

According to our database, Shu-Hung You authored at least 6 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Calculus for Unreachable Code.

Peter Zhong, Shu-Hung You, Simone Campanoni, Robert Bruce Findler, Matthew Flatt, Christos Dimoulas

CoRR, 2024

2021

Sound and Complete Concolic Testing for Higher-order Functions.

Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

Proceedings of the Programming Languages and Systems, 2021

2020

Dynamic Symbolic Execution of Higher-Order Functions.

Shu-Hung You, Robert Bruce Findler, Christos Dimoulas

CoRR, 2020

2019

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

2017

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

2015

Modular reifiable matching: a list-of-functors approach to two-level types.

Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015