jwmalloc: A Verified Memory Allocator for Mobile Devices

Jiawei Wang, Ming Fu, Ruixian Wang, and Chao Xu, Huawei Central Software Institute; Jonas Oberhauser, Huawei Hilbert Research Center, Huawei Central Software Institute; Haibo Chen, Huawei Central Software Institute, Shanghai Jiao Tong University