PLDI

PLDI 公式サイト ↗

Programming Languages & Formal Methods

2025 · 89 papers

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

1. 2025 · PLDI

   A Concurrent Approach to String Transformation Synthesis

   Yuantian Ding, Xiaokang Qiu

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2025 · PLDI

   A Hybrid Approach to Semi-automated Rust Verification

   Sacha-Élie Ayoun, Xavier Denis, Petar Maksimović, Philippa Gardner

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 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

   日本大学: 関与なし（対象大学）

4. 2025 · PLDI

   AWDIT: An Optimal Weak Database Isolation Tester

   Lasse Møldrup, Andreas Pavlogiannis

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

5. 2025 · PLDI

   Active Learning of Symbolic NetKAT Automata

   Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2025 · PLDI

   An Interactive Debugger for Rust Trait Errors

   Gavin Gray, Will Crichton, Shriram Krishnamurthi

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 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

   日本大学: 関与なし（対象大学）

8. 2025 · PLDI

   Bean: A Language for Backward Error Analysis

   Ariel E. Kellison, Laura Zielinski, David Bindel, Justin Hsu

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2025 · PLDI

   CRGC: Fault-Recovering Actor Garbage Collection in Pekko

   Dan Plyukhin, Gul Agha, Fabrizio Montesi

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

10. 2025 · PLDI

    Certified Compilers à la Carte

    Oghenevwogaga Ebresafe, Ian Zhao, Ende Jin, Arthur Bright, Charles Jian, Yizhou Zhang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

11. 2025 · PLDI

    Circuit Optimization using Arithmetic Table Lookups

    Raghav Malik, Vedant Paranjape, Milind Kulkarni

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 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

    日本大学: 関与なし（対象大学）

13. 2025 · PLDI

    Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode

    Sehyeok Park, Justin Kim, Santosh Nagarakatte

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 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

    日本大学: 関与なし（対象大学）

15. 2025 · PLDI

    Destabilizing Iris

    Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 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

    日本大学: 関与なし（対象大学）

17. 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

    日本大学: 関与なし（対象大学）

18. 2025 · PLDI

    Dynamic Robustness Verification against Weak Memory

    Roy Margalit, Michalis Kokologiannakis, Shachar Itzhaky, Ori Lahav

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2025 · PLDI

    Efficient Formal Verification of Quantum Error Correcting Programs

    Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2025 · PLDI

    Efficient Linearizability Monitoring

    Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 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

    日本大学: 関与なし（対象大学）

22. 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

    日本大学: 関与なし（対象大学）

23. 2025 · PLDI

    Exact Loop Bound Analysis

    Daniel Riley, Grigory Fedyukovich

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 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

    日本大学: 関与なし（対象大学）

25. 2025 · PLDI

    Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence

    Parker Ziegler, Justin Lubin, Sarah E. Chasins

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2025 · PLDI

    First-Class Verification Dialects for MLIR

    Mathieu Fehr, Yuyou Fan, Hugo Pompougnac, John Regehr, Tobias Grosser

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

27. 2025 · PLDI

    Functional Meaning for Parallel Streaming

    Nick Rioux, Steve Zdancewic

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2025 · PLDI

    Graphiti: Bridging Graph and Relational Database Queries

    Yang He, Ruijie Fang, Işıl Dillig, Yuepeng Wang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 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

    日本大学: 関与なし（対象大学）

30. 2025 · PLDI

    Handling the Selection Monad

    Gordon Plotkin, Ningning Xie

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

31. 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

    日本大学: 関与なし（対象大学）

32. 2025 · PLDI

    Iso: Request-Private Garbage Collection

    Tianle Qiu, Stephen M. Blackburn

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

33. 2025 · PLDI

    Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals

    Janggun Lee, Jeonghyeon Kim, Jeehoon Kang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

34. 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

    日本大学: 関与なし（対象大学）

35. 2025 · PLDI

    Lightweight and Locality-Aware Composition of Black-Box Subroutines

    Manya Bansal, Dillon Sharlet, Jonathan Ragan-Kelley, Saman Amarasinghe

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

36. 2025 · PLDI

    Link-Time Optimization of Dynamic Casts in C++ Programs

    Xufan Lu, Nuno P. Lopes

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

37. 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

    日本大学: 関与なし（対象大学）

38. 2025 · PLDI

    Making Concurrent Hardware Verification Sequential

    Thomas Bourgeat, Jiazheng Liu, Adam Chlipala, Arvind

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

39. 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

    日本大学: 関与なし（対象大学）

40. 2025 · PLDI

    Membership Testing for Semantic Regular Expressions

    Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

41. 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

    日本大学: 関与なし（対象大学）

42. 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

    日本大学: 関与なし（対象大学）

43. 2025 · PLDI

    Multi-stage Relational Programming

    Michael Ballantyne, Rafaello Sanna, Jason Hemann, William E. Byrd, Nada Amin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

44. 2025 · PLDI

    Nola: Later-Free Ghost State for Verifying Termination in Iris

    Yusuke Matsushita, Takeshi Tsukada

    Programming Languages & Formal Methods

    日本大学: 千葉大学 / 京都大学

