The OOPSLA 2025 RC chairs, @shriram.bsky.social and Sukyoung Ryu, required some submitting authors to agree to review. Their new blog post describes the policy and its outcomes this year. blog.sigplan.org/2025/09/09/t...

Are you ready for PLDI next week? The best part about it is seeing old friends 👯 and making new ones! But how will your friends know you are going? Let them know by making a post using the #pldi25 tag or mentioning us @sigplan-pldi.bsky.social 🌟

We’ve started a podcast! @awsto.bsky.social and @samps.phd host “Current Continuation,” a little interview series with PL researchers. The first two episodes are with @ranjitjhala.bsky.social and @satnam6502.bsky.social. sigplan.org/cc/

As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...

Defunding the NSF will have disastrous downstream effects on the tech industry. It’s time for people in industry to ACT. In this cross-post from the SIGARCH blog, Prof. Vijay Janapa Reddi outlines some steps you can take now. blog.sigplan.org/2025/05/19/t...

Tell an aspiring PL researcher in your life to apply to PLMW @ PLDI 2025! The application deadline is tomorrow. pldi25.sigplan.org/home/PLMW-pl...

What makes a good conference talk? Per Michael Greenberg, the answer lies in the lyrics to “How Many Mics” by the Fugees. blog.sigplan.org/2025/03/31/h...

From a group of researchers at Microsoft: a survey of the testing challenges that arise when software adds LLM-powered features. blog.sigplan.org/2025/03/20/t...

After a long hiatus, SIGPLAN Research Highlights are back!

The highlights committee[*] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒

[*] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.

Generics, recursive types, and structural subtyping are all features that many modern languages want, but their combination can quickly get unwieldy. A POPL Distinguished Paper from last year distilled a decidable type system that combines all three. blog.sigplan.org/2025/01/29/p...

Are we still doing “Bluesky has the juice”? @sigplan-pldi.bsky.social is here—follow for all your design and/or implementation needs.

What role should Student Research Competitions play in mentoring new researchers? @notypes.bsky.social and @avh.bsky.social argue for a renewed focus on feedback and visibility for SRCs. blog.sigplan.org/2025/01/13/t...

Before PLDI 2021, in-person PC meetings were the norm. The steering committee decided to reconsider, 4 years hence, whether to revive them.

That bill has come due. We have survey results. blog.sigplan.org/2025/01/02/s...

I just found out that @sigplan.bsky.social collects open-access links to SIGPLAN proceedings all together in one place: sigplan.org/OpenTOC/. Probably worth bookmarking!

PL researchers often want to claim that something is “usable,” “intuitive,” “easy to reason about,” etc. But how should we examine these claims without full-blown user studies? @tonofcrates.bsky.social has advice. blog.sigplan.org/2024/11/21/e...

the SIGPLAN information director has determined that the set of accounts belonging to the SIG is the more important “source of truth” compared the set of accounts open on a given social network. so this setup, while symmetric with the proposed dual formulation, communicates the idea most clearly

the SIGPLAN information director considered a slate of jokes based on proof systems but declined them all in favor of this validity-based joke. a full report will be presented at the business meeting

couldn't think of a way to make a good typing judgment joke, so here we are

⊨ bluesky ∈ accounts(sigplan)