Travelled to:1 × China
1 × Italy
1 × Portugal
1 × United Kingdom
2 × USA
Collaborated with:Y.Zou P.T.Eugster Q.Zhang Z.Su F.Khomh L.Barbour S.Cetintas L.Si M.R.Lyu X.Xiao C.Zhang
Talks about:algorithm (2) reachabl (2) analysi (2) effici (2) dyck (2) alia (2) cfl (2) techniqu (1) platform (1) resourc (1)
Person: Hao Yuan
DBLP: Yuan:Hao
Contributed to:
2014
2013
2012
2010
2009
2009Wrote 6 papers:
- OOPSLA-2014-ZhangXZYS #alias #analysis #c #performance
- Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.
- PLDI-2013-ZhangLYS #algorithm #alias #analysis #performance
- Fast algorithms for Dyck-CFL-reachability with applications to alias analysis (QZ, MRL, HY, ZS), pp. 435–446.
- ICSM-2012-KhomhYZ #adaptation #android #empirical #linux #mobile #platform
- Adapting Linux for mobile platforms: An empirical study of Android (FK, HY, YZ), pp. 629–632.
- ICPC-2010-BarbourYZ #clone detection #detection #scalability
- A Technique for Just-in-Time Clone Detection in Large Scale Systems (LB, HY, YZ), pp. 76–79.
- CIKM-2009-CetintasSY #learning #query
- Learning from past queries for resource selection (SC, LS, HY), pp. 1867–1870.
- ESOP-2009-YuanE #algorithm #performance #problem #reachability
- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees (HY, PTE), pp. 175–189.