Collaborated with:J.C.Blanchette U.Waldmann D.Wand E.Darulova M.O.Myreen Z.Tatlock
Talks about:order (2) transfinit (1) support (1) verifi (1) lambda (1) higher (1) compil (1) bendix (1) style (1) optim (1)
Person: Heiko Becker
DBLP: Becker:Heiko
Contributed to:
2017
2019Wrote 2 papers:
- CADE-2017-BeckerBWW #higher-order
- A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms (HB, JCB, UW, DW), pp. 432–453.
- CAV-2019-BeckerDMT #compilation #named #optimisation
- Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler (HB, ED, MOM, ZT), pp. 155–173.