Collaborated with:M.Madsen O.Lhoták Olivier Flückiger G.Scherer Aviral Goel A.Ahmed J.Vitek
Talks about:languag (1) deoptim (1) datalog (1) correct (1) specul (1) lattic (1) declar (1) point (1) optim (1) dynam (1)
Person: Ming-Ho Yee
DBLP: Yee:Ming=Ho
Contributed to:
2016
2018Wrote 2 papers:
- PLDI-2016-MadsenYL #datalog #declarative #fixpoint
- From Datalog to flix: a declarative language for fixed points on lattices (MM, MHY, OL), pp. 194–208.
- POPL-2018-FluckigerSYGAV #correctness #optimisation
- Correctness of speculative optimizations with dynamic deoptimization (OF, GS, MHY, AG, AA, JV), p. 28.