Follow
John Hui
Title
Cited by
Cited by
Year
A secure and formally verified Linux KVM hypervisor
SW Li, X Li, R Gu, J Nieh, JZ Hui
2021 IEEE Symposium on Security and Privacy (SP), 1782-1799, 2021
592021
Formally verified memory protection for a commodity multiprocessor hypervisor
SW Li, X Li, R Gu, J Nieh, JZ Hui
30th USENIX Security Symposium (USENIX Security 21), 3953-3970, 2021
352021
The sparse synchronous model
SA Edwards, J Hui
2020 Forum for Specification and Design Languages (FDL), 1-8, 2020
152020
Gleipnir: toward practical error analysis for Quantum programs
R Tao, Y Shi, J Yao, J Hui, FT Chong, R Gu
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
112021
Gleipnir: toward practical error analysis for quantum programs (Extended Version)
R Tao, Y Shi, J Yao, J Hui, FT Chong, R Gu
arXiv preprint arXiv:2104.06349, 2021
62021
Creating a Language for Writing Real-Time Applications for the Internet of Things
R Krook, J Hui, BJ Svensson, SA Edwards, K Claessen
2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022
42022
The Sparse Synchronous Model on Real Hardware
J Hui, SA Edwards
ACM Transactions on Embedded Computing Systems, 2022
32022
Timestamp Peripherals for Precise Real-Time Programming
J Hui, KJ Edwards, SA Edwards
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023
2023
Towards Sparse Synchronous Programming in Lua
J Hui, SA Edwards
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 361-366, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–9