Collaborated with:
J.H.0001
Talks about:
reduct (2) causal (2) maxim (2) analysi (1) static (1) depend (1) speed (1) tso (1) pso (1) up (1)
Person: Shiyou Huang
DBLP: Huang:Shiyou
Contributed to:
Wrote 2 papers:
- OOPSLA-2016-Huang0 #reduction
- Maximal causality reduction for TSO and PSO (SH, JH0), pp. 447–461.
- ECOOP-2017-Huang0 #analysis #dependence #reduction
- Speeding Up Maximal Causality Reduction with Static Dependency Analysis (SH, JH0), p. 22.