Benjamin Mikek -

Registered user since Tue 30 Jan 2024

Name:Benjamin Mikek

Affiliation:Georgia Institute of Technology

Personal website: https://mikekben.github.io/

GitHub: https://github.com/mikekben

Research interests:Programming Languages, Software Analysis

Contributions

2025

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2024

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories within the PLDI Research Papers-track

2023

ESEC/FSE

Author of Speeding up SMT Solving via Compiler Optimization within the Research Papers-track