6
Publications
232
Citations
6
H-Index
2017
Active since
Affiliations
Hongyan Xia is an author at University of Cambridge specializing in system software, computer science, and computer architecture.
Top concepts
EngineeringSystem SoftwareComputer ScienceHardware SecurityComputer EngineeringComputer ArchitectureProgram AnalysisSoftware AnalysisParallel ComputingSystems Engineering
Publications per year
2017–2023
6
6
Hongyan Xia, Jonathan Woodruff, Sam Ainsworth et al. · 2019 · 50 citations · Full text
Engineering, Computer Architecture, Memory Model (Programming) +16
Cornucopia: Temporal Safety for CHERI Heaps
Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff et al. · 2020 · 46 citations · Full text
Alexandre Joannou, Jonathan Woodruff, Robert Kovacsics et al. · 2017 · 43 citations
CheriRTOS: A Capability Model for Embedded Devices
Hongyan Xia, Jonathan Woodruff, Hadrien Barral et al. · 2018 · 20 citations · Full text
Rows per page
1–5 of 6