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