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 ⭐️

28.06.2025 04:15 — 👍 28    🔁 7    💬 1    📌 0

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

29.05.2025 13:50 — 👍 22    🔁 8    💬 0    📌 0

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

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!

28.03.2025 03:56 — 👍 17    🔁 9    💬 0    📌 1

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

28.01.2025 19:08 — 👍 6    🔁 2    💬 5    📌 0

Congrats! 🎉

26.01.2025 22:18 — 👍 1    🔁 0    💬 0    📌 0

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…

my take on bringing HCI to PL

blog.sigplan.org/2024/11/21/e...

21.11.2024 19:03 — 👍 66    🔁 29    💬 2    📌 5