First-class Attribute Grammars. - Oege de Moor; Kevin Backhouse; S. Doaitse Swierstra (Informatica (Slovenia), 2000)

Forwarding in Attribute Grammars for Modular Language Design. - Eric Van Wyk; Oege de Moor; Kevin Backhouse; Paul Kwiatkowski (CC, 2002)

Logical Relations and Galois Connections. - Kevin Backhouse; Roland Carl Backhouse (MPC, 2002)

A Functional Semantics of Attribute Grammars. - Kevin Backhouse (TACAS, 2002)

Abstract interpretation of domain-specific embedded languages. - Kevin Stuart Backhouse (2002)

Safety of abstract interpretations for free, via logical relations and Galois connections. - Kevin Backhouse; Roland Carl Backhouse (Sci. Comput. Program., 2004)

Variant Analysis with QL. - Pavel Avgustinov; Kevin Backhouse; Man Yue Mo (FM, 2018)

2020 State of the Octoverse: Securing the World's Software. - Nicole Forsgren; Bas Alberts; Kevin Backhouse; Grey Baker; Greg Cecarelli; Derek Jedamski; Scot Kelly; Clair Sullivan (CoRR, 2021)