Registered user since Sun 10 Nov 2019
Name:Zheng Guo
Country:United States
Affiliation:University of Michigan
Research interests:Program synthesis, automated reasoning
Contributions
PLDI 2026-profile
View general profile
View general profile
PLDI 2026
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States
- Attending
- Program
- Tracks
- PLDI 2026
- PLDI Keynotes
- PLDI Research Papers
- PLDI Events
- Diversity, Equity and Inclusion
- PLDI Meetups
- 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
- Research Artifacts
- Workshops and Tutorials
- 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 @ Sixty Tom Ball at 60
- Organization
- PLDI 2026 Committees
- Organizing Committee
- AV Committee
- Track Committees
- PLDI Research Papers
- Student Research Competition
- Research Artifacts
- Contributors
- People Index
- 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 @ Sixty
- Search
- Series