POPL

2021–2025 確定版

著者一覧 · 国際会議 · 大学ランキング

POPL 公式サイト ↗

Programming Languages & Formal Methods

2023 · 74 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

2023 · POPL
A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈
Nick Rioux, Xuejing Huang, Bruno C. d. S. Oliveira, Steve Zdancewic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
A Calculus for Amortized Expected Runtimes
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
A Compositional Theory of Linearizability
Arthur Oliveira Vale, Zhong Shao, Yixuan Chen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
A Core Calculus for Equational Proofs of Cryptographic Protocols
Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, Greg Morrisett
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
A General Noninterference Policy for Polynomial Time
Emmanuel Hainry, Romain Péchoux
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
A High-Level Separation Logic for Heap Space under Garbage Collection
Alexandre Moine, Arthur Charguéraud, François Pottier
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
A Partial Order View of Message-Passing Communication Models
Cinzia Di Giusto, Davide Ferré, Laetitia Laversa, Etienne Lozes
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
A Robust Theory of Series Parallel Graphs
Rajeev Alur, Caleb Stanford, Christopher Watson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
A Type-Based Approach to Divide-and-Conquer Recursion in Coq
Pedro Abreu, Benjamin Delaware, Alex Hubers, Christa Jenkins, J. Garrett Morris, Aaron Stump
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Admissible Types-to-PERs Relativization in Higher-Order Logic
Andrei Popescu, Dmitriy Traytel
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Affine Monads and Lazy Structures for Bayesian Programming
Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
An Algebra of Alignment for Relational Verification
Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
An Operational Approach to Library Abstraction under Relaxed Memory Concurrency
Abhishek Kr Singh, Ori Lahav
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
An Order-Theoretic Analysis of Universe Polymorphism
Kuen-Bang Hou (Favonia), Carlo Angiuli, Reed Mullanix
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
CN: Verifying Systems C Code with Separation-Logic Refinement Types
Christopher Pulte, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell, Neel Krishnaswami
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
Ria Das, Joshua B. Tenenbaum, Armando Solar-Lezama, Zenna Tavares
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Comparative Synthesis: Learning Near-Optimal Network Designs by Query
Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay Rao
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Conditional Contextual Refinement
Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Context-Bounded Verification of Context-Free Specifications
Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
CoqQ: Foundational Verification of Quantum Programs
Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Dargent: A Silver Bullet for Verified Data Layout Refinement
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Deconstructing the Calculus of Relations with Tape Diagrams
Filippo Bonchi, Alessandro Di Giorgio, Alessio Santamaria
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
DimSum: A Decentralized Approach to Multi-language Semantics and Verification
Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Dynamic Race Detection with O(1) Samples
Mosaad Al Thokair, Minjian Zhang, Umang Mathur, Mahesh Viswanathan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations
Tom J. Smeding, Matthijs I. L. Vákár
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Elements of Quantitative Rewriting
Francesco Gavazzo, Cecilia Di Florio
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Executing Microservice Applications on Serverless, Correctly
Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Fast Coalgebraic Bisimilarity Minimization
Jules Jacobs, Thorsten Wißmann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
FlashFill++: Scaling Programming by Example by Cutting to the Chase
José Cambronero, Sumit Gulwani, Vu Le, Daniel Perelman, Arjun Radhakrishna, Clint Simon, Ashish Tiwari
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Formally Verified Native Code Generation in an Effectful JIT: Turning the CompCert Backend into a Formally Verified JIT Compiler
Aurèle Barrière, Sandrine Blazy, David Pichardie
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems
Aaron Bembenek, Michael Greenberg, Stephen Chong
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Grisette: Symbolic Compilation as a Functional Programming Library
Sirui Lu, Rastislav Bodík
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
HFL(Z) Validity Checking for Automated Program Verification
Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 東京大学
2023 · POPL
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
Casper Bach Poulsen, Cas van der Rest
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Higher-Order Leak and Deadlock Free Locks
Jules Jacobs, Stephanie Balzer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Higher-Order MSL Horn Constraints
Jerome Jochems, Eddie Jones, Steven Ramsay
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Impredicative Observational Equality
Loïc Pujet, Nicolas Tabareau
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions
Woosuk Lee, Hangyeol Cho
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Kater: Automating Weak Memory Model Metatheory and Consistency Checking
Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Locally Nameless Sets
Andrew M. Pitts
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations
Han Xu, Xuejing Huang, Bruno C. d. S. Oliveira
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen
Programming Languages & Formal Methods
日本大学: 筑波大学 / 早稲田大学
2023 · POPL
On the Expressive Power of String Constraints
Joel D. Day, Vijay Ganesh, Nathan Grewal, Florin Manea
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Optimal CHC Solving via Termination Proofs
Yu Gu, Takeshi Tsukada, Hiroshi Unno
Programming Languages & Formal Methods
日本大学: 千葉大学 / 筑波大学
2023 · POPL
Probabilistic Resource-Aware Session Types
Ankush Das, Di Wang, Jan Hoffmann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Proto-Quipper with Dynamic Lifting
Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework
Victor Arrial, Giulio Guerrieri, Delia Kesner
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Qunity: A Unified Language for Quantum and Classical Computing
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Reconciling Shannon and Scott with a Lattice of Computable Information
Sebastian Hunt, David Sands, Sandro Stucki
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Recursive Subtyping for All
Litao Zhou, Yaoda Zhou, Bruno C. d. S. Oliveira
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
SSA Translation Is an Abstract Interpretation
Matthieu Lemerre
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming
Yuanbo Li, Qirun Zhang, Thomas Reps
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
Wonyeol Lee, Xavier Rival, Hongseok Yang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Statically Resolvable Ambiguity
Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice
Alejandro Aguirre, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Stratified Commutativity in Verification Algorithms for Concurrent Programs
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Tail Recursion Modulo Context: An Equational Approach
Daan Leijen, Anton Lorenzen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Taking Back Control in an Intermediate Representation for GPU Computing
Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited Continuations
Taro Sekiyama, Hiroshi Unno
Programming Languages & Formal Methods
日本大学: 筑波大学
2023 · POPL
The Fine-Grained Complexity of CFL Reachability
Paraschos Koutris, Shaleen Deep
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding
Simon Castellan, Pierre Clairambault
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
The Path to Durable Linearizability
Emanuele D'Osualdo, Azalea Raad, Viktor Vafeiadis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Top-Down Synthesis for Library Learning
Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, Armando Solar-Lezama
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Towards a Higher-Order Mathematical Operational Semantics
Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference
Jianlin Li, Leni Aniva, Pengyuan Shi, Yizhou Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Unrealizability Logic
Jinwoo Kim, Loris D'Antoni, Thomas Reps
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Why Are Proofs Relevant in Proof-Relevant Models?
Axel Kerinec, Giulio Manzonetto, Federico Olimpieri
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
Witnessability of Undecidable Problems
Shuo Ding, Qirun Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
You Only Linearize Once: Tangents Transpose to Gradients
Alexey Radul, Adam Paszke, Roy Frostig, Matthew J. Johnson, Dougal Maclaurin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · POPL
babble: Learning Better Abstractions with E-Graphs and Anti-unification
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）