Jingbo Wang

@jingbow.bsky.social

Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM

We encourage undergraduate, master’s, and early-stage PhD students interested in programming languages to apply for PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL. Apply here: pldi26.sigplan.org/home/PLMW-PL...

PLMW @ PLDI 2026 - Programming Languages Mentoring Workshop 2026 - PLDI 2026

The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...

pldi26.sigplan.org

Last but not least, the SIGPLAN Robin Milner Young Researcher Award was also announced at PLDI. This year, the award went to Işıl Dillig ( @idillig.bsky.social ), whose research has had profound and far-reaching contributions to program analysis, verification, and synthesis ⭐️

Bild