[PLDI '21] Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions

Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, Qiaoyan Yu
June 2021
Type
Conference paper
Publication
In Proceedings the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation, Virtual Event, June 23-25, 2021. (Acceptance rate 27.2%=87/320)

⭐ ACM Artifact Badges: Available & Functional

📰 Our work motivates the new IDA-Pro plugin by Hex-Rays.