logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
P

Proceedings of the ACM on Programming Languages-PACMPL

IF2.8
Papers308
Citations4665
Journal Papers 308
Publication Date
delete
Scylla: Translating an Applicative Subset of C to Safe Rust
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteFromherz, Aymeric; Protzenko, Jonathan
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
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
deleteShare
deleteSave
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteGurtler, Tobias; Kaminski, Benjamin Lucien
deleteShare
deleteSave
SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteXu, Jin; Zhang, Miaomiao; Du, Bowen
deleteShare
deleteSave
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteBock, Markus; Cito, Jurgen
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteHinrichsen, Jonas Kastberg; Quemerais, Iwan; Birkedal, Lars
deleteShare
deleteSave
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
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
deleteShare
deleteSave
A Minimalist Proof Language for Neural Theorem Proving over 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
deleteShare
deleteSave
DIATOM: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking
deleteProceedings of the ACM on Programming Languages-PACMPL
IF2.8
delete2026-04-01
delete0
PREAI
deleteZhou, Anshunkang; Zhang, Charles
deleteShare
deleteSave
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
deleteShare
deleteSave
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
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
deleteShare
deleteSave