PPaperPicks
← All conferences
Editions202620252024

PLDI 2025

A*

ACM SIGPLAN Conference on Programming Language Design & Implementation

Official site ↗
89
accepted papers
349
authors
June 16-20, 2025
dates
South Korea
location

89 / 89 papers

  1. 1
    A Concurrent Approach to String Transformation Synthesis
    Yuantian Ding
    ,
    Xiaokang Qiu
  2. 2
    A Hybrid Approach to Semi-automated Rust Verification
    Sacha-Élie Ayoun
    ,
    Xavier Denis
    ,
    Petar Maksimovic
    ,
    Philippa Gardner
  3. 3
    A Uniform Framework for Handling Position Constraints in String Solving
    Yu-Fang Chen
    ,
    Vojtech Havlena
    ,
    Michal Hecko
    ,
    Lukás Holík
    ,
    Ondrej Lengál
  4. 4
    Active Learning of Symbolic NetKAT Automata
    Mark Moeller
    ,
    Tiago Ferreira
    ,
    Thomas Lu
    ,
    Nate Foster
    ,
    Alexandra Silva
  5. 5
    An Interactive Debugger for Rust Trait Errors
    Gavin Gray
    ,
    Will Crichton
    ,
    Shriram Krishnamurthi
  6. 6
    Automated Exploit Generation for Node.js Packages
    Filipe Marques
    ,
    Mafalda Ferreira
    ,
    André Nascimento
    ,
    Miguel E. Coimbra
    ,
    Nuno Santos
    ,
    Limin Jia
    ,
    José Fragoso Santos
  7. 7
    AWDIT: An Optimal Weak Database Isolation Tester
    Lasse Møldrup
    ,
    Andreas Pavlogiannis
  8. 8
    Bean: A Language for Backward Error Analysis
    Ariel E. Kellison
    ,
    Laura Zielinski
    ,
    David Bindel
    ,
    Justin Hsu
  9. 9
    Certified Compilers à la Carte
    Oghenevwogaga Ebresafe
    ,
    Ian Zhao
    ,
    Ende Jin
    ,
    Arthur Bright
    ,
    Charles Jian
    ,
    Yizhou Zhang
  10. 10
    Circuit Optimization using Arithmetic Table Lookups
    Raghav Malik
    ,
    Vedant Paranjape
    ,
    Milind Kulkarni
  11. 11
    CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks
    Ling Zhang
    ,
    Yuting Wang
    ,
    Yalun Liang
    ,
    Zhong Shao
  12. 12
    Correctly Rounded Math Libraries without Worrying about the Application's Rounding Mode
    Sehyeok Park
    ,
    Justin Kim
    ,
    Santosh Nagarakatte
  13. 13
    CRGC: Fault-Recovering Actor Garbage Collection in Pekko
    Dan Plyukhin
    ,
    Gul Agha
    ,
    Fabrizio Montesi
  14. 14
    Destabilizing Iris
    Simon Spies
    ,
    Niklas Mück
    ,
    Haoyi Zeng
    ,
    Michael Sammler
    ,
    Andrea Lattuada
    ,
    Peter Müller
    ,
    Derek Dreyer
  15. 15
    Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
    Dongwei Xiao
    ,
    Shuai Wang
    ,
    Zhibo Liu
    ,
    Yiteng Peng
    ,
    Daoyuan Wu
    ,
    Zhendong Su
  16. 16
    DR.FIX: Automatically Fixing Data Races at Industry Scale
    Farnaz Behrang
    ,
    Zhizhou Zhang
    ,
    Georgian-Vlad Saioc
    ,
    Peng Liu
    ,
    Milind Chabbi
  17. 17
    Dynamic Region Ownership for Concurrency Safety
    Fridtjof Peer Stoldt
    ,
    Gary Brandt Bucher II
    ,
    Sylvan Clebsch
    ,
    Matthew A. Johnson
    ,
    Matthew J. Parkinson
    ,
    Guido van Rossum
    ,
    Eric Snow
    ,
    Tobias Wrigstad
  18. 18
    Dynamic Robustness Verification against Weak Memory
    Roy David Margalit
    ,
    Michalis Kokologiannakis
    ,
    Shachar Itzhaky
    ,
    Ori Lahav
  19. 19
    Efficient Formal Verification of Quantum Error Correcting Programs
    Qifan Huang
    ,
    Li Zhou
    ,
    Wang Fang
    ,
    Mengyu Zhao
    ,
    Mingsheng Ying
  20. 20
    Efficient Linearizability Monitoring
    Parosh Aziz Abdulla
    ,
    Samuel Grahn
    ,
    Bengt Jonsson
    ,
    Shankaranarayanan Krishna
    ,
    Om Swostik Mishra
  21. 21
    Efficient Timestamping for Sampling-Based Race Detection
    Minjian Zhang
    ,
    Daniel Wee Soong Lim
    ,
    Mosaad Al Thokair
    ,
    Umang Mathur
    ,
    Mahesh Viswanathan
  22. 22
    Efficient, Portable, Census-Polymorphic Choreographic Programming
    Mako Bates
    ,
    Shun Kashiwa
    ,
    Syed Jafri
    ,
    Gan Shen
    ,
    Lindsey Kuper
    ,
    Joseph P. Near
  23. 23
    Exact Loop Bound Analysis
    Daniel Riley
    ,
    Grigory Fedyukovich
  24. 24
    Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact
    Lucian Popescu
    ,
    Nuno P. Lopes
  25. 25
    Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence
    Parker Ziegler
    ,
    Justin Lubin
    ,
    Sarah E. Chasins
  26. 26
    First-Class Verification Dialects for MLIR
    Mathieu Fehr
    ,
    Yuyou Fan
    ,
    Hugo Pompougnac
    ,
    John Regehr
    ,
    Tobias Grosser
  27. 27
    Functional Meaning for Parallel Streaming
    Nick Rioux
    ,
    Steve Zdancewic
  28. 28
    Graphiti: Bridging Graph and Relational Database Queries
    Yang He
    ,
    Ruijie Fang
    ,
    Isil Dillig
    ,
    Yuepeng Wang
  29. 29
    Guided Tensor Lifting
    Yixuan Li
    ,
    José Wesley de Souza Magalhães
    ,
    Alexander Brauckmann
    ,
    Michael F. P. O'Boyle
    ,
    Elizabeth Polgreen
  30. 30
    Handling the Selection Monad
    Gordon D. Plotkin
    ,
    Ningning Xie
  31. 31
    Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
    Steven Schaefer
    ,
    Nathan Varner
    ,
    Pedro Henrique Azevedo de Amorim
    ,
    Max S. New
  32. 32
    Iso: Request-Private Garbage Collection
    Tianle Qiu
    ,
    Stephen M. Blackburn
  33. 33
    Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals
    Janggun Lee
    ,
    Jeonghyeon Kim
    ,
    Jeehoon Kang
  34. 34
    LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
    Longfei Qiu
    ,
    Jingqi Xiao
    ,
    Ji-Yong Shin
    ,
    Zhong Shao
  35. 35
    Lightweight and Locality-Aware Composition of Black-Box Subroutines
    Manya Bansal
    ,
    Dillon Sharlet
    ,
    Jonathan Ragan-Kelley
    ,
    Saman P. Amarasinghe
  36. 36
    Link-Time Optimization of Dynamic Casts in C++ Programs
    Xufan Lu
    ,
    Nuno P. Lopes
  37. 37
    Making Concurrent Hardware Verification Sequential
    Thomas Bourgeat
    ,
    Jiazheng Liu
    ,
    Adam Chlipala
    ,
    Arvind
  38. 38
    MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
    Xiuqi Cao
    ,
    Junyu Zhou
    ,
    Yuhao Liu
    ,
    Yunong Shi
    ,
    Gushu Li
  39. 39
    Membership Testing for Semantic Regular Expressions
    Yifei Huang
    ,
    Matin Amini
    ,
    Alexis Le Glaunec
    ,
    Konstantinos Mamouras
    ,
    Mukund Raghothaman
  40. 40
    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
  41. 41
    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
  42. 42
    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
  43. 43
    Multi-stage Relational Programming
    Michael Ballantyne
    ,
    Rafaello Sanna
    ,
    Jason Hemann
    ,
    William E. Byrd
    ,
    Nada Amin
  44. 44
    Nola: Later-Free Ghost State for Verifying Termination in Iris
    Yusuke Matsushita
    ,
    Takeshi Tsukada
  45. 45
    Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
    Jaeseong Kwon
    ,
    Bongjun Jang
    ,
    Juneyoung Lee
    ,
    Kihong Heo
  46. 46
    Optimizing Ancilla-Based Quantum Circuits with SPARE
    Ritvik Sharma
    ,
    Sara Achour
  47. 47
    Partial Evaluation, Whole-Program Compilation
    Chris Fallin
    ,
    Maxwell Bernstein
  48. 48
    Pointer Analysis for Database-Backed Applications
    Yufei Liang
    ,
    Teng Zhang
    ,
    Ganlin Li
    ,
    Tian Tan
    ,
    Chang Xu
    ,
    Chun Cao
    ,
    Xiaoxing Ma
    ,
    Yue Li
  49. 49
    Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
    Pinhan Zhao
    ,
    Yuepeng Wang
    ,
    Xinyu Wang
  50. 50
    Practical Type Inference with Levels
    Andong Fan
    ,
    Han Xu
    ,
    Ningning Xie