@bechang.bsky.social

The PAgE'26 @ #PLDI2026 program is live! PAgE is packed with great talks on formal methods for AI, agentic code reasoning and debugging, self-healing agentic programs, and more. Join us Monday, June 15 in Boulder, CO for PAgE: 🔗https://pldi26.sigplan.org/home/page-2026

The PyTorch Foundation is hosting a Helion DSL Tutorial at #PLDI2026 on Monday, June 15! Helion is a Python-embedded DSL for writing performant and portable machine learning kernels for NVIDIA/AMD GPUs, Google TPUs, and other hardware accelerators. Join us for a hands-on experience with Helion!

Don't forget about PLDI's exciting workshops at registration! ARRAY: Array-oriented Programming CP: Choreographic Programming EGRAPHS: Equality Graphs PAgE: Principles of Agentic Engineering PROPL: Programming for the Planet SOAP: SotA in Program Analysis TB@60: Tom Ball at 60

The Proceedings of the ACM on Programming Languages (PACMPL) issue for #PLDI2026 is out! 🔗https://dl.acm.org/toc/pacmpl/2026/10/PLDI With less than a week until the conference kicks off in Boulder, CO on June 15, now's the perfect time to plan your reading list and program schedule!