When Compiler Optimizations Meet Symbolic Execution: An Empirical Study.

Yue Zhang, Melih Sirlanci, Ruoyu Wang, Zhiqiang Lin

Browse the full CCS paper archive.