Robin Salkeld

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 1

Top Topics

Top Venues

MODULARITY (Companion)

Publications

Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip
A Toolkit for Automated Testing of Dafny. NFM (2023)
Robin Salkeld, Ronald Garcia
Essential retroactive weaving. MODULARITY (Companion) (2015)
Robin Salkeld, Gregor Kiczales
Interacting with dead objects. OOPSLA (2013)
Robin Salkeld, Wenhao Xu, Brendan Cully, Geoffrey Lefebvre, Andrew Warfield, Gregor Kiczales
Retroactive aspects: programming in the past. WODA (2011)