SIGPLAN
@sigplan.bsky.social
The ACM Special Interest Group on Programming Languages.
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...
blog.sigplan.org
September 9, 2025 at 4:04 PM
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...
Reposted by 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 🌟
June 12, 2025 at 5:43 PM
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/
Current Continuation
sigplan.org
June 2, 2025 at 3:19 PM
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/
Reposted by SIGPLAN
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...
E1: Ranjit Jhala (UCSD)
YouTube video by current continuation
www.youtube.com
May 21, 2025 at 3:20 PM
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...
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…
blog.sigplan.org
May 19, 2025 at 1:49 PM
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...
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
April 9, 2025 at 1:52 PM
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...
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…
blog.sigplan.org
April 7, 2025 at 10:49 PM
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...
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…
blog.sigplan.org
March 20, 2025 at 4:26 PM
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...
Reposted by SIGPLAN
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.
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.
February 24, 2025 at 2:10 PM
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.
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...
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…
blog.sigplan.org
January 29, 2025 at 4:22 PM
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.
January 26, 2025 at 3:15 PM
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...
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…
blog.sigplan.org
January 13, 2025 at 4:49 PM
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...
That bill has come due. We have survey results. blog.sigplan.org/2025/01/02/s...
“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…
blog.sigplan.org
January 3, 2025 at 11:30 PM
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...
That bill has come due. We have survey results. blog.sigplan.org/2025/01/02/s...
Reposted by SIGPLAN
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!
sigplan.org
December 16, 2024 at 4:04 PM
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...
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…
blog.sigplan.org
November 25, 2024 at 3:30 PM
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...
⊨ bluesky ∈ accounts(sigplan)
November 23, 2024 at 7:37 PM
⊨ bluesky ∈ accounts(sigplan)