Benjamin Mikek

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Satisfiability Modulo Theories

List Scheduling

Theory Revision

Lagrange Multipliers

Top Venues

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

Publications

Benjamin Mikek, Qirun Zhang
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Saksham Goel, Benjamin Mikek, Jehad Aly, Venkat Arun, Ahmed Saeed, Aditya Akella
Quantitative Verification of Scheduling Heuristics. CoRR (2023)
Benjamin Mikek, Qirun Zhang
Speeding up SMT Solving via Compiler Optimization. ESEC/SIGSOFT FSE (2023)