Retroactive aspects: programming in the past. - Robin Salkeld; Wenhao Xu; Brendan Cully; Geoffrey Lefebvre; Andrew Warfield; Gregor Kiczales (WODA, 2011)

Interacting with dead objects. - Robin Salkeld; Gregor Kiczales (OOPSLA, 2013)

Essential retroactive weaving. - Robin Salkeld; Ronald Garcia (MODULARITY (Companion), 2015)

A Toolkit for Automated Testing of Dafny. - Aleksandr Fedchin; Tyler Dean; Jeffrey S. Foster; Eric Mercer; Zvonimir Rakamaric; Giles Reger; Neha Rungta; Robin Salkeld; Lucas G. Wagner; Cassidy Waldrip (NFM, 2023)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)