POPL

2022–2026 LIVE

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

POPL 公式サイト ↗

Programming Languages & Formal Methods

2022 · 65 papers

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

2022 · POPL
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic
Xuan-Bach Le, Shang-Wei Lin, Jun Sun, David Sanan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
A cost-aware logical framework
Yue Niu, Jonathan Sterling, Harrison Grodin, Robert Harper
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
A dual number abstraction for static analysis of Clarke Jacobians
Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
A fine-grained computational interpretation of Girard’s intuitionistic proof-nets
Delia Kesner
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
A formal foundation for symbolic evaluation with merging
Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
A relational theory of effects and coeffects
Ugo Dal Lago, Francesco Gavazzo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
A separation logic for heap space under garbage collection
Jean-Marie Madiot, François Pottier
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
A separation logic for negative dependence
Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Bottom-up synthesis of recursive functional programs using angelic execution
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Certifying derivation of state machines from coroutines
Mirai Ikebuchi, Andres Erbsen, Adam Chlipala
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Concurrent incorrectness separation logic
Azalea Raad, Josh Berdine, Derek Dreyer, Peter W. O'Hearn
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Connectivity graphs: a method for proving deadlock freedom based on separation logic
Jules Jacobs, Stephanie Balzer, Robbert Krebbers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Context-bounded verification of thread pools
Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Dependently-typed data plane programming
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Effectful program distancing
Ugo Dal Lago, Francesco Gavazzo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Efficient algorithms for dynamic bidirected Dyck-reachability
Yuanbo Li, Kris Satya, Qirun Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores
Azalea Raad, Luc Maranget, Viktor Vafeiadis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Fair termination of binary sessions
Luca Ciccone, Luca Padovani
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Formal metatheory of second-order abstract syntax
Marcelo Fiore, Dmitrij Szamozvancev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
From enhanced coinduction towards enhanced induction
Davide Sangiorgi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Fully abstract models for effectful λ-calculi via category-theoretic logical relations
Ohad Kammar, Shin-ya Katsumata, Philip Saville
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Induction duality: primal-dual search for invariants
Oded Padon, James R. Wilcox, Jason R. Koenig, Kenneth L. McMillan, Alex Aiken
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Interval universal approximation for neural networks
Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI
Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Layered and object-based game semantics
Arthur Oliveira Vale, Paul-André Melliès, Zhong Shao, Jérémie Koenig, Léo Stefanesco
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Learning formulas in finite variable logics
Paul Krogmeier, P. Madhusudan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Logarithm and program testing
Kuen-Bang Hou (Favonia), Zhuyang Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself
Junyoung Jang, Samuel Gélineau, Stefan Monnier, Brigitte Pientka
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Oblivious algebraic data types
Qianchuan Ye, Benjamin Delaware
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Observational equality: now for good
Loïc Pujet, Nicolas Tabareau
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
On incorrectness logic and Kleene algebra with top and tests
Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
On type-cases, union elimination, and occurrence typing
Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn, Matthew Lutze
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes
Jay P. Lim, Santosh Nagarakatte
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
PRIMA: general and precise neural network certification via scalable convex hull approximations
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Pirouette: higher-order typed functional choreographies
Andrew K. Hirsch, Deepak Garg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Profile inference revisited
Wenlei He, Julián Mestre, Sergey Pupyrev, Lei Wang, Hongtao Yu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Property-directed reachability as abstract interpretation in the monotone theory
Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation
Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew Fitzgibbon
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Quantum information effects
Chris Heunen, Robin Kaarsgaard
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Reasoning about “reasoning about reasoning”: semantics and contextual equivalence for probabilistic programs with nested queries and recursion
Yizhou Zhang, Nada Amin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Relational e-matching
Yihong Zhang, Yisu Remy Wang, Max Willsey, Zachary Tatlock
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Return of CFA: call-site sensitivity can be superior to object sensitivity even for object-oriented programs
Minseok Jeon, Hakjoo Oh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Safe, modular packet pipeline programming
Devon Loehr, David Walker
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Semantics for variational Quantum programming
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Simuliris: a separation logic framework for verifying concurrent program optimizations
Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Software model-checking as cyclic-proof search
Takeshi Tsukada, Hiroshi Unno
Programming Languages & Formal Methods
日本大学: 千葉大学 / 筑波大学
2022 · POPL
SolType: refinement types for arithmetic overflow in solidity
Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Solving constrained Horn clauses modulo algebraic data types and recursive functions
Hari Govind V K, Sharon Shoham, Arie Gurfinkel
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Solving string constraints with Regex-dependent functions through transducers with priorities and variables
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Staging with class: a specification for typed template Haskell
Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Static prediction of parallel computation graphs
Stefan K. Muller
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Subcubic certificates for CFL reachability
Dmitry Chistikov, Rupak Majumdar, Philipp Schepper
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages
Vikraman Choudhury, Jacek Karwowski, Amr Sabry
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
The decidability and complexity of interleaved bidirected Dyck reachability
Adam Husted Kjelstrøm, Andreas Pavlogiannis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency
Alan Jeffrey, James Riely, Mark Batty, Simon Cooksey, Ilya Kaysin, Anton Podkopaev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Truly stateless, optimal dynamic partial order reduction
Michalis Kokologiannakis, Iason Marmanis, Vladimir Gladstein, Viktor Vafeiadis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Twist: sound reasoning for purity and entanglement in Quantum programs
Charles Yuan, Christopher McNally, Michael Carbin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Type-level programming with match types
Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
VIP: verifying real-world C idioms with integer-pointer casts
Rodolphe Lepigre, Michael Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, Peter Sewell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Verified compilation of C programs with a nominal memory model
Yuting Wang, Ling Zhang, Zhong Shao, Jérémie Koenig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Verified tensor-program optimization via high-level scheduling rewrites
Amanda Liu, Gilbert Louis Bernstein, Adam Chlipala, Jonathan Ragan-Kelley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
Visibility reasoning for concurrent snapshot algorithms
Joakim Öhman, Aleksandar Nanevski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · POPL
What’s decidable about linear loops?
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）