SIGPLAN
@sigplan.bsky.social
š¤ 434
š„ 87
š 15
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...
loading . . .
https://blog.sigplan.org/2025/09/09/the-reserve-reviewer-policy/
24 days ago
0
2
1
reposted by
SIGPLAN
PLDI
4 months ago
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
š
0
0
2
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/
loading . . .
Current Continuation
https://sigplan.org/cc/
4 months ago
2
24
11
reposted by
SIGPLAN
Aws Albarghouthi
4 months ago
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...
loading . . .
E1: Ranjit Jhala (UCSD)
YouTube video by current continuation
https://www.youtube.com/watch?v=goUZczQAfgk
1
24
10
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...
loading . . .
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ā¦
https://blog.sigplan.org/2025/05/19/the-academic-pipeline-stall-why-industry-must-stand-for-academia/
5 months ago
0
2
3
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...
loading . . .
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...
https://pldi25.sigplan.org/home/PLMW-pldi-2025#Applications-and-Scholarships
6 months ago
0
8
3
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...
loading . . .
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ā¦
https://blog.sigplan.org/2025/03/31/how-to-give-a-good-talk/
6 months ago
0
3
0
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...
loading . . .
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ā¦
https://blog.sigplan.org/2025/03/20/testing-ai-software-isnt-like-testing-plain-old-software/
7 months ago
0
4
1
reposted by
SIGPLAN
Ilya Sergey
7 months ago
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.
2
21
10
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...
loading . . .
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ā¦
https://blog.sigplan.org/2025/01/29/parametric-subtyping-for-structural-parametric-polymorphism/
8 months ago
1
9
2
Are we still doing āBluesky has the juiceā?
@sigplan-pldi.bsky.social
is hereāfollow for all your design and/or implementation needs.
8 months ago
1
6
2
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...
loading . . .
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ā¦
https://blog.sigplan.org/2025/01/13/the-missing-mentoring-pillar/
9 months ago
1
2
5
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...
loading . . .
ā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ā¦
https://blog.sigplan.org/2025/01/02/should-pldi-return-to-in-person-program-committee-meetings-survey-results/
9 months ago
0
11
4
reposted by
SIGPLAN
10 months ago
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!
loading . . .
https://sigplan.org/OpenTOC/in
0
6
1
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...
loading . . .
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ā¦
https://blog.sigplan.org/2024/11/21/evaluating-human-factors-beyond-lines-of-code/
10 months ago
0
8
1
⨠bluesky ā accounts(sigplan)
10 months ago
1
40
9
you reached the end!!
feeds!
log in