SIGPLAN

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/

YouTube video by current continuation E1: Ranjit Jhala (UCSD)

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

The Academic Pipeline Stall: Why Industry Must Stand for Academia This post was cross-published from the SIGARCH blog. The Research Pipeline is Stalling The U.S. National Science Foundation (NSF) froze all outgoing funding, including new awards and scheduled…

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

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

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

How to Give a Good Talk In computer science, conferences are a focal point of academic attention. Conferences are a moment where computing communities—distributed over the globe—come together. Giving a talk at a conferenc…

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

Testing AI Software Isn’t Like Testing Plain Old Software AI software demands new approaches to testing that go far beyond existing software testing methodologies. And with the rapid evolution of AI model capabilities, the need for the software engineerin…

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.

Parametric Subtyping for Structural Parametric Polymorphism Recursive types, generics (sometimes called parametric polymorphism), and subtyping are all essential features for modern programming languages across numerous paradigms. However, structural subtyp…

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.

The Missing Mentoring Pillar The Missing Mentoring Pillar The programming languages (PL) community has developed a whole host of mentoring pillars to help new research become a part of our community The Programming Languages M…

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

“Should PLDI return to in-person Program Committee meetings?” – Survey results [Note: Since PLDI joined the PACM-PL journal, what was previously called Program Committee is now called Review Committee. In the following, we use the term Program Committee (PC) because it is a b…

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!

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…

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)