PPaperPicks
← All conferences
Editions202620252024

PLDI 2024

A*

ACM SIGPLAN Conference on Programming Language Design & Implementation

Official site ↗
89
accepted papers
342
authors
June 24-28, 2024
dates
Denmark
location

89 / 89 papers

  1. 1
    A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
    Ruslan Nikolaev
    ,
    Binoy Ravindran
  2. 2
    A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
    Zhe Zhou
    ,
    Qianchuan Ye
    ,
    Benjamin Delaware
    ,
    Suresh Jagannathan
  3. 3
    A Lightweight Polyglot Code Transformation Language
    Ameya Ketkar
    ,
    Daniel Ramos
    ,
    Lazaro Clapp
    ,
    Raj Barik
    ,
    Murali Krishna Ramanathan
  4. 4
    A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
    Sunho Park
    ,
    Jaewoo Kim
    ,
    Ike Mulder
    ,
    Jaehwang Jung
    ,
    Janggun Lee
    ,
    Robbert Krebbers
    ,
    Jeehoon Kang
  5. 5
    A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
    Aleksandar Krastev
    ,
    Nikola Samardzic
    ,
    Simon Langowski
    ,
    Srinivas Devadas
    ,
    Daniel Sánchez
  6. 6
    A Verified Compiler for a Functional Tensor Language
    Amanda Liu
    ,
    Gilbert Bernstein
    ,
    Adam Chlipala
    ,
    Jonathan Ragan-Kelley
  7. 7
    Allo: A Programming Model for Composable Accelerator Design
    Hongzheng Chen
    ,
    Niansong Zhang
    ,
    Shaojie Xiang
    ,
    Zhichen Zeng
    ,
    Mengjia Dai
    ,
    Zhiru Zhang
  8. 8
    An Algebraic Language for Specifying Quantum Networks
    Anita Buckley
    ,
    Pavel Chuprikov
    ,
    Rodrigo Otoni
    ,
    Robert Soulé
    ,
    Robert Rand
    ,
    Patrick Eugster
  9. 9
    Associated Effects: Flexible Abstractions for Effectful Programming
    Matthew Lutze
    ,
    Magnus Madsen
  10. 10
    Automated Verification of Fundamental Algebraic Laws
    George Zakhour
    ,
    Pascal Weisenburger
    ,
    Guido Salvaneschi
  11. 11
    Bit Blasting Probabilistic Programs
    Poorva Garg
    ,
    Steven Holtzen
    ,
    Guy Van den Broeck
    ,
    Todd D. Millstein
  12. 12
    Boosting Compiler Testing by Injecting Real-World Code
    Shaohua Li
    ,
    Theodoros Theodoridis
    ,
    Zhendong Su
  13. 13
    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
  14. 14
    Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
    Qiuping Yi
    ,
    Yifan Yu
    ,
    Guowei Yang
  15. 15
    Compilation of Modular and General Sparse Workspaces
    Genghan Zhang
    ,
    Olivia Hsu
    ,
    Fredrik Kjolstad
  16. 16
    Compilation of Qubit Circuits to Optimized Qutrit Circuits
    Ritvik Sharma
    ,
    Sara Achour
  17. 17
    Compiling Conditional Quantum Gates without Using Helper Qubits
    Keli Huang
    ,
    Jens Palsberg
  18. 18
    Compiling Probabilistic Programs for Variable Elimination with Information Flow
    Jianlin Li
    ,
    Eric Wang
    ,
    Yizhou Zhang
  19. 19
    Compiling with Abstract Interpretation
    Dorian Lesbre
    ,
    Matthieu Lemerre
  20. 20
    Compositional Semantics for Shared-Variable Concurrency
    Mikhail Svyatlovskiy
    ,
    Shai Mermelstein
    ,
    Ori Lahav
  21. 21
    Concurrent Immediate Reference Counting
    Jaehwang Jung
    ,
    Jeonghyeon Kim
    ,
    Matthew J. Parkinson
    ,
    Jeehoon Kang
  22. 22
    Consolidating Smart Contracts with Behavioral Contracts
    Guannan Wei
    ,
    Danning Xie
    ,
    Wuqi Zhang
    ,
    Yongwei Yuan
    ,
    Zhuo Zhang
  23. 23
    Context-Free Language Reachability via Skewed Tabulation
    Yuxiang Lei
    ,
    Camille Bossut
    ,
    Yulei Sui
    ,
    Qirun Zhang
  24. 24
    Daedalus: Safer Document Parsing
    Iavor S. Diatchki
    ,
    Mike Dodds
    ,
    Harrison Goldstein
    ,
    Bill Harris
    ,
    David A. Holland
    ,
    Benoît Razet
    ,
    Cole Schlesinger
    ,
    Simon Winwood
  25. 25
    Decidable Subtyping of Existential Types for Julia
    Julia Belyakova
    ,
    Benjamin Chung
    ,
    Ross Tate
    ,
    Jan Vitek
  26. 26
    Descend: A Safe GPU Systems Programming Language
    Bastian Köpcke
    ,
    Sergei Gorlatch
    ,
    Michel Steuwer
  27. 27
    Diffy: Data-Driven Bug Finding for Configurations
    Siva Kesava Reddy Kakarla
    ,
    Francis Y. Yan
    ,
    Ryan Beckett
  28. 28
    Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
    Jaemin Hong
    ,
    Sukyoung Ryu
  29. 29
    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
  30. 30
    Equivalence and Similarity Refutation for Probabilistic Programs
    Krishnendu Chatterjee
    ,
    Ehsan Kafshdar Goharshady
    ,
    Petr Novotný
    ,
    Dorde Zikelic
  31. 31
    Equivalence by Canonicalization for Synthesis-Backed Refactoring
    Justin Lubin
    ,
    Jeremy Ferguson
    ,
    Kevin Ye
    ,
    Jacob Yim
    ,
    Sarah E. Chasins
  32. 32
    Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
    Peisen Yao
    ,
    Jinguo Zhou
    ,
    Xiao Xiao
    ,
    Qingkai Shi
    ,
    Rongxin Wu
    ,
    Charles Zhang
  33. 33
    Falcon: A Scalable Analytical Cache Model
    Arjun Pitchanathan
    ,
    Kunwar Grover
    ,
    Tobias Grosser
  34. 34
    Floating-Point TVPI Abstract Domain
    Joao Rivera
    ,
    Franz Franchetti
    ,
    Markus Püschel
  35. 35
    Foundational Integration Verification of a Cryptographic Server
    Andres Erbsen
    ,
    Jade Philipoom
    ,
    Dustin Jamner
    ,
    Ashley Lin
    ,
    Samuel Gruetter
    ,
    Clément Pit-Claudel
    ,
    Adam Chlipala
  36. 36
    From Batch to Stream: Automatic Generation of Online Algorithms
    Ziteng Wang
    ,
    Shankara Pailoor
    ,
    Aaryan Prakash
    ,
    Yuepeng Wang
    ,
    Isil Dillig
  37. 37
    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
  38. 38
    Hashing Modulo Context-Sensitive 𝛼-Equivalence
    Lasse Blaauwbroek
    ,
    Miroslav Olsák
    ,
    Herman Geuvers
  39. 39
    Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
    Thibault Dardinier
    ,
    Peter Müller
  40. 40
    Hyperblock Scheduling for Verified High-Level Synthesis
    Yann Herklotz
    ,
    John Wickerson
  41. 41
    Inductive Approach to Spacer
    Takeshi Tsukada
    ,
    Hiroshi Unno
  42. 42
    Input-Relational Verification of Deep Neural Networks
    Debangshu Banerjee
    ,
    Changming Xu
    ,
    Gagandeep Singh
  43. 43
    IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
    Chujun Geng
    ,
    Spyros Blanas
    ,
    Michael D. Bond
    ,
    Yang Wang
  44. 44
    Jacdac: Service-Based Prototyping of Embedded Systems
    Thomas Ball
    ,
    Peli de Halleux
    ,
    James Devine
    ,
    Steve Hodges
    ,
    Michal Moskal
  45. 45
    KATch: A Fast Symbolic Verifier for NetKAT
    Mark Moeller
    ,
    Jules Jacobs
    ,
    Olivier Savary Bélanger
    ,
    David Darais
    ,
    Cole Schlesinger
    ,
    Steffen Smolka
    ,
    Nate Foster
    ,
    Alexandra Silva
  46. 46
    LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
    Longfei Qiu
    ,
    Yoonseung Kim
    ,
    Ji-Yong Shin
    ,
    Jieung Kim
    ,
    Wolf Honoré
    ,
    Zhong Shao
  47. 47
    Linear Matching of JavaScript Regular Expressions
    Aurèle Barrière
    ,
    Clément Pit-Claudel
  48. 48
    Live Verification in an Interactive Proof Assistant
    Samuel Gruetter
    ,
    Viktor Fukala
    ,
    Adam Chlipala
  49. 49
    Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation
    Mridul Aanjaneya
    ,
    Santosh Nagarakatte
  50. 50
    Mechanised Hypersafety Proofs about Structured Data
    Vladimir Gladshtein
    ,
    Qiyuan Zhao
    ,
    Willow Ahrens
    ,
    Saman P. Amarasinghe
    ,
    Ilya Sergey