PLDI 2026
Mon 15 - Fri 19 June 2026
Boulder, Colorado, United States
Toggle navigation
Attending
Venue: Limelight Boulder
Registration
Sponsorship
Visa Letter
Lodging
Travel
Program
PLDI Program
Your Program
Mon 15 Jun
Tue 16 Jun
Wed 17 Jun
Thu 18 Jun
Fri 19 Jun
Tracks
PLDI 2026
PLDI Events
PLDI Research Papers
Research Artifacts
Workshops and Tutorials
Student Research Competition
Tutorials
- ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators
- A guided tour through Oxidized OCaml
- Deep dive into the AWS Nitro Isolation Engine
- Implementing an Integrated Development Environment: a Quick Start Guide for PL Researchers
- Mechanized Specifications for Real-World Programming Languages
- Writing Performance-Portable Kernels Simplified with Helion
Volunteering
Co-hosted Conferences
ISMM
Memory Management
LCTES
Programming Languages and Embedded Systems
Workshops
ARRAY
Array-oriented Programming
CP
Choreographic Programming
EGRAPHS
Equality Graphs
PAgE
Principles Of Agentic Engineering
PLMW @ PLDI
PL Mentoring Workshop
PROPL
Programming for the Planet
SOAP
State Of the Art in Program Analysis
Tom Ball at Sixty
TB@60
Organization
PLDI 2026 Committees
Organizing Committee
AV Committee
Track Committees
PLDI Research Papers
Research Artifacts
Student Research Competition
Contributors
People Index
Co-hosted Conferences
ISMM
Memory Management
Organizing Committee
Program Committee
LCTES
Programming Languages and Embedded Systems
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Array-oriented Programming
Organizing Committee
Program Committee
CP
Choreographic Programming
Organizing Committee
Program Committee
EGRAPHS
Equality Graphs
Organizing Committee
Program Committee
PAgE
Principles Of Agentic Engineering
Organizing Committee
Program Committee
PLMW @ PLDI
PL Mentoring Workshop
Organizing Committee
PROPL
Programming for the Planet
Organizing Committee
Program Committee
SOAP
State Of the Art in Program Analysis
Organizing Committee
Program Committee
Tom Ball at Sixty
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2026
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2026
(
series
) /
PLDI Research Papers
/
Weighted NetKAT: A Programming Language For Quantitative Network Verification
Who
Emmanuel Suárez Acevedo
,
Tiago Ferreira
,
Kevin Batz
,
Oliver Emil Bøving
,
Nate Foster
,
Alexandra Silva
Track
PLDI 2026 PLDI Research Papers
Emmanuel
Suárez Acevedo
Cornell University
United States
Tiago Ferreira
University College London
United Kingdom
Kevin Batz
RWTH Aachen University
Germany
Oliver
Emil Bøving
Technical University of Denmark
Denmark
Nate Foster
EPFL and Jane Street
United States
Alexandra Silva
Cornell University
United States
x
Sun 19 Apr 20:25
