PLDI

PLDI 公式サイト ↗

Programming Languages & Formal Methods

2024 · 89 papers

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

1. 2024 · PLDI

   A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation

   Ruslan Nikolaev, Binoy Ravindran

   Programming Languages & Formal Methods

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

2. 2024 · PLDI

   A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata

   Zhe Zhou, Qianchuan Ye, Benjamin Delaware, Suresh Jagannathan

   Programming Languages & Formal Methods

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

3. 2024 · PLDI

   A Lightweight Polyglot Code Transformation Language

   Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, Murali Krishna Ramanathan

   Programming Languages & Formal Methods

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

4. 2024 · PLDI

   A Proof Recipe for Linearizability in Relaxed Memory Separation Logic

   Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, Jeehoon Kang

   Programming Languages & Formal Methods

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

5. 2024 · PLDI

   A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption

   Aleksandar Krastev, Nikola Samardzic, Simon Langowski, Srinivas Devadas, Daniel Sanchez

   Programming Languages & Formal Methods

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

6. 2024 · PLDI

   A Verified Compiler for a Functional Tensor Language

   Amanda Liu, Gilbert Bernstein, Adam Chlipala, Jonathan Ragan-Kelley

   Programming Languages & Formal Methods

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

7. 2024 · PLDI

   Allo: A Programming Model for Composable Accelerator Design

   Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, Zhiru Zhang

   Programming Languages & Formal Methods

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

8. 2024 · PLDI

   An Algebraic Language for Specifying Quantum Networks

   Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster

   Programming Languages & Formal Methods

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

9. 2024 · PLDI

   Associated Effects: Flexible Abstractions for Effectful Programming

   Matthew Lutze, Magnus Madsen

   Programming Languages & Formal Methods

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

10. 2024 · PLDI

    Automated Verification of Fundamental Algebraic Laws

    George Zakhour, Pascal Weisenburger, Guido Salvaneschi

    Programming Languages & Formal Methods

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

11. 2024 · PLDI

    Bit Blasting Probabilistic Programs

    Poorva Garg, Steven Holtzen, Guy Van den Broeck, Todd Millstein

    Programming Languages & Formal Methods

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

12. 2024 · PLDI

    Boosting Compiler Testing by Injecting Real-World Code

    Shaohua Li, Theodoros Theodoridis, Zhendong Su

    Programming Languages & Formal Methods

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

13. 2024 · PLDI

    Bringing the WebAssembly Standard up to Speed with SpecTec

    Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg

    Programming Languages & Formal Methods

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

14. 2024 · PLDI

    Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding

    Qiuping Yi, Yifan Yu, Guowei Yang

    Programming Languages & Formal Methods

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

15. 2024 · PLDI

    Compilation of Modular and General Sparse Workspaces

    Genghan Zhang, Olivia Hsu, Fredrik Kjolstad

    Programming Languages & Formal Methods

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

16. 2024 · PLDI

    Compilation of Qubit Circuits to Optimized Qutrit Circuits

    Ritvik Sharma, Sara Achour

    Programming Languages & Formal Methods

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

17. 2024 · PLDI

    Compiling Conditional Quantum Gates without Using Helper Qubits

    Keli Huang, Jens Palsberg

    Programming Languages & Formal Methods

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

18. 2024 · PLDI

    Compiling Probabilistic Programs for Variable Elimination with Information Flow

    Jianlin Li, Eric Wang, Yizhou Zhang

    Programming Languages & Formal Methods

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

19. 2024 · PLDI

    Compiling with Abstract Interpretation

    Dorian Lesbre, Matthieu Lemerre

    Programming Languages & Formal Methods

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

20. 2024 · PLDI

    Compositional Semantics for Shared-Variable Concurrency

    Mikhail Svyatlovskiy, Shai Mermelstein, Ori Lahav

    Programming Languages & Formal Methods

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

21. 2024 · PLDI

    Concurrent Immediate Reference Counting

    Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang

    Programming Languages & Formal Methods

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

22. 2024 · PLDI

    Consolidating Smart Contracts with Behavioral Contracts

    Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang

    Programming Languages & Formal Methods

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

23. 2024 · PLDI

    Context-Free Language Reachability via Skewed Tabulation

    Yuxiang Lei, Camille Bossut, Yulei Sui, Qirun Zhang

    Programming Languages & Formal Methods

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

24. 2024 · PLDI

    Daedalus: Safer Document Parsing

    Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, Simon Winwood

    Programming Languages & Formal Methods

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

25. 2024 · PLDI

    Decidable Subtyping of Existential Types for Julia

    Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

    Programming Languages & Formal Methods

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

26. 2024 · PLDI

    Descend: A Safe GPU Systems Programming Language

    Bastian Köpcke, Sergei Gorlatch, Michel Steuwer

    Programming Languages & Formal Methods

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

27. 2024 · PLDI

    Diffy: Data-Driven Bug Finding for Configurations

    Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett

    Programming Languages & Formal Methods

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

28. 2024 · PLDI

    Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation

    Jaemin Hong, Sukyoung Ryu

    Programming Languages & Formal Methods

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

