Benjamin Mikek

Orcid: 0000-0002-4195-8464

According to our database¹, Benjamin Mikek authored at least 4 papers between 2023 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Agentic Code Optimization via Compiler-LLM Cooperation.

[DOI]

CoRR, April, 2026

2024

SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories.

[DOI]

Proc. ACM Program. Lang., 2024

2023

Quantitative Verification of Scheduling Heuristics.

[DOI]

CoRR, 2023

Speeding up SMT Solving via Compiler Optimization.

[DOI]

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