Statistics
Publications
6
Citations
589
H-Index
6
Active since
2003
Gareth Stoyle is an author at University of Cambridge specializing in software analysis, computer science, and formal verification.
Publications per year
2003–2007
6
6
Practical dynamic software updating for C
Iulian Neamtiu, Michael Hicks, Gareth Stoyle et al. · ACM SIGPLAN Notices · 2006 · 209 citations
Practical dynamic software updating for C
Iulian Neamtiu, Michael Hicks, Gareth Stoyle et al. · 2006 · 128 citations
Gareth Stoyle, Michael Hicks, Gavin Bierman et al. · ACM Transactions on Programming Languages and Systems · 2007 · 97 citations · Full text
Gareth Stoyle, Michael Hicks, Gavin Bierman et al. · 2005 · 63 citations
Software Maintenance, Engineering, Dynamic Software Updates +17
Formalizing Dynamic Software Updating
Gavin Bierman, Michael Hicks, Peter Sewell et al. · 2003 · 54 citations
1–5 of 6