Gareth Stoyle

6 papers and 150 indexed citations i.

About

Gareth Stoyle has authored 6 papers that have received a total of 150 indexed citations. This includes 6 papers in Artificial Intelligence, 5 papers in Computer Networks and Communications and 2 papers in Hardware and Architecture. The topics of these papers are Distributed systems and fault tolerance (4 papers), Security and Verification in Computing (3 papers) and Software System Performance and Reliability (3 papers). Gareth Stoyle is often cited by papers focused on Distributed systems and fault tolerance (4 papers), Security and Verification in Computing (3 papers) and Software System Performance and Reliability (3 papers) and collaborates with scholars based in United Kingdom, United States and Switzerland. Gareth Stoyle's co-authors include Iulian Neamtiu, Michael Hicks, Gavin Bierman, Peter Sewell and Keith Wansbrough and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Functional Programming

In The Last Decade

Rankless by CCL
2025