Benjamin Mikek

According to our database, Benjamin Mikek authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories.

Benjamin Mikek, Qirun Zhang

Proc. ACM Program. Lang., 2024

2023

Quantitative Verification of Scheduling Heuristics.

Saksham Goel, Benjamin Mikek, Jehad Aly, Venkat Arun, Ahmed Saeed, Aditya Akella

CoRR, 2023

Speeding up SMT Solving via Compiler Optimization.

Benjamin Mikek, Qirun Zhang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023