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
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 ⭐️
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...
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
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...
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...
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!
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
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!
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!
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
#LLM4Code #LLM #BinaryAnalysis #Security
@cerias.bsky.social @iclr-conf.bsky.social
January 28, 2025 at 7:08 PM
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
#LLM4Code #LLM #BinaryAnalysis #Security
@cerias.bsky.social @iclr-conf.bsky.social
Reposted by Jingbo Wang
