Programming Languages

[PLDI '21] Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study

🏆 PLDI Distinguished Paper Award 📢 ACM SIGPLAN Blog: When Compiler Optimization Meets Binary Code Difference

Jun 24, 2021

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

🎀 ACM Artifact Badges: Available, Functional

Jun 23, 2021