| Janus: Statically-driven and profile-guided automatic dynamic binary parallelisation R Zhou, TM Jones 2019 IEEE/ACM International Symposium on Code Generation and Optimization …, 2019 | 18 | 2019 |
| On verifying timed hyperproperties HM Ho, R Zhou, TM Jones arXiv preprint arXiv:1812.10005, 2018 | 8 | 2018 |
| Timed hyperproperties HM Ho, R Zhou, TM Jones Information and Computation 280, 104639, 2021 | 6 | 2021 |
| The Janus triad: Exploiting parallelism through dynamic binary modification R Zhou, G Wort, M Erdős, TM Jones Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on …, 2019 | 6 | 2019 |
| Cinnamon: A domain-specific language for binary profiling and monitoring M Arif, R Zhou, HM Ho, TM Jones 2021 IEEE/ACM International Symposium on Code Generation and Optimization …, 2021 | 4 | 2021 |
| Guided automatic binary parallelisation R Zhou | 1 | 2018 |
| Research data supporting" Cinnamon: A Domain-Specific Language for Binary Profiling and Monitoring" M Arif, R Zhou, H Ho, TM Jones | | 2021 |
| Research data supporting" The Janus Triad: Exploiting Parallelism Through Dynamic Binary Modification" R Zhou, T Jones | | 2019 |
| Speculative Guided Parallelisation of Application Binaries R Zhou | | 2013 |
