POPLSoftware Engineering / System Software / Programming Languages
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
531Papers indexed
2020-2026Years covered
Recent papers
- A Complementary Approach to Incorrectness TypingCelia Mengyue Li, Sophie Pull, Steven Ramsay2026 · 2 citations
- A Family of Sims with Diverging InterestsNicolas Chappe2026
- A Lazy, Concurrent Convertibility CheckerNathanaëlle Courant, Xavier Leroy2026
- A Logic for the Imprecision of Abstract InterpretationsMarco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban2026 · 2 citations
- A Modular Static Cost Analysis for GPU Warp-Level ParallelismGregory Blike, Hannah Zicarelli, Udaya Sathiyamoorthy, Julien Lange et al.2026 · 1 citation
- A Relational Separation Logic for Effect HandlersPaulo Emílio de Vilhena, Simcha van Collem, Ines Wright, Robbert Krebbers2026 · 3 citations
- A Synthetic Reconstruction of Multiparty Session TypesDavid Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans2026
- A Verified High-Performance Composable Object Library for Remote Direct Memory AccessGuillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler et al.2026 · 2 citations
- Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type TheoryHarrison Grodin, Runming Li, Robert Harper2026 · 2 citations
- Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific LanguagesZhentao Ye, Ruyi Ji, Yingfei Xiong, Xin Zhang2026 · 1 citation
- AdapTT: Functoriality for Dependent Type CastsArthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard2026 · 1 citation
- Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped ApproachYiyun Liu, Stephanie Weirich2026
- All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel ProgramsAlexandre Moine, Sam Westrick, Joseph Tassarotti2026
- An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic TheoriesOhad Kammar, Jack Liell-Cock, Sam Lindley, Cristina Matache et al.2026
- An Expressive Assertion Language for Quantum ProgramsBonan Su, Yuan Feng, Mingsheng Ying, Li Zhou2026 · 1 citation
- Arbitration-Free Consistency Is Available (and Vice Versa)Hagit Attiya, Constantin Enea, Enrique Román-Calvo2026
- ArchSem: Reusable Rigorous Semantics of Relaxed ArchitecturesThibaut Pérami, Thomas Bauereiss, Brian Campbell, Zongyuan Liu et al.2026 · 1 citation
- Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic ProgrammingShing Hin Ho, Nicolas Wu, Azalea Raad2026 · 2 citations
- Big-Stop Semantics: Small-Step Semantics in a Big-Step JudgmentDavid M. Kahn, Jan Hoffmann, Runming Li2026
- Bounded Sort Polymorphism with Elimination ConstraintsJohann Rosain, Tomás Díaz, Kenji Maillard, Matthieu Sozeau et al.2026
- Bounded Treewidth, Multiple Context-Free Grammars, and Downward ClosuresC. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze et al.2026 · 1 citation
- Canonicity for Indexed Inductive-Recursive TypesAndrás Kovács2026 · 1 citation
- Characterizing Sets of Theories That Can Be Disjointly CombinedBenjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar2026 · 2 citations
- ChiSA: Static Analysis for Lightweight Chisel VerificationJiacai Cui, Qinlin Chen, Zhongsheng Zhan, Tian Tan et al.2026
