PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
PLDI 2024 (series) /

PLDI 2024 Program

Detailed TableSession TimelineDetailed Timeline
Get Calendar (iCal)

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Copenhagen
WQS
Opening
09:00 - 09:10
WQS
From ZX to first order logic: a survey of string diagrammatic calculi
09:10 - 09:50
WQSREMOTE
Fock, the rules (... or how to ZX-calculus for continuous variable quan ...
09:50 - 10:10
WQS
Quantum application development for multi-processor systems using CUDA-Q
10:40 - 11:20
WQS
Supporting End-Users in Realizing Quantum Computing Applications
11:20 - 11:40
WQS
Dataflow-Based Optimization for QIR Programs
11:40 - 12:00
WQS
Towards an open-source framework to perform quantum calibration and cha ...
12:00 - 12:20
WQSREMOTE
Quantum program analysis: Verification and Testing
13:40 - 14:20
WQS
A Static Analysis for High-Level Quantum Programming Languages
14:20 - 14:40
WQSREMOTE
Efficient Formal Verification of Quantum Error Correcting Programs
14:40 - 15:00
WQS
Verifying Quantum Circuits in GAP
15:00 - 15:20
WQS
Mitiq, a toolbox for quantum error mitigation and error suppression
16:00 - 16:40
WQS
Quantum Backtracking in Qrisp Applied to Sudoku Problems
16:40 - 17:00
WQS
Classical Shadows for Property-Based Testing of Quantum Programs
17:00 - 17:20
WQS
Hybrid Quantum-Classical Machine Learning with String Diagrams
17:20 - 17:40
WQS
Classical Simulation of Quantum Circuits with Partial Interference Effects
17:40 - 18:00
Directors
PLDI Tutorials
Static Code Analysis with SootUp
09:00 - 10:10
PLDI Tutorials
Static Code Analysis with SootUp
10:40 - 12:20
PLDI Tutorials
Concurrent Algorithms in Kotlin Coroutines
13:40 - 15:20
PLDI Tutorials
Concurrent Algorithms in Kotlin Coroutines
16:00 - 17:40
Filini Restaurant
PLDI Catering
Lunch
12:20 - 13:40
Finland
CP
Opening
09:00 - 09:10
CP
Choreographic Programming: its essence, beauty, and necessity
09:10 - 10:10
CP
A Propositional Dynamic Logic for Choreographies
10:40 - 11:00
CP
Choreographic Programming in Modal Type Theory
11:00 - 11:20
CP
Choreographies meet Communication Failures
11:20 - 11:40
CP
Corps: A Core Calculus of Hierarchical Choreographic Programming
11:40 - 12:00
CP
Masquerade: Information Flow Control for Choreographies
12:00 - 12:20
CP
A Probabilistic Choreography Language for PRISM
13:40 - 14:00
CP
A Function-as-a-Service Choreographic Programming Language: Examples an ...
14:00 - 14:20
CP
Exploring Algebraic Placement in Multiparty Languages
14:20 - 14:40
CP
Poroutines: The Essence of Choreographic Programming?
14:40 - 15:00
CP
We Know I Know You Know; Choreographic Programming With Multicast and M ...
15:00 - 15:20
CP
ChoRus: Library-Level Choreographic Programming in Rust
16:00 - 16:20
CP
Klor: Choreographies for the Working Clojurian
16:20 - 16:40
CP
Suki: Choreographed Distributed Dataflow in Rust
16:40 - 17:00
CP
Toward Verified Library-Level Choreographic Programming with Algebraic ...
17:00 - 17:20
CP
Closing
17:20 - 17:40
Helsinki
Infer
Welcome
09:15 - 09:20
Infer
State of the Infer Platform
09:20 - 10:05
Infer
Finding Retain Cycles for Objective-C with Pulse
10:40 - 11:25
Infer
Bridging the Gap For Security Analysis In Infer
11:30 - 12:15
Infer
Infer Internals for Integrations and Infrastructure
13:40 - 14:25
Infer
Supercharging Infer: Enhancing Static Analysis with Dynamic Data at Wha ...
14:30 - 15:15
Infer
Type-safe Nanopasses: How to write a safe and modern compiler front-end
16:00 - 16:45
Iceland
LCTES
Welcome and Opening
09:00 - 09:20
LCTES
Three Colours of Fuzzing: Reflections and Open Challenges
09:20 - 10:10
LCTES
Accelerating Shared Library Execution in a DBT
10:40 - 10:55
LCTES
Efficient Implementation of Neural Networks Usual Layers on Fixed-Point ...
10:55 - 11:10
LCTES
TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embe ...
11:10 - 11:25
LCTES
Break - 10 minutes
11:25 - 11:35
LCTES
MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Int ...
11:35 - 11:50
LCTES
Optimistic and Scalable Global Function Merging
11:50 - 12:05
LCTES
(Invited paper) Language-Based Deployment Optimization for Random Forest
12:05 - 12:20
LCTESRemote
SmartVisor: User-Friendly Hypervisor for Mobile Robots
13:40 - 13:55
LCTES
Orchestrating Multiple Mixed Precision Models on a Shared Precision-Sca ...
13:55 - 14:10
LCTES
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case ...
14:10 - 14:25
LCTES
Break - 10 minutes
14:25 - 14:35
LCTES
Unmasking the Lurking: Malicious Behavior Detection for IoT Malware wit ...
14:35 - 14:50
LCTESRemote
TWFuzz: Fuzzing Embedded Systems with Three Wires
14:50 - 15:05
LCTES
OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronizatio ...
15:05 - 15:20
LCTES
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to ...
16:00 - 16:15
LCTES
CodeExtract: Enhancing Binary Code Similarity Detection with Code Extra ...
16:15 - 16:30
LCTES
Foundations for a Rust-Like Borrow Checker for C
16:30 - 16:45
LCTES
Enhancing Code Vulnerability Detection via Vulnerability-Preserving Dat ...
16:45 - 17:00
LCTES
(WIP) A Flexible-Granularity Task Graph Representation and its Generati ...
17:00 - 17:15
LCTES
Award and Closing
17:15 - 17:40
Reykjavik
EGRAPHS
Welcome
09:00 - 09:10
EGRAPHS
E-graphs and Automated Reasoning: Looking back to look forward
09:10 - 09:40
EGRAPHSRemote
Equivalence Hypergraphs: E-Graphs for Monoidal Theories
09:40 - 10:10
EGRAPHS
Slotted E-Graphs
10:40 - 11:05
EGRAPHS
Towards Relational Contextual Equality Saturation
11:05 - 11:30
EGRAPHS
Performant Dynamically Typed E-Graphs in Pure Julia
11:30 - 11:55
EGRAPHS
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
11:55 - 12:20
EGRAPHS
Powered by Less: Low Power Circuit Synthesis
13:40 - 14:05
EGRAPHS
Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how shou ...
14:05 - 14:30
EGRAPHS
Loop Saturation for Scalable High-Level Synthesis
14:30 - 14:55
EGRAPHS
SpEQ: Translation of Sparse Codes using Equivalences
14:55 - 15:20
EGRAPHS
Automated Proof Generation for Associative and Distributive Rewriting w ...
16:00 - 16:25
EGRAPHS
superVer: Verifying Probabilistic Independence of Systems of Expression ...
16:25 - 16:50
EGRAPHS
Bridging Syntax and Semantics of Lean Expressions in E-Graphs
16:50 - 17:15
EGRAPHS
Disequalities in E-Graphs: An Experiment
17:15 - 17:40
Stockholm
PLDI Tutorials
Algorithms and Applications for Provable Repair of Deep Neural Networks
09:00 - 10:10
PLDI Tutorials
Algorithms and Applications for Provable Repair of Deep Neural Networks
10:40 - 12:20
PLDI Tutorials
Democratizing DSL development with the BuildIt Framework
13:40 - 15:20
PLDI Tutorials
Democratizing DSL development with the BuildIt Framework
16:00 - 17:40
Sweden
PLDI Tutorials
Quick and dirty development of static analyses with LiSA
09:00 - 10:10
PLDI Tutorials
Quick and dirty development of static analyses with LiSA
10:40 - 12:20
PLMW@PLDI
Day opening
13:40 - 13:50
PLMW@PLDI
Social Event: PL Cards
13:50 - 14:30
PLMW@PLDI
Skill Exchange
14:30 - 15:20
PLMW@PLDI
Open research group positions
16:00 - 17:30

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Copenhagen
RTFM
Opening
09:00 - 09:10
RTFM
On Long-Term Research Problem Selection
09:10 - 09:50
RTFM
On Doing Interdisciplinary Research
10:40 - 11:20
RTFM
Panel: Promotion and Tenure
11:20 - 12:20
RTFM
On Running a Research Group
13:40 - 14:20
RTFM
Panel: Work-Life Balance, Service, and Teaching
14:20 - 15:20
RTFM
On Writing Grants
16:00 - 16:40
RTFM
Panel: Recruiting and Supporting Students
16:40 - 17:40
Copenhagen City Hall
PLDI Events
Reception
18:00 - 20:00
Filini Restaurant
PLDI Catering
Lunch
12:20 - 13:40
Finland
Sparse
Welcome / Intro
09:00 - 09:10
Sparse
Practical Considerations for Embracing Sparse Computation
09:10 - 09:30
Sparse
When Are We Done Optimizing?
09:30 - 09:50
Sparse
Panel: What are we doing?
09:50 - 10:10
Sparse
Exploiting Sparsity and Redundancy
10:40 - 11:00
Sparse
Recent Advances in Incremental View Maintenance
11:00 - 11:20
Sparse
Hybrid Relational Tensor Processing
11:20 - 11:40
Sparse
Mapping Sparse Applications to 
Accelerated Computing Systems
11:40 - 12:00
Sparse
Panel: Databases and Hardware
12:00 - 12:20
Sparse
Equality Saturation and Joins
13:40 - 14:00
Sparse
SpEQ: Translation of Sparse Codes using Equivalences
14:00 - 14:20
Sparse
Design DSLs with xDSL
14:20 - 14:40
Sparse
Compiling Control Flow in Sparse and Structured Array Programs
14:40 - 15:00
Sparse
Panel: Compilation Frameworks
15:00 - 15:20
Sparse
Offloading-Efficient Sparse AI Systems
16:00 - 16:20
Sparse
Continuous Arrays
16:20 - 16:40
Sparse
Mapping the landscape of locality optimisation: compact metadata and am ...
16:40 - 17:00
Sparse
Four Languages for Portability
17:00 - 17:20
Sparse
Panel: Applications and Languages
17:20 - 17:40
Helsinki
PODELSKI
Abstract Interpretation, Software Model Checking, and Beyond - A Celebr ...
09:00 - 09:35
PODELSKI
Find, Use, and Conserve Tools for Formal Methods
09:35 - 10:10
PODELSKI
Session Types for People who Love Automata
10:40 - 11:13
PODELSKI
Concurrent ∀∃-Hyperproperties
11:13 - 11:46
PODELSKI
Optimal Quantum Programs
11:46 - 12:20
PODELSKI
Model Checking Distributed Software Systems
13:40 - 14:13
PODELSKI
Liveness to Safety for Distributed Systems
14:13 - 14:46
PODELSKI
On the Power of Temporal Prophecy
14:46 - 15:20
PODELSKI
Reasoning About Hilbert’s Choice Operator in SMT
16:00 - 16:33
PODELSKI
Living inside a Theorem Proving Universe
16:33 - 17:06
PODELSKI
Closing Remarks
17:06 - 17:40
Iceland
ISMM
Welcome to ISMM
09:00 - 09:10
ISMM
Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store
09:10 - 10:10
ISMM
Memory Management on Mobile Devices
10:40 - 11:00
ISMM
Garbage Collection for Mostly Serialized Heaps
11:00 - 11:20
ISMMRemote
Evaluating Finalization-Based Object Lifetime Profiling
11:20 - 11:40
ISMM
Supporting Trusted Virtual Machines with Hardware-Based Secure Remote M ...
11:40 - 12:00
ISMM
A Managed Memory System for Micro Controllers with NOR Flash Memory
12:00 - 12:20
ISMM
Keynote: Enabling the AI Revolution: Next-Generation Memory Solutions f ...
13:40 - 14:40
ISMM
The One Pass (OP) Compactor: An Intellectual Abstract
14:40 - 15:00
ISMM
BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Wo ...
15:00 - 15:20
ISMM
Reference Counting Deeply Immutable Data Structures with Cycles: An Int ...
15:20 - 15:40
ISMMRemote
SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
16:00 - 16:20
ISMM
A Heuristic for Periodic Memory Allocation with Little Fragmentation to ...
16:20 - 16:40
ISMM
ESPN: Memory-Efficient Multi-vector Information Retrieval
16:40 - 17:00
Reykjavik
SOAP
Recent Advances in Floating-point (Static) Analyses
09:00 - 09:50
SOAPRemote
Static Analysis for CHERI
09:50 - 10:10
SOAP
Challenges and Opportunities in Program Analysis for JavaScript
10:40 - 11:30
SOAP
Dr Wenowdis: Specializing dynamic language C extensions using type info ...
11:30 - 11:50
SOAP
Interleaving Static Analysis and LLM Prompting
11:50 - 12:10
SOAP
Lightweight Resource Leak Verification and Inference
13:40 - 14:30
SOAP
Interactive Source-to-Source Optimizations Validated using Static Resou ...
14:30 - 14:50
SOAP
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on ...
14:50 - 15:10
SOAP
Misconceptions About Loops in C
16:00 - 16:20
SOAP
A Better Approximation for Interleaved Dyck Reachability
16:20 - 16:40
SOAP
ValBench: Benchmarking exact value analysis
16:40 - 17:00
SOAP
Closing and Best Presentation Award
17:00 - 17:05
Stockholm
ARRAY
Academic jam session
09:00 - 10:10
ARRAY
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer ...
10:40 - 11:05
ARRAY
An LLP (q, k) Parser Generator
11:05 - 11:30
ARRAY
Mechanical Proofs in an Array-Combinator Language
11:30 - 11:55
ARRAY
Translating Concepts of the Futhark Programming Language into an Extend ...
11:55 - 12:20
ARRAY
Apple Array Allocation
13:40 - 14:05
ARRAY
Shray: an Owner-Compute Distributed Shared-Memory System
14:05 - 14:30
ARRAY
Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel ...
14:30 - 14:55
ARRAY
Zero-Overhead Parallel Scans for Multi-Core CPUs
14:55 - 15:20
ARRAY
Points for Free: Embedding Pointful Array Programming in Python
16:00 - 16:25
ARRAY
Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environ ...
16:25 - 16:50
ARRAY
On Structural Under and GPUs
16:50 - 17:15
ARRAYRemote
The Landscape of Formal Verification in APL: a Review with a Case Study ...
17:15 - 17:40
Sweden
PLMW@PLDI
Opening Remarks
09:00 - 09:10
PLMW@PLDI
Thoughts on the interplay between corporate, government, and university R&D
09:10 - 10:10
PLMW@PLDI
Letting users do the undecidable: lessons from program synthesis
10:40 - 11:10
PLMW@PLDI
A Tale of Shared Memory Concurrency in Programming Languages
11:10 - 11:40
PLMW@PLDI
How to read a PL-security paper
11:40 - 12:20
PLMW@PLDI
Panel: PL and Beyond
13:40 - 14:30
PLMW@PLDI
DrFix: Automated Data Race Fixing using Program Analysis and Generative AI
14:30 - 15:00
PLMW@PLDI
A Tour of Program Optimization
15:00 - 15:30
PLMW@PLDI
Uncertainty and my scientific journey
16:00 - 16:45
PLMW@PLDI
Panel: Career Paths in PL
16:45 - 17:45
PLMW@PLDI
Conclusion
17:45 - 18:00

Wed 26 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Blue Elephant Restaurant
PLDI Diversity, Equity and Inclusion
PLDI women's dinner
19:30 - 21:00
Capital Ballroom
PLDI Events
SIGPLAN-M Lunch
12:20 - 13:40
PLDI Catering
Lunch
12:20 - 13:40
PLDI SRC
Am I sweeping right?
18:00 - 18:07
PLDI SRC
A Never-Ending Trace: Catching Goto and Recursive Divergence
18:07 - 18:15
PLDI SRC
AutoSpec: Automating the Refinement of Reinforcement Learning Specifica ...
18:15 - 18:22
PLDI SRC
Coping with shared mutable state in a typestate-oriented concurrent lan ...
18:22 - 18:30
PLDI SRC
Evaluating PBT Frameworks in OCaml
18:30 - 18:37
PLDI SRC
Exceptions in a Message Passing Interpretation of Substructural Logic
18:37 - 18:45
PLDI SRC
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Liv ...
18:45 - 18:52
PLDI SRC
GRust: A Programming Language for Automotive Engineering
18:52 - 19:00
PLDI SRC
Mechanized semantics for ECMAScript regexes
19:00 - 19:07
PLDI SRC
Monitoring Linearizability in Polynomial Time
19:07 - 19:15
PLDI SRC
Neural Abstract Interpretation
19:15 - 19:22
PLDI SRC
Parallelism with Flow Data for Distributed Tensor
19:22 - 19:30
PLDI SRC
Revealing Optimizations in High-Performance Kernel Libraries: A Program ...
19:30 - 19:37
PLDI SRC
Synthesising Programming Languages
19:37 - 19:45
PLDI SRC
VOLPIC: Verifying Lifted Pascal in Coq
19:45 - 19:52
PLDI SRC
Who checks the checkers? Steps towards reliable equivalence checking
19:52 - 20:00
Filini Restaurant
PLDI Catering
Lunch
12:20 - 13:40
Finland / Norway
PLDI Research Papers
Bit Blasting Probabilistic Programs
10:40 - 11:00
PLDI Research Papers
Compiling Probabilistic Programs for Variable Elimination with Informat ...
11:00 - 11:20
PLDI Research Papers
Equivalence and Similarity Refutation for Probabilistic Programs
11:20 - 11:40
PLDI Research Papers
GenSQL: A Probabilistic Programming System for Querying Generative Mode ...
11:40 - 12:00
PLDI Research Papers
Probabilistic Programming with Programmable Variational Inference
12:00 - 12:20
PLDI Research Papers
Static Posterior Inference of Bayesian Probabilistic Programming via Po ...
13:40 - 14:00
PLDI Research Papers
Consolidating Smart Contracts with Behavioral Contracts
14:00 - 14:20
PLDI Research Papers
NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks
14:20 - 14:40
PLDI Research Papers
KATch: A Fast Symbolic Verifier for NetKAT
14:40 - 15:00
PLDI Research Papers
A Tensor Compiler with Automatic Data Packing for Simple and Efficient ...
16:00 - 16:20
PLDI Research Papers
Quantitative Robustness for Vulnerability Assessment
16:20 - 16:40
PLDI Research Papers
Quest Complete: The Holy Grail of Gradual Security
16:40 - 17:00
PLDI Research Papers
Foundational Integration Verification of a Cryptographic Server
17:00 - 17:20
Iceland / Denmark
PLDI Research Papers
Compilation of Qubit Circuits to Optimized Qutrit Circuits
10:40 - 11:00
PLDI Research Papers
Qubit Recycling Revisited
11:00 - 11:20
PLDI Research Papers
The T-Complexity Costs of Error Correction for Control Flow in Quantum ...
11:20 - 11:40
PLDI Research Papers
Compiling Conditional Quantum Gates without Using Helper Qubits
11:40 - 12:00
PLDI Research Papers
An Algebraic Language for Specifying Quantum Networks
12:00 - 12:20
PLDI Research Papers
Towards Trustworthy Automated Program Verifiers: Formally Validating Tr ...
13:40 - 14:00
PLDI Research Papers
Verified Extraction from Coq to OCaml
14:00 - 14:20
PLDI Research Papers
Verification under Intel-x86 with Persistency
14:20 - 14:40
PLDI Research Papers
RefinedRust: A Type System for High-Assurance Verification of Rust Programs
14:40 - 15:00
PLDI Research Papers
Hyperblock Scheduling for Verified High-Level Synthesis
15:00 - 15:20
PLDI Research Papers
Refined Input, Degraded Output: The Counterintuitive World of Compiler ...
16:00 - 16:20
PLDI Research PapersRemote
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug ...
16:20 - 16:40
PLDI Research Papers
Diffy: Data-Driven Bug Finding for Configurations
16:40 - 17:00
PLDI Research Papers
Boosting Compiler Testing by Injecting Real-World Code
17:00 - 17:20
Norway / Finland / Sweden
PLDI Research Papers
The Future of Fast Code: Giving Hardware What It Wants
09:00 - 10:10
Sweden
PLDI Research Papers
Daedalus: Safer Document Parsing
10:40 - 11:00
PLDI Research Papers
SpEQ: Translation of Sparse Codes using Equivalences
11:00 - 11:20
PLDI Research Papers
[TOPLAS] Choral: Object-Oriented Choreographic Programming
11:20 - 11:40
PLDI Research Papers
Compiling with Abstract Interpretation
11:40 - 12:00
PLDI Research Papers
Don’t Write, but Return: Replacing Output Parameters with Algebraic Dat ...
12:00 - 12:20
PLDI Research Papers
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
13:40 - 14:00
PLDI Research Papers
Associated Effects
14:00 - 14:20
PLDI Research Papers
Decidable Subtyping of Existential Types for Julia
14:20 - 14:40
PLDI Research Papers
Numerical Fuzz: A Type System for Rounding Error Analysis
14:40 - 15:00
PLDI Research Papers
Stream Types
15:00 - 15:20
PLDI Research Papers
A Verified Compiler for a Functional Tensor Language
16:00 - 16:20
PLDI Research Papers
[TOPLAS] (De/Re)-Composition of Data-Parallel Computations via Multi-Di ...
16:20 - 16:40
PLDI Research Papers
Compilation of Modular and General Sparse Workspaces
16:40 - 17:00
PLDI Research Papers
Descend: A Safe GPU Systems Programming Language
17:00 - 17:20

Thu 27 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Capital Ballroom
PLDI Catering
Lunch
12:20 - 13:40
Filini Restaurant
PLDI Catering
Lunch
12:20 - 13:40
Finland / Norway
PLDI Research Papers
The Functional Essence of Imperative Binary Search Trees
10:40 - 11:00
PLDI Research Papers
Quiver: Guided Abductive Inference of Separation Logic Specifications i ...
11:00 - 11:20
PLDI Research Papers
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimension ...
11:20 - 11:40
PLDI Research Papers
Live Verification in an Interactive Proof Assistant
11:40 - 12:00
PLDI Research Papers
Predictable Verification using Intrinsic Definitions
12:00 - 12:20
PLDI Research Papers
Mechanised Hypersafety Proofs about Structured Data
13:40 - 14:00
PLDI Research Papers
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
14:00 - 14:20
PLDI Research Papers
A HAT Trick: Automatically Verifying Representation Invariants using Sy ...
14:20 - 14:40
PLDI SRC
SRC Finals
15:20 - 17:00
Iceland / Denmark
PLDI Research Papers
Linear Matching of JavaScript Regular Expressions
10:40 - 11:00
PLDI Research Papers
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability D ...
11:00 - 11:20
PLDI Research Papers
Bringing the WebAssembly Standard up to Speed with SpecTec
11:20 - 11:40
PLDI Research Papers
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
11:40 - 12:00
PLDI Research Papers
Concurrent Immediate Reference Counting
12:00 - 12:20
PLDI Research Papers
[PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable S ...
13:40 - 14:00
PLDI Research Papers
[PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When F ...
14:00 - 14:20
PLDI Research Papers
[TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
14:20 - 14:40
PLDI Events
Data-race safety for the masses
15:20 - 15:40
PLDI Events
Programming Languages at Huawei
15:40 - 16:00
PLDI Events
Formal reasoning at Amazon Web Services
16:00 - 16:20
Norway / Finland / Sweden
PLDI Research Papers
AI-Assisted Programming Today and Tomorrow
09:00 - 10:10
Oslo
PLDI Diversity, Equity and Inclusion
LGBTQIA+ lunch
12:20 - 13:40
Reykjavik
PLDI Events
Business Meeting
17:00 - 18:00
Scandinavian Ballroom
PLDI Catering
Dinner
19:00 - 21:00
Sweden
PLDI Research Papers
Equivalence by Canonicalization for Synthesis-Backed Refactoring
10:40 - 11:00
PLDI Research Papers
PL4XGL: A Programming Language Approach to Explainable Graph Learning
11:00 - 11:20
PLDI Research Papers
Syntactic Code Search with Sequence-to-Tree Matching
11:20 - 11:40
PLDI Research Papers
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
11:40 - 12:00
PLDI Research Papers
Hashing Modulo Context-Sensitive Alpha-Equivalence
12:00 - 12:20
PLDI Research Papers
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint- ...
13:40 - 14:00
PLDI Research Papers
Inductive Approach to Spacer
14:00 - 14:20
PLDI Research Papers
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded ...
14:20 - 14:40
PLDI Events
European Research Council Funding Opportunities
15:20 - 16:30

Fri 28 Jun

Displayed time zone: Windhoek change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Capital Ballroom
PLDI Catering
Lunch
12:20 - 13:40
Filini Restaurant
PLDI Catering
Lunch
12:20 - 13:40
Finland / Norway
PLDI Research Papers
From Batch to Stream: Automatic Generation of Online Algorithms
10:40 - 11:00
PLDI Research Papers
[TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmi ...
11:00 - 11:20
PLDI Research Papers
Superfusion: Eliminating Intermediate Data Structures via Inductive Syn ...
11:20 - 11:40
PLDI Research PapersRemote
Recursive Program Synthesis using Paramorphisms
11:40 - 12:00
PLDI Research PapersRemote
Reward-Guided Synthesis of Intelligent Agents with Control Structures
12:00 - 12:20
PLDI Research Papers
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
13:40 - 14:00
PLDI Research Papers
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
14:00 - 14:20
PLDI Research Papers
Compositional Semantics for Shared-Variable Concurrency
14:20 - 14:40
PLDI Research Papers
Input-Relational Verification of Deep Neural Networks
14:40 - 15:00
PLDI Research Papers
Automated Verification of Fundamental Algebraic Laws
15:00 - 15:20
Iceland / Denmark
PLDI Research Papers
A Lightweight Polyglot Code Transformation Language
10:40 - 11:00
PLDI Research Papers
SPORE: Combining Symmetry and Partial Order Reduction
11:00 - 11:20
PLDI Research Papers
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Be ...
11:20 - 11:40
PLDI Research PapersRemote
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based ...
11:40 - 12:00
PLDI Research Papers
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
12:00 - 12:20
PLDI Research Papers
Allo: A Programming Model for Composable Accelerator Design
13:40 - 14:00
PLDI Research Papers
VESTA: Power Modeling with Language Runtime Events
14:00 - 14:20
PLDI Research Papers
Modular Hardware Design of Pipelined Circuits with Hazards
14:20 - 14:40
PLDI Research Papers
Jacdac: Service-Based Prototyping of Embedded Systems
14:40 - 15:00
PLDI Research Papers
Wavefront Threading Enables Effective High-Level Synthesis
15:00 - 15:20
Norway / Finland / Sweden
PLDI Research Papers
Much Still to Do in Compiler Verification (A Perspective from the CakeM ...
09:00 - 10:10
Oslo
PLDI Diversity, Equity and Inclusion
URM Lunch
12:20 - 13:40
Sweden
PLDI Research Papers
[TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
10:40 - 11:00
PLDI Research Papers
Efficient Static Vulnerability Analysis for JavaScript with Multiversio ...
11:00 - 11:20
PLDI Research PapersRemote
Floating-Point TVPI Abstract Domain
11:20 - 11:40
PLDI Research Papers
Reducing Static Analysis Unsoundness with Approximate Interpretation
11:40 - 12:00
PLDI Research Papers
Falcon: A Scalable Analytical Cache Model
12:00 - 12:20
PLDI Research Papers
Scaling Type-Based Points-to Analysis with Saturation
13:40 - 14:00
PLDI Research Papers
Program Analysis for Adaptive Data Analysis
14:00 - 14:20
PLDI Research Papers
Robust Resource Bounds with Static Analysis and Bayesian Inference
14:20 - 14:40
PLDI Research Papers
Context-Free Language Reachability via Skewed Tabulation
14:40 - 15:00
PLDI Research Papers
Static Analysis for Checking the Disambiguation Robustness of Regular E ...
15:00 - 15:20