Travelled to:1 × Sweden
Collaborated with:N.Ubayashi D.Ai P.Li S.Hosoai Y.Kamei
Talks about:abstract (1) verifi (1) compil (1) anoth (1) awar (1) yet (1) mdd (1)
Person: Yu Ning Li
DBLP: Li:Yu_Ning
Contributed to:
2014Wrote 1 papers:
- ASE-2014-UbayashiALLHK #compilation #verification
- Abstraction-aware verifying compiler for yet another MDD (NU, DA, PL, YNL, SH, YK), pp. 557–562.