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...
Jingbo Wang
Jingbo Wang
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
348 followers136 following3 posts
Jingbo Wang reposted
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 ⭐️
Jingbo Wang reposted
In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq. A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :) www.youtube.com/watch?v=_g5f...
PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pl... Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!
Jingbo Wang reposted
Introducing Nova (ICLR’25), foundation models for binary/assembly code. We have also released fine-tuned models for binary code decompilation. Preprint: arxiv.org/pdf/2311.13721 #LLM4Code #LLM #BinaryAnalysis #Security @cerias.bsky.social @iclr-conf.bsky.social
Jingbo Wang reposted
my take on bringing HCI to PL blog.sigplan.org/2024/11/21/e...
You are up to date.