SafeType: detecting type violations for type-basedalias analysis of C. - Iain Ireland; José Nelson Amaral; Raúl Silvera; Shimin Cui (Softw. Pract. Exp., 2016)

Stub Folding: Retaining Type Specialization to Increase the Efficiency of Highly Polymorphic Inline Caches. - Nathan Henderson; Iain Ireland; Matthew Gaudet; João P. L. de Carvalho; José Nelson Amaral (CASCON, 2023)

CacheIR: The Benefits of a Structured Representation for Inline Caches. - Jan de Mooij; Matthew Gaudet; Iain Ireland; Nathan Henderson; José Nelson Amaral (MPLR, 2023)