LightNews
jingbow.bsky.social
Jingbo Wang
@jingbow.bsky.social
330 followers 130 following 2 posts
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Posts Media Videos Starter Packs
Reposted by Jingbo Wang
sigplan-pldi.bsky.social
PLDI @sigplan-pldi.bsky.social · Jun 28
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 ⭐️
1 7 28
Reposted by Jingbo Wang
awsto.bsky.social
Aws Albarghouthi @awsto.bsky.social · May 29
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
8 22
jingbow.bsky.social
Jingbo Wang @jingbow.bsky.social · Mar 28
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
9 17
Reposted by Jingbo Wang
lin-tan.bsky.social
Lin Tan @lin-tan.bsky.social · Jan 28
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
5 2 6
jingbow.bsky.social
Jingbo Wang @jingbow.bsky.social · Jan 26
Congrats! 🎉
1
Reposted by Jingbo Wang
tonofcrates.bsky.social
a ton of crates @tonofcrates.bsky.social · Nov 21
my take on bringing HCI to PL

blog.sigplan.org/2024/11/21/e...
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…
blog.sigplan.org
2 30 66