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

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 motiviates the new IDA-Pro plugin by Hex-Rays.