Sign in

SIGPLAN

@sigplan.bsky.social
463 followers 89 following 17 posts

The ACM Special Interest Group on Programming Languages.

PostsRepliesMedia
SIGPLAN @sigplan.bsky.social · 20/07/2026
SIGPLAN’s treasurer, Alex Potanin, details where the money goes for running conferences and the SIG’s other community activities. 💸 blog.sigplan.org/2026/07/20/s...
blog.sigplan.org
How the SIGPLAN Budget Works
SIGPLAN runs on a simple arithmetic: around $2M USD a year in conference registration income from POPL, PLDI, ICFP, and SPLASH/OOPSLA must cover the conferences themselves, some $300K in annual com…
121
SIGPLAN @sigplan.bsky.social · 09/09/2025
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
020
Reposted by SIGPLAN
PLDI @sigplan-pldi.bsky.social · 12/06/2025
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 🌟
001
SIGPLAN @sigplan.bsky.social · 02/06/2025
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/
sigplan.org
Current Continuation
22311
Reposted by SIGPLAN
Aws Albarghouthi @awsto.bsky.social · 21/05/2025
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...
youtube.com
E1: Ranjit Jhala (UCSD)
YouTube video by current continuation
1249
SIGPLAN @sigplan.bsky.social · 19/05/2025
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...
blog.sigplan.org
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…
023
SIGPLAN @sigplan.bsky.social · 09/04/2025
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...
pldi25.sigplan.org
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...
073
SIGPLAN @sigplan.bsky.social · 07/04/2025
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...
blog.sigplan.org
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…
020
SIGPLAN @sigplan.bsky.social · 20/03/2025
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...
blog.sigplan.org
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…
041
Reposted by SIGPLAN
Ilya Sergey @ilyasergey.bsky.social · 24/02/2025
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.
2218
SIGPLAN @sigplan.bsky.social · 29/01/2025
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...
blog.sigplan.org
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…
092
SIGPLAN @sigplan.bsky.social · 26/01/2025
Are we still doing “Bluesky has the juice”? @sigplan-pldi.bsky.social is here—follow for all your design and/or implementation needs.
162
SIGPLAN @sigplan.bsky.social · 13/01/2025
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...
blog.sigplan.org
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…
124
SIGPLAN @sigplan.bsky.social · 03/01/2025
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...
blog.sigplan.org
“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…
0112
Reposted by SIGPLAN
jhemann.bsky.social @jhemann.bsky.social · 16/12/2024
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
051
SIGPLAN @sigplan.bsky.social · 25/11/2024
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...
blog.sigplan.org
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…
070
SIGPLAN @sigplan.bsky.social · 23/11/2024
⊨ bluesky ∈ accounts(sigplan)
1388