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
782021
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
442021
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
182021
The sparse synchronous model
SA Edwards, J Hui
2020 Forum for Specification and Design Languages (FDL), 1-8, 2020
182020
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
82021
The sparse synchronous model on real hardware
J Hui, SA Edwards
ACM Transactions on Embedded Computing Systems 23 (5), article no. 69, 2024
62024
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
62022
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
32023
Towards Sparse Synchronous Programming in Lua
J Hui, SA Edwards
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 361-366, 2023
22023
Sparse Synchronous Programming with Temporal Abstractions
J Hui
Columbia University, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–10