logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
P

Proceedings of the ACM on Programming Languages-PACMPL

IF2.8
论文数308
被引数4665
期刊论文 308
发表时间
delete
Learning Symmetric Invariants from Symmetric Samples从对称样本中学习对称不变量
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteXu, Zhijie; He, Fei
delete分享
delete收藏
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer FlowsEditFlow：通过重构开发者流程来基准测试和优化代码编辑推荐系统
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteLiu, Chenyan; Lin, Yun; Chang, Jiaxin; Liu, Jiawei; Qi, Binhang; Jiang, Bo; Huang, Zhiyong; Dong, Jin Song
delete分享
delete收藏
Scylla: Translating an Applicative Subset of C to Safe RustScylla：将C语言的应用子集翻译为安全Rust
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteFromherz, Aymeric; Protzenko, Jonathan
delete分享
delete收藏
Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing剥茧抽丝：为突变灰盒模糊测试揭示被抑制的金种子
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteQian, Ruixiang; Fang, Chunrong; Chen, Zengxu; Fu, Youxin; Chen, Zhenyu
delete分享
delete收藏
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory AccessesCLower：通过冗余内存访问检测编译器劣化错误
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteXu, Jianhao; Zhang, Kunbo; Payer, Mathias; Lu, Kangjie; Mao, Bing
delete分享
delete收藏
SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network VerificationSART：用于神经网络验证中二值变量约简的符号-绝对重构理论
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteXu, Jin; Zhang, Miaomiao; Du, Bowen
delete分享
delete收藏
Type Inference for Functional and Imperative Dynamic Languages函数式与命令式动态语言的类型推断
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteLaurent, Mickael; Vitek, Jan
delete分享
delete收藏
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and ConditioningnoDice：具有非确定性和条件约束的离散概率程序推理
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteGurtler, Tobias; Kaminski, Benjamin Lucien
delete分享
delete收藏
Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops带有用户标记样本语句和while循环的概率程序静态因式分解
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteBock, Markus; Cito, Jurgen
delete分享
delete收藏
Fully-Automatic Type Inference for Borrows with Lifetimes具有生命周期的借用类型自动推断
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteBrandon, William; Driscoll, Benjamin; Dai, Frank; Ragan-Kelley, Jonathan; Milano, Mae; Aiken, Alex
delete分享
delete收藏
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking当寿命得到解放：一种具有高阶可达性跟踪的堆区域类型系统
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteHe, Siyuan; Jia, Songlin; Bao, Yuyan; Rompf, Tiark
delete分享
delete收藏
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message PassingMixtris：面向混合选择多方消息传递的机械化高阶分离逻辑
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteHinrichsen, Jonas Kastberg; Quemerais, Iwan; Birkedal, Lars
delete分享
delete收藏
RandSet: Randomized Corpus Reduction for Fuzzing Seed SchedulingRandSet：用于模糊测试种子调度的随机语料库缩减
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteXie, Yuchong; Zhang, Kaikai; Liu, Yu; Yang, Rundong; Chen, Ping; Wang, Shuai; She, Dongdong
delete分享
delete收藏
Effectively Propositional Higher-Order Functional Programming有效的一阶高阶函数式编程
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteLewchenko, Nicholas, V; Kim, Kunha; Chang, Bor-Yuh Evan; Kaki, Gowtham
delete分享
delete收藏
Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models超越覆盖率：利用大型语言模型进行自动测试套件增强以提高有效性
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteLu, Zeyu; Zhang, Peng; Nie, Yuge; Yang, Yibiao; Tang, Yutian; Chong, Chun Yong; Zhou, Yuming
delete分享
delete收藏
Localizing Type Errors for Syntactic Sugar by Lifting通过提升方法定位语法糖类型错误
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteGuan, Zhichao; Yu, Tailai; Wang, Di; Hu, Zhenjiang
delete分享
delete收藏
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL基于Isabelle/HOL的神经网络定理证明的最简证明语言
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteXu, Qiyuan; Wang, Renxi; Wang, Peixin; Li, Haonan; Watt, Conrad
delete分享
delete收藏
DIATOM: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR LinkingDIATOM：基于数据流摘要和类型感知IR链接的多层二元提升
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteZhou, Anshunkang; Zhang, Charles
delete分享
delete收藏
Decompiling for Constant-Time Analysis反编译用于恒定时间分析
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteArranz-Olmos, Santiago; Barthe, Gilles; Blatter, Lionel; Bouzid, Youcef; van der Wall, Soren; Zhang, Zhiyuan
delete分享
delete收藏
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure当规范遇见现实：揭示以太坊基础设施中的API不一致性
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteMa, Jie; He, Ningyu; Xi, Jinwen; Xing, Mingzhe; Liu, Liangxin; Luo, Jiushenzi; Fu, Xiaopeng; Wu, Chiachih; Wang, Haoyu; Gao, Ying; Yue, Yinliang
delete分享
delete收藏