29. 2024 · PLDI

    Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs

    Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos

    Programming Languages & Formal Methods

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

30. 2024 · PLDI

    Equivalence and Similarity Refutation for Probabilistic Programs

    Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, Đorđe Žikelić

    Programming Languages & Formal Methods

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

31. 2024 · PLDI

    Equivalence by Canonicalization for Synthesis-Backed Refactoring

    Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, Sarah E. Chasins

    Programming Languages & Formal Methods

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

32. 2024 · PLDI

    Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis

    Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, Charles Zhang

    Programming Languages & Formal Methods

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

33. 2024 · PLDI

    Falcon: A Scalable Analytical Cache Model

    Arjun Pitchanathan, Kunwar Grover, Tobias Grosser

    Programming Languages & Formal Methods

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

34. 2024 · PLDI

    Floating-Point TVPI Abstract Domain

    Joao Rivera, Franz Franchetti, Markus Püschel

    Programming Languages & Formal Methods

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

35. 2024 · PLDI

    Foundational Integration Verification of a Cryptographic Server

    Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala

    Programming Languages & Formal Methods

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

36. 2024 · PLDI

    From Batch to Stream: Automatic Generation of Online Algorithms

    Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Işıl Dillig

    Programming Languages & Formal Methods

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

37. 2024 · PLDI

    GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables

    Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, Vikash K. Mansinghka

    Programming Languages & Formal Methods

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

38. 2024 · PLDI

    Hashing Modulo Context-Sensitive α-Equivalence

    Lasse Blaauwbroek, Miroslav Olšák, Herman Geuvers

    Programming Languages & Formal Methods

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

39. 2024 · PLDI

    Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties

    Thibault Dardinier, Peter Müller

    Programming Languages & Formal Methods

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

40. 2024 · PLDI

    Hyperblock Scheduling for Verified High-Level Synthesis

    Yann Herklotz, John Wickerson

    Programming Languages & Formal Methods

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

41. 2024 · PLDI

    Inductive Approach to Spacer

    Takeshi Tsukada, Hiroshi Unno

    Programming Languages & Formal Methods

    日本大学: 千葉大学 / 東北大学

42. 2024 · PLDI

    Input-Relational Verification of Deep Neural Networks

    Debangshu Banerjee, Changming Xu, Gagandeep Singh

    Programming Languages & Formal Methods

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

43. 2024 · PLDI

    IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications

    Chujun Geng, Spyros Blanas, Michael D. Bond, Yang Wang

    Programming Languages & Formal Methods

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

44. 2024 · PLDI

    Jacdac: Service-Based Prototyping of Embedded Systems

    Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michał Moskal

    Programming Languages & Formal Methods

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

45. 2024 · PLDI

    KATch: A Fast Symbolic Verifier for NetKAT

    Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva

    Programming Languages & Formal Methods

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

46. 2024 · PLDI

    LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs

    Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, Zhong Shao

    Programming Languages & Formal Methods

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

47. 2024 · PLDI

    Linear Matching of JavaScript Regular Expressions

    Aurèle Barrière, Clément Pit-Claudel

    Programming Languages & Formal Methods

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

48. 2024 · PLDI

    Live Verification in an Interactive Proof Assistant

    Samuel Gruetter, Viktor Fukala, Adam Chlipala

    Programming Languages & Formal Methods

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

49. 2024 · PLDI

    Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation

    Mridul Aanjaneya, Santosh Nagarakatte

    Programming Languages & Formal Methods

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

50. 2024 · PLDI

    Mechanised Hypersafety Proofs about Structured Data

    Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, Ilya Sergey

    Programming Languages & Formal Methods

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

51. 2024 · PLDI

    Modular Hardware Design of Pipelined Circuits with Hazards

    Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, Jeehoon Kang

    Programming Languages & Formal Methods

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

52. 2024 · PLDI

    NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks

    Ajay Brahmakshatriya, Chris Rinard, Manya Ghobadi, Saman Amarasinghe

    Programming Languages & Formal Methods

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

53. 2024 · PLDI

    Numerical Fuzz: A Type System for Rounding Error Analysis

    Ariel E. Kellison, Justin Hsu

    Programming Languages & Formal Methods

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

54. 2024 · PLDI

    Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes

    Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, Manas Thakur

    Programming Languages & Formal Methods

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

55. 2024 · PLDI

    PL4XGL: A Programming Language Approach to Explainable Graph Learning

    Minseok Jeon, Jihyeok Park, Hakjoo Oh

    Programming Languages & Formal Methods

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

56. 2024 · PLDI

    Predictable Verification using Intrinsic Definitions

    Adithya Murali, Cody Rivera, P. Madhusudan

    Programming Languages & Formal Methods

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

57. 2024 · PLDI

    Probabilistic Programming with Programmable Variational Inference

    McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, Vikash K. Mansinghka

    Programming Languages & Formal Methods

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

58. 2024 · PLDI

    Program Analysis for Adaptive Data Analysis

    Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan Ullman

    Programming Languages & Formal Methods

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

