Synthesizing Best Abstract Transformers via Parallel Bit-Vector Optimization
通过并行位向量优化合成最佳抽象转换器
专题命中 其他AI编程 ：code model(abstract)；分类 cs.PL
AI总结 提出Spear并行合成框架，利用目标间位独立性加速最优抽象转换器合成，在二进制分析基准上优于现有OMT求解器。
AI 大模型
代码大模型 / AI 编程
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
