关注
Benjamin Mikek
Benjamin Mikek
Georgia Institute of Technology
在 gatech.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Quantitative verification of scheduling heuristics
S Goel, B Mikek, J Aly, V Arun, A Saeed, A Akella
arXiv preprint arXiv:2301.04205, 2023
72023
Speeding up SMT Solving via Compiler Optimization
B Mikek, Q Zhang
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
42023
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories
B Mikek, Q Zhang
Proceedings of the ACM on Programming Languages 8 (PLDI), 246-271, 2024
2024
系统目前无法执行此操作，请稍后再试。
文章 1–3