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...
Posts by Jingbo Wang
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 ⭐️
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!
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
Congrats! 🎉