Haokun Li

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 24

Top Topics

Variable Ordering

Sparsity Inducing

Static Analysis

Decomposition Algorithm

Top Venues

J. Symb. Comput.

Publications

Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR (2024)
Xiaoheng Xie, Gang Fan, Xiaojun Lin, Ang Zhou, Shijie Li, Xunjin Zheng, Yinan Liang, Yu Zhang, Na Yu, Haokun Li, Xinyu Chen, Yingzhuang Chen, Yi Zhen, Dejun Dong, Xianjin Fu, Jinzhou Su, Fuxiong Pan, Pengshuai Luo, Youzheng Feng, Ruoxiang Hu, Jing Fan, Jinguo Zhou, Xiao Xiao, Peng Di
CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations. CoRR (2024)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) (2024)
Bingkun He, Haokun Li, Tong Chen
DRL-based computing offloading approach for large-scale heterogeneous tasks in mobile edge computing. Concurr. Comput. Pract. Exp. 36 (19) (2024)
Dongyang Xu, Haokun Li, Qingfan Wang, Ziying Song, Lei Chen, Hanming Deng
M2DA: Multi-Modal Fusion Transformer Incorporating Driver Attention for Autonomous Driving. CoRR (2024)
Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng
Isolating all the real roots of a mixed trigonometric-polynomial. J. Symb. Comput. 121 (2024)
Haokun Li, Bican Xia, Tianqi Zhao
Local Search for Solving Satisfiability of Polynomial Formulas. CAV (2) (2023)
Rizeng Chen, Haokun Li, Bican Xia, Tianqi Zhao, Tao Zheng
Isolating Bounded and Unbounded Real Roots of a Mixed Trigonometric-Polynomial. CoRR (2023)
Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
Choosing better variable orderings for cylindrical algebraic decomposition via exploiting chordal structure. J. Symb. Comput. 116 (2023)
Haokun Li, Bican Xia, Tianqi Zhao
Local Search for Solving Satisfiability of Polynomial Formulas. CoRR (2023)
Haokun Li, Bican Xia, Tianqi Zhao
Square-Free Pure Triangular Decomposition of Zero-Dimensional Polynomial Systems. J. Syst. Sci. Complex. 36 (6) (2023)
Sijie Wang, Shiwei Ren, Haokun Li, Xiangnan Li
A Generalized Extended MIMO Array Design Strategy for DOA Estimation. ICSPCC (2023)
Haokun Li, Jing Liu, Liancheng Jia, Yun Liang, Yaowei Wang, Mingkui Tan
Downscaling and Overflow-aware Model Compression for Efficient Vision Processors. ICDCS Workshops (2022)
Shuaicheng Niu, Jiaxiang Wu, Yifan Zhang, Guanghui Xu, Haokun Li, Peilin Zhao, Junzhou Huang, Yaowei Wang, Mingkui Tan
Boost Test-Time Performance with Closed-Loop Inference. CoRR (2022)
Haokun Li, Bican Xia, Tianqi Zhao
Square-free Strong Triangular Decomposition of Zero-dimensional Polynomial Systems. CoRR (2022)
Langyuan Mo, Haokun Li, Chaoyang Zou, Yubing Zhang, Ming Yang, Yihong Yang, Mingkui Tan
Towards Accurate Facial Motion Retargeting with Identity-Consistent and Expression-Exclusive Constraints. AAAI (2022)
Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. ISSAC (2021)
Haokun Li, Bican Xia, Huiying Zhang, Tao Zheng
Choosing the Variable Ordering for Cylindrical Algebraic Decomposition via Exploiting Chordal Structure. CoRR (2021)
Haokun Li, Bican Xia
Solving Satisfiability of Polynomial Formulas By Sample-Cell Projection. CoRR (2020)
Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, Jiezhang Cao, Chuangrun Liang, Mingkui Tan
Generative Low-bitwidth Data Free Quantization. CoRR (2020)
Shoukai Xu, Haokun Li, Bohan Zhuang, Jing Liu, Jiezhang Cao, Chuangrun Liang, Mingkui Tan
Generative Low-Bitwidth Data Free Quantization. ECCV (12) (2020)
Jie Wang, Haokun Li, Bican Xia
A New Sparse SOS Decomposition Algorithm Based on Term Sparsity. ISSAC (2019)
Haokun Li, Bican Xia
Block SOS Decomposition. CoRR (2018)
Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan
Monitoring CTMCs by Multi-clock Timed Automata. CAV (1) (2018)