Items for Ho, Hsi-Ming

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 2.

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

This list was generated on Fri May 14 08:41:21 2021 BST.