Lightnews — Scholar-powered news

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

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

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

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 @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

Jingbo Wang @jingbow.bsky.social · Jan 26

Congrats! 🎉

Reposted by Jingbo Wang

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