59. 2024 · PLDI

    Quantitative Robustness for Vulnerability Assessment

    Guillaume Girol, Guilhem Lacombe, Sébastien Bardin

    Programming Languages & Formal Methods

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

60. 2024 · PLDI

    Qubit Recycling Revisited

    Hanru Jiang

    Programming Languages & Formal Methods

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

61. 2024 · PLDI

    Quest Complete: The Holy Grail of Gradual Security

    Tianyu Chen, Jeremy G. Siek

    Programming Languages & Formal Methods

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

62. 2024 · PLDI

    Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq

    Simon Spies, Lennard Gäher, Michael Sammler, Derek Dreyer

    Programming Languages & Formal Methods

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

63. 2024 · PLDI

    Recursive Program Synthesis using Paramorphisms

    Qiantan Hong, Alex Aiken

    Programming Languages & Formal Methods

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

64. 2024 · PLDI

    Reducing Static Analysis Unsoundness with Approximate Interpretation

    Mathias Rud Laursen, Wenyuan Xu, Anders Møller

    Programming Languages & Formal Methods

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

65. 2024 · PLDI

    Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

    Theodoros Theodoridis, Zhendong Su

    Programming Languages & Formal Methods

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

66. 2024 · PLDI

    RefinedRust: A Type System for High-Assurance Verification of Rust Programs

    Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, Derek Dreyer

    Programming Languages & Formal Methods

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

67. 2024 · PLDI

    Reward-Guided Synthesis of Intelligent Agents with Control Structures

    Guofeng Cui, Yuning Wang, Wenjie Qiu, He Zhu

    Programming Languages & Formal Methods

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

68. 2024 · PLDI

    RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly

    Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, Amal Ahmed

    Programming Languages & Formal Methods

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

69. 2024 · PLDI

    Robust Resource Bounds with Static Analysis and Bayesian Inference

    Long Pham, Feras A. Saad, Jan Hoffmann

    Programming Languages & Formal Methods

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

70. 2024 · PLDI

    SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories

    Benjamin Mikek, Qirun Zhang

    Programming Languages & Formal Methods

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

71. 2024 · PLDI

    SPORE: Combining Symmetry and Partial Order Reduction

    Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis

    Programming Languages & Formal Methods

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

72. 2024 · PLDI

    Scaling Type-Based Points-to Analysis with Saturation

    Christian Wimmer, Codrut Stancu, David Kozak, Thomas Würthinger

    Programming Languages & Formal Methods

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

73. 2024 · PLDI

    SpEQ: Translation of Sparse Codes using Equivalences

    Avery Laird, Bangtian Liu, Nikolaj Bjørner, Maryam Mehri Dehnavi

    Programming Languages & Formal Methods

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

74. 2024 · PLDI

    Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

    Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe

    Programming Languages & Formal Methods

    日本大学: 東京科学大学 / 京都大学 / 総合研究大学院大学

75. 2024 · PLDI

    Static Analysis for Checking the Disambiguation Robustness of Regular Expressions

    Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, Agnishom Chattopadhyay

    Programming Languages & Formal Methods

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

76. 2024 · PLDI

    Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving

    Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, C.-H. Luke Ong

    Programming Languages & Formal Methods

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

77. 2024 · PLDI

    Stream Types

    Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce

    Programming Languages & Formal Methods

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

78. 2024 · PLDI

    SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques

    Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey

    Programming Languages & Formal Methods

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

79. 2024 · PLDI

    Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis

    Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu

    Programming Languages & Formal Methods

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

80. 2024 · PLDI

    Symbolic Execution for Quantum Error Correction Programs

    Wang Fang, Mingsheng Ying

    Programming Languages & Formal Methods

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

81. 2024 · PLDI

    Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments

    Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, Sarah E. Chasins

    Programming Languages & Formal Methods

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

82. 2024 · PLDI

    The Functional Essence of Imperative Binary Search Trees

    Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley

    Programming Languages & Formal Methods

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

83. 2024 · PLDI

    The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation

    Charles Yuan, Michael Carbin

    Programming Languages & Formal Methods

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

84. 2024 · PLDI

    Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language

    Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers

    Programming Languages & Formal Methods

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

85. 2024 · PLDI

    V-Star: Learning Visibly Pushdown Grammars from Program Inputs

    Xiaodong Jia, Gang Tan

    Programming Languages & Formal Methods

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

86. 2024 · PLDI

    VESTA: Power Modeling with Language Runtime Events

    Joseph Raskind, Timur Babakol, Khaled Mahmoud, Yu David Liu

    Programming Languages & Formal Methods

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

87. 2024 · PLDI

    Verification under Intel-x86 with Persistency

    Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

    Programming Languages & Formal Methods

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

88. 2024 · PLDI

    Verified Extraction from Coq to OCaml

    Yannick Forster, Matthieu Sozeau, Nicolas Tabareau

    Programming Languages & Formal Methods

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

89. 2024 · PLDI

    Wavefront Threading Enables Effective High-Level Synthesis

    Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, Doug Burger

    Programming Languages & Formal Methods

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