45. 2025 · PLDI

    Optimization-Directed Compiler Fuzzing for Continuous Translation Validation

    Jaeseong Kwon, Bongjun Jang, Juneyoung Lee, Kihong Heo

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

46. 2025 · PLDI

    Optimizing Ancilla-Based Quantum Circuits with SPARE

    Ritvik Sharma, Sara Achour

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

47. 2025 · PLDI

    Partial Evaluation, Whole-Program Compilation

    Chris Fallin, Maxwell Bernstein

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

48. 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

    日本大学: 関与なし（対象大学）

49. 2025 · PLDI

    Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search

    Pinhan Zhao, Yuepeng Wang, Xinyu Wang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

50. 2025 · PLDI

    Practical Type Inference with Levels

    Andong Fan, Han Xu, Ningning Xie

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

51. 2025 · PLDI

    Principal Type Inference under a Prefix: A Fresh Look at Static Overloading

    Daan Leijen, Wenjia Ye

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

52. 2025 · PLDI

    Probabilistic Kleene Algebra with Angelic Nondeterminism

    Shawn Ong, Stephanie Ma, Dexter Kozen

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

53. 2025 · PLDI

    Probabilistic Refinement Session Types

    Qiancheng Fu, Ankush Das, Marco Gaboardi

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

54. 2025 · PLDI

    Program Skeletons for Automated Program Translation

    Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, Prateek Saxena

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

55. 2025 · PLDI

    Program Synthesis from Partial Traces

    Margarida Ferreira, Victor Nicolet, Joey Dodds, Daniel Kroening

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

56. 2025 · PLDI

    Programming by Navigation

    Justin Lubin, Parker Ziegler, Sarah E. Chasins

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

57. 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

    日本大学: 関与なし（対象大学）

58. 2025 · PLDI

    QVM: Quantum Gate Virtualization Machine

    Nathaniel Tornow, Emmanouil Giortamis, Pramod Bhatotia

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

59. 2025 · PLDI

    Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs

    Zhicheng Zhang, Mingsheng Ying

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

60. 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

    日本大学: 関与なし（対象大学）

61. 2025 · PLDI

    Random Variate Generation with Formal Guarantees

    Feras A. Saad, Wonyeol Lee

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

62. 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

    日本大学: 関与なし（対象大学）

63. 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

    日本大学: 関与なし（対象大学）

64. 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

    日本大学: 関与なし（対象大学）

65. 2025 · PLDI

    Relaxing Alias Analysis: Exploring the Unexplored Space

    Michel Weber, Theodoros Theodoridis, Zhendong Su

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

66. 2025 · PLDI

    Ripple: Asynchronous Programming for Spatial Dataflow Architectures

    Souradip Ghosh, Yufei Shi, Brandon Lucia, Nathan Beckmann

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

67. 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

    日本大学: 関与なし（対象大学）

68. 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

    日本大学: 関与なし（対象大学）

69. 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

    日本大学: 関与なし（対象大学）

70. 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

    日本大学: 関与なし（対象大学）

71. 2025 · PLDI

    Semantics of Integrating and Differentiating Singularities

    Jesse Michel, Wonyeol Lee, Hongseok Yang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

72. 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

    日本大学: 関与なし（対象大学）

73. 2025 · PLDI

    Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers

    Owen Conoly, Andres Erbsen, Adam Chlipala

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

74. 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

    日本大学: 関与なし（対象大学）

75. 2025 · PLDI

    Spineless Traversal for Layout Invalidation

    Marisa Kirisame, Tiezhi Wang, Pavel Panchekha

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

76. 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

    日本大学: 関与なし（対象大学）

77. 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

    日本大学: 関与なし（対象大学）

78. 2025 · PLDI

    Support Triangle Machine

    Jiaying Li, Chunxue Hao

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

79. 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

    日本大学: 関与なし（対象大学）

80. 2025 · PLDI

    Task-Based Tensor Computations on Modern GPUs

    Rohan Yadav, Michael Garland, Alex Aiken, Michael Bauer

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

81. 2025 · PLDI

    Thrust: A Prophecy-Based Refinement Type System for Rust

    Hiromi Ogawa, Taro Sekiyama, Hiroshi Unno

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学 / 東北大学 / 筑波大学

82. 2025 · PLDI

    Tree Borrows

    Neven Villani, Johannes Hostert, Derek Dreyer, Ralf Jung

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

83. 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

    日本大学: 関与なし（対象大学）

84. 2025 · PLDI

    Usability Barriers for Liquid Types

    Catarina Gamboa, Abigail Reese, Alcides Fonseca, Jonathan Aldrich

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

85. 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

    日本大学: 関与なし（対象大学）

86. 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

    日本大学: 関与なし（対象大学）

87. 2025 · PLDI

    Verifying Lock-Free Traversals in Relaxed Memory Separation Logic

    Sunho Park, Jaehwang Jung, Janggun Lee, Jeehoon Kang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

88. 2025 · PLDI

    Verifying Solutions to Semantics-Guided Synthesis Problems

    Charlie Murphy, Keith J.C. Johnson, Thomas Reps, Loris D'Antoni

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

89. 2025 · PLDI

    Webs and Flow-Directed Well-Typedness Preserving Program Transformations

    Benjamin Quiring, David Van Horn, John Reppy, Olin Shivers

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）