Josh Gancher
@jgancher.bsky.social
Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Reposted by Josh Gancher
The PLDI Student Research Competition's deadline is this week! We have an excellent group of expert reviewers lined up, submit/encourage your students to submit!
PL Students 📢 submit your work to the SRC (due March 14) ! pldi25.sigplan.org/track/pldi-2...
The SRC has a large PC of awesome researchers with expertise in various PL areas! Each accepted submission will get a PC shepherd who will mentor and provide feedback for the camera ready ✨
The SRC has a large PC of awesome researchers with expertise in various PL areas! Each accepted submission will get a PC shepherd who will mentor and provide feedback for the camera ready ✨
PLDI 2025 - Student Research Competition - PLDI 2025
Welcome to the home page of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025)!
PLDI is the premier forum in the field of programming languages and programm...
pldi25.sigplan.org
March 12, 2025 at 4:11 PM
The PLDI Student Research Competition's deadline is this week! We have an excellent group of expert reviewers lined up, submit/encourage your students to submit!