| 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 | 59 | 2021 |
| 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 | 36 | 2021 |
| The sparse synchronous model SA Edwards, J Hui 2020 Forum for Specification and Design Languages (FDL), 1-8, 2020 | 15 | 2020 |
| 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 | 12 | 2021 |
| 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 | 6 | 2021 |
| 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 | 4 | 2022 |
| The Sparse Synchronous Model on Real Hardware J Hui, SA Edwards ACM Transactions on Embedded Computing Systems, 2022 | 3 | 2022 |
| 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 |
Stephen A. EdwardsColumbia UniversityVerified email at cs.columbia.edu
