http://sro.sussex.ac.uk/ http://sro.sussex.ac.uk/images/sitelogo.png http://sro.sussex.ac.uk/ Thu, 23 Nov 2023 09:14:20 +0000 Thu, 23 Nov 2023 09:14:20 +0000 en Fri, 26 Mar 2021 11:43:25 +0000 http://sro.sussex.ac.uk/id/eprint/98050/ http://sro.sussex.ac.uk/id/eprint/98050/ 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 Tue, 03 Nov 2020 10:56:08 +0000 http://sro.sussex.ac.uk/id/eprint/94743/ http://sro.sussex.ac.uk/id/eprint/94743/ Ho, Hsi-Ming, Zhou, Ruoyu and Jones, Timothy M (2020) Timed hyperproperties. Information and Computation. a104639. ISSN 0890-5401