Article

Ho, Hsi-Ming, Zhou, Ruoyu and Jones, Timothy M (2020) Timed hyperproperties. Information and Computation. a104639. ISSN 0890-5401

Conference Proceedings

Arif, Mahwish, Zhou, Ruoyu, Ho, Hsi-Ming and Jones, Timothy M (2021) Cinnamon: a domain-specific language for binary profiling and monitoring. International Symposium on Code Generation and Optimization (CGO), Seoul, Korea (South), 27 Feb.-3 March 2021. Published in: 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). 103-114. IEEE ISBN 9781728186146