PLDISoftware Engineering / System Software / Programming Languages
ACM SIGPLAN Conference on Programming Language Design and Implementation
599Papers indexed
2020-2026Years covered
Recent papers
- &inator: Correct, Precise C-to-Rust Interface TranslationVictor Chen, Ayden Coughlin, Michael D. Bond2026 · 1 citation
- A Categorical Basis for Robust Program AnalysisZachary Kincaid, Shaowei Zhu2026
- A Compiler for Fused Relational Operations on MultisetsJames Dong, Fredrik Kjolstad2026
- A Deductive System for Contract Satisfaction ProofsArthur Correnson, Haoyi Zeng, Jana Hofmann2026
- A Formally Verified Foundation for Compositional Heterogeneous CoherenceAn Qi Zhang, Andrés Goens, Daniel J. Sorin, Vijay Nagarajan2026
- A Hierarchy of Supermartingales for ω-Regular VerificationSatoshi Kura, Hiroshi Unno2026 · 1 citation
- A Mechanized Algebra of Verified Data Structures for Optimizing Sparse Tensor ProgramsAmanda Liu, Gilbert Louis Bernstein, Shoaib Kamil, Adam Chlipala et al.2026
- A Verified Parallel Scheduler for OCaml 5Clément Allain, Gabriel Scherer2026
- Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with ProbabilitiesYuanfeng Shi, Ziyue Jin, Xin Zhang2026
- An Efficient Algorithm for Streaming BPE TokenizationKonstantinos Mamouras, Angela W. Li, Yudi Yang2026
- Analyzing Bytes: Pre-Disassembly Static Binary AnalysisHuan Nguyen, Soumyakant Priyadarshan, Chencheng Jiang, R. Sekar2026
- Backwards-Compatible Row-Based Exceptions in MLSimcha van Collem, Paulo Emílio de Vilhena, Robbert Krebbers2026
- Bonsai: Compiling Queries to Pruned Tree TraversalsAlexander J. Root, Christophe Gyurgyik, Purvi Goel, Kayvon Fatahalian et al.2026
- Bridging Coverage and Confidence: Reliable Static False Alarm Elimination via Input-AgnosticityJiayi Wang, Yu Wang, Linzhang Wang, Ke Wang2026
- Categorical Semantics of Probabilistic Symbolic ExecutionJohn M. Li, Jack Czenszak, Steven Holtzen2026
- Causality and Semantic SeparationAnna Zhang, Qinglan Luo, London Bielicke, Eunice Jun et al.2026
- Cerisier: A Program Logic for Attestation in a Capability MachineJune Rousseau, Denis Carnier, Thomas Van Strydonck, Steven Keuchel et al.2026
- Choose, Don't Label: Multiple-Choice Query Synthesis for Program DisambiguationCeleste Barnaby, Danny Ding, Osbert Bastani, Isil Dillig2026
- Cobble: Compiling Block Encodings for Quantum Computational Linear AlgebraCharles Yuan2026
- Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional WorkflowsZain K. Aamer, Rini Banerjee, Hiroyuki Katsura, David Kaloper-Mersinjak et al.2026 · 2 citations
- Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA KernelsAbhinav Jangda2026
- Compiling to Recurrent NeuronsJoey Velez-Ginorio, Nada Amin, Konrad P. Kording, Steve Zdancewic2026
- Contextual Embeddings: Implementing Bound Variables through Instance ResolutionSamantha Frohlich, Jessica Foster, G. A. Kavvos, Meng Wang2026
- Contextual Refinement of Higher-Order Concurrent Probabilistic ProgramsKwing Hei Li, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal2026
