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
/
Exploiting Sophisticated Static Analysis for Verilog
Who
Qinlin Chen
,
Nairen Zhang
,
Jinpeng Wang
,
Jiacai Cui
,
Tian Tan
,
Xiaoxing Ma
,
Chang Xu
,
Jian Lv
,
Yue Li
Track
PLDI 2026 PLDI Research Papers
Qinlin Chen
Nanjing University
China
Nairen Zhang
Nanjing University
China
Jinpeng Wang
Nanjing University
China
Jiacai Cui
Nanjing University
China
Tian Tan
Nanjing University
China
Xiaoxing Ma
Nanjing University
China
Chang Xu
Nanjing University
China
Jian Lv
Nanjing University
China
Yue Li
Nanjing University
China
x
Fri 17 Apr 16:41
