Speeding up SMT Solving via Compiler Optimization. - Benjamin Mikek; Qirun Zhang (ESEC/SIGSOFT FSE, 2023)

Quantitative Verification of Scheduling Heuristics. - Saksham Goel; Benjamin Mikek; Jehad Aly; Venkat Arun; Ahmed Saeed 001; Aditya Akella (CoRR, 2023)

SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories. - Benjamin Mikek; Qirun Zhang (Proc. ACM Program. Lang., 2024)