Shu-Hung You

According to our database1, Shu-Hung You authored at least 5 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Sound and Complete Concolic Testing for Higher-order Functions.
Proceedings of the Programming Languages and Systems, 2021

2020
Dynamic Symbolic Execution of Higher-Order Functions.
CoRR, 2020

2019
A calculus for Esterel: if can, can. if no can, no can.
Proc. ACM Program. Lang., 2019

2017
Herbarium Racketensis: a stroll through the woods (functional pearl).
Proc. ACM Program. Lang., 2017

2015
Modular reifiable matching: a list-of-functors approach to two-level types.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015


  Loading...