A Formally Verified Register Allocation Framework. - Kent Lee (LDTA@ETAPS, 2003)

Dragon Proxy Runtimes and Multi-system Workflows. - Nick Radcliffe; Kent Lee; Pete Mendygral (SC Workshops, 2023)