Shu-Hung You

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

Collaborative distances:

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

2025

The Agda standard library: version 2.0.

Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. s. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke

J. Open Source Softw., December, 2025

Contract System Metatheories à la Carte: A Transition-System View of Contracts.

Shu-Hung You, Christos Dimoulas, Robert Bruce Findler

Proc. ACM Program. Lang., 2025

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