Jingbo Wang
jingbow.bsky.social
Jingbo Wang
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Reposted 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 ⭐️
June 28, 2025 at 4:15 AM
Reposted by Jingbo Wang
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...
E2: Satnam Singh (Groq)
YouTube video by current continuation
www.youtube.com
May 29, 2025 at 1:50 PM
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!
PLMW @ PLDI 2025 - Programming Languages Mentoring Workshop - PLDI 2025
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...
pldi25.sigplan.org
March 28, 2025 at 3:56 AM
Reposted by Jingbo Wang
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
January 28, 2025 at 7:08 PM