Sign in

Jingbo Wang

@jingbow.bsky.social
344 followers 136 following 3 posts

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

PostsRepliesMedia
Jingbo Wang @jingbow.bsky.social · 29/03/2026
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...
pldi26.sigplan.org
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...
0610
Reposted by Jingbo Wang
PLDI @sigplan-pldi.bsky.social · 28/06/2025
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 ⭐️
1287
Reposted by Jingbo Wang
Aws Albarghouthi @awsto.bsky.social · 29/05/2025
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...
youtube.com
E2: Satnam Singh (Groq)
YouTube video by current continuation
0218
Jingbo Wang @jingbow.bsky.social · 28/03/2025
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!
pldi25.sigplan.org
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...
0169
Reposted by Jingbo Wang
Lin Tan @lin-tan.bsky.social · 28/01/2025
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
562
Reposted by Jingbo Wang
a ton of crates @tonofcrates.bsky.social · 21/11/2024
my take on bringing HCI to PL blog.sigplan.org/2024/11/21/e...
blog.sigplan.org
Evaluating Human Factors Beyond Lines of Code
Software systems researchers want to make human-centered claims, but don’t have the proper tools to do so. That’s how we ended up with the ubiquitous lines-of-code comparison found in e…
26529