Travelled to:1 × France
1 × USA
Collaborated with:T.Chen Y.Chen W.Hu Q.Guo Y.Wu Y.Lv P.Wang H.Pan
Talks about:verif (2) predict (1) consist (1) complet (1) memori (1) design (1) empir (1) fast (1) bug (1)
Person: Haihua Shen
DBLP: Shen:Haihua
Contributed to:
2011
2009Wrote 2 papers:
- DATE-2011-GuoCSCWH #debugging #design #empirical #predict #verification
- Empirical design bugs prediction for verification (QG, TC, HS, YC, YW, WH), pp. 161–166.
- HPCA-2009-ChenLHCSWP #consistency #memory management #performance #verification
- Fast complete memory consistency verification (YC, YL, WH, TC, HS, PW, HP), pp. 381–392.