Robin Salkeld

According to our database, Robin Salkeld authored at least 5 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Formally Verified Cloud-Scale Authorization.

Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2023

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

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2015

Essential retroactive weaving.

Robin Salkeld, Ronald Garcia

Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

2013

Interacting with dead objects.

Robin Salkeld, Gregor Kiczales

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2011

Retroactive aspects: programming in the past.

Robin Salkeld, Wenhao Xu, Brendan Cully, Geoffrey Lefebvre, Andrew Warfield, Gregor Kiczales

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), 2011