Chen, Haibo

Research on ARM TrustZone

Li, W., Xia, Y., & Chen, H. (2019) · GetMobile: Mobile Computing and Communications

Security and Verification in ComputingDigital Rights Management and Security

Cited by 33

Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency

Yang, Y., Wang, Z., Xia, Y., Wei, Z., Ding, H., Piskac, R., Chen, H., & Li, J. (2025) · Proceedings of the ACM on Management of Data

Natural Language Processing TechniquesTopic Modeling

Cited by 8

DiffKV: Differentiated Memory Management for Large Language Models with Parallel KV Compaction

Zhang, Y., Hu, Y., Zhao, R., Lui, J. C. S., & Chen, H. (2024) · arXiv

Parallel Computing and Optimization TechniquesTopic Modeling

Cited by 7