Registered user since Thu 23 Apr 2026
Name:Seokhun Jeong
Country:South Korea
Affiliation:KAIST
GitHub: https://github.com/KunJeong
Research interests:Specification Languages
Contributions
Using general profile
PLDI 2026
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States
- Attending
- Program
- 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
- 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
- Search
- Series