PLDI

2022–2026 LIVE

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

PLDI 公式サイト ↗

Programming Languages & Formal Methods

2025 · 89 papers

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

2025 · PLDI
A Concurrent Approach to String Transformation Synthesis
Yuantian Ding, Xiaokang Qiu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
A Hybrid Approach to Semi-automated Rust Verification
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimović, Philippa Gardner
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
A Uniform Framework for Handling Position Constraints in String Solving
Yu-Fang Chen, Vojtěch Havlena, Michal Hečko, Lukáš Holík, Ondřej Lengál
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
AWDIT: An Optimal Weak Database Isolation Tester
Lasse Møldrup, Andreas Pavlogiannis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Active Learning of Symbolic NetKAT Automata
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
An Interactive Debugger for Rust Trait Errors
Gavin Gray, Will Crichton, Shriram Krishnamurthi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Automated Exploit Generation for Node.js Packages
Filipe Marques, Mafalda Ferreira, André Nascimento, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Bean: A Language for Backward Error Analysis
Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Dan Plyukhin, Gul Agha, Fabrizio Montesi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Certified Compilers à la Carte
Oghenevwogaga Ebresafe, Ian Zhao, Ende Jin, Arthur Bright, Charles Jian, Yizhou Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Circuit Optimization using Arithmetic Table Lookups
Raghav Malik, Vedant Paranjape, Milind Kulkarni
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks
Ling Zhang, Yuting Wang, Yalun Liang, Zhong Shao
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
Sehyeok Park, Justin Kim, Santosh Nagarakatte
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
DR.FIX: Automatically Fixing Data Races at Industry Scale
Farnaz Behrang, Zhizhou Zhang, Georgian-Vlad Saioc, Peng Liu, Milind Chabbi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Destabilizing Iris
Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
Dongwei Xiao, Shuai Wang, Zhibo Liu, Yiteng Peng, Daoyuan Wu, Zhendong Su
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Dynamic Region Ownership for Concurrency Safety
Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew A. Johnson, Matthew J. Parkinson, Guido van Rossum, Eric Snow, Tobias Wrigstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Dynamic Robustness Verification against Weak Memory
Roy Margalit, Michalis Kokologiannakis, Shachar Itzhaky, Ori Lahav
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Efficient Formal Verification of Quantum Error Correcting Programs
Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Efficient Linearizability Monitoring
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Efficient Timestamping for Sampling-Based Race Detection
Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, Mahesh Viswanathan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Efficient, Portable, Census-Polymorphic Choreographic Programming
Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Exact Loop Bound Analysis
Daniel Riley, Grigory Fedyukovich
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact
Lucian Popescu, Nuno P. Lopes
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence
Parker Ziegler, Justin Lubin, Sarah E. Chasins
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
First-Class Verification Dialects for MLIR
Mathieu Fehr, Yuyou Fan, Hugo Pompougnac, John Regehr, Tobias Grosser
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Functional Meaning for Parallel Streaming
Nick Rioux, Steve Zdancewic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Graphiti: Bridging Graph and Relational Database Queries
Yang He, Ruijie Fang, Işıl Dillig, Yuepeng Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Guided Tensor Lifting
Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, Elizabeth Polgreen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Handling the Selection Monad
Gordon Plotkin, Ningning Xie
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
Steven Schaefer, Nathan Varner, Pedro Henrique Azevedo de Amorim, Max S. New
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Iso: Request-Private Garbage Collection
Tianle Qiu, Stephen M. Blackburn
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals
Janggun Lee, Jeonghyeon Kim, Jeehoon Kang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
Longfei Qiu, Jingqi Xiao, Ji-Yong Shin, Zhong Shao
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Lightweight and Locality-Aware Composition of Black-Box Subroutines
Manya Bansal, Dillon Sharlet, Jonathan Ragan-Kelley, Saman Amarasinghe
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Link-Time Optimization of Dynamic Casts in C++ Programs
Xufan Lu, Nuno P. Lopes
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
Abdul Rafae Noor, Dhruv Baronia, Akash Kothari, Muchen Xu, Charith Mendis, Vikram S. Adve
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Making Concurrent Hardware Verification Sequential
Thomas Bourgeat, Jiazheng Liu, Adam Chlipala, Arvind
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
Xiuqi Cao, Junyu Zhou, Yuhao Liu, Yunong Shi, Gushu Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Membership Testing for Semantic Regular Expressions
Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
Alonso Rodríguez-Iglesias, Santoshkumar T. Tongli, Emily Tucker, Louis-Noël Pouchet, Gabriel Rodríguez, Juan Touriño
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Angus Hammond, Ricardo Almeida, Thomas Bauereiss, Brian Campbell, Ian Stark, Peter Sewell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Multi-stage Relational Programming
Michael Ballantyne, Rafaello Sanna, Jason Hemann, William E. Byrd, Nada Amin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Nola: Later-Free Ghost State for Verifying Termination in Iris
Yusuke Matsushita, Takeshi Tsukada
Programming Languages & Formal Methods
日本大学: 千葉大学 / 京都大学
2025 · PLDI
Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
Jaeseong Kwon, Bongjun Jang, Juneyoung Lee, Kihong Heo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Optimizing Ancilla-Based Quantum Circuits with SPARE
Ritvik Sharma, Sara Achour
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Partial Evaluation, Whole-Program Compilation
Chris Fallin, Maxwell Bernstein
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Pointer Analysis for Database-Backed Applications
Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, Yue Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
Pinhan Zhao, Yuepeng Wang, Xinyu Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Practical Type Inference with Levels
Andong Fan, Han Xu, Ningning Xie
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
Daan Leijen, Wenjia Ye
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Probabilistic Kleene Algebra with Angelic Nondeterminism
Shawn Ong, Stephanie Ma, Dexter Kozen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Probabilistic Refinement Session Types
Qiancheng Fu, Ankush Das, Marco Gaboardi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Program Skeletons for Automated Program Translation
Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, Prateek Saxena
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Program Synthesis from Partial Traces
Margarida Ferreira, Victor Nicolet, Joey Dodds, Daniel Kroening
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Programming by Navigation
Justin Lubin, Parker Ziegler, Sarah E. Chasins
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
QVM: Quantum Gate Virtualization Machine
Nathaniel Tornow, Emmanouil Giortamis, Pramod Bhatotia
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
Zhicheng Zhang, Mingsheng Ying
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures
Md Amit Hasan Arovi, Ruslan Nikolaev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Random Variate Generation with Formal Guarantees
Feras A. Saad, Wonyeol Lee
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
Xiangwei Wang, Xinning Hui, Chunhua Liao, Xipeng Shen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
Kimaya Bedarkar, Laila Elbeheiry, Michael Sammler, Lennard Gäher, Björn Brandenburg, Derek Dreyer, Deepak Garg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Relational Abstractions Based on Labeled Union-Find
Dorian Lesbre, Matthieu Lemerre, Hichem Rami Ait-El-Hara, François Bobot
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Relaxing Alias Analysis: Exploring the Unexplored Space
Michel Weber, Theodoros Theodoridis, Zhendong Su
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Ripple: Asynchronous Programming for Spatial Dataflow Architectures
Souradip Ghosh, Yufei Shi, Brandon Lucia, Nathan Beckmann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Robust Constant-Time Cryptography
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, Deian Stefan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis
Shan Huang, Jingjing Liang, Ting Su, Qirun Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Cameron Moy, Jack Czenszak, John M. Li, Brianna Marshall, Steven Holtzen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Scalable, Validated Code Translation of Entire Projects using Large Language Models
Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Semantics of Integrating and Differentiating Singularities
Jesse Michel, Wonyeol Lee, Hongseok Yang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Kœhler, Michel Steuwer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
Owen Conoly, Andres Erbsen, Adam Chlipala
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Solving Floating-Point Constraints with Continuous Optimization
Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, Linzhang Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Spineless Traversal for Layout Invalidation
Marisa Kirisame, Tiezhi Wang, Pavel Panchekha
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
StacKAT: Infinite State Network Verification
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
Maddy Bowers, Alexander K. Lew, Joshua B. Tenenbaum, Armando Solar-Lezama, Vikash K. Mansinghka
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Support Triangle Machine
Jiaying Li, Chunxue Hao
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
Fabian Stemmler, Michael Schwarz, Julian Erhard, Sarah Tilscher, Helmut Seidl
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Task-Based Tensor Computations on Modern GPUs
Rohan Yadav, Michael Garland, Alex Aiken, Michael Bauer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Thrust: A Prophecy-Based Refinement Type System for Rust
Hiromi Ogawa, Taro Sekiyama, Hiroshi Unno
Programming Languages & Formal Methods
日本大学: 総合研究大学院大学 / 東北大学 / 筑波大学
2025 · PLDI
Tree Borrows
Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Type-Constrained Code Generation with Language Models
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Usability Barriers for Liquid Types
Catarina Gamboa, Abigail Reese, Alcides Fonseca, Jonathan Aldrich
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Verified Foundations for Differential Privacy
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
Jaehwang Jung, Sunho Park, Janggun Lee, Jeho Yeon, Jeehoon Kang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Verifying Lock-Free Traversals in Relaxed Memory Separation Logic
Sunho Park, Jaehwang Jung, Janggun Lee, Jeehoon Kang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Verifying Solutions to Semantics-Guided Synthesis Problems
Charlie Murphy, Keith J.C. Johnson, Thomas Reps, Loris D'Antoni
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · PLDI
Webs and Flow-Directed Well-Typedness Preserving Program Transformations
Benjamin Quiring, David Van Horn, John Reppy, Olin Shivers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）