Ich fürchte, ich werde nie erwachsen.
August 2, 2026 at 5:39 PM
Ich fürchte, ich werde nie erwachsen.
to know where you are going, you have to know where you have been:
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
September 30, 2026 at 12:46 AM
to know where you are going, you have to know where you have been:
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
pldb.kirancodes.me
Titles and abstracts of 22,324 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Here's the talk. I hope you enjoy it
www.youtube.com/watch?v=rwfY...
www.youtube.com/watch?v=rwfY...
January 23, 2025 at 3:55 PM
Here's the talk. I hope you enjoy it
www.youtube.com/watch?v=rwfY...
www.youtube.com/watch?v=rwfY...
The popl website exploding the year i get good reviews
October 3, 2026 at 4:15 PM
The popl website exploding the year i get good reviews
I love
Lesbians
Gays
Bissexuals
Transgender
Plus size popl
Lesbians
Gays
Bissexuals
Transgender
Plus size popl
June 1, 2026 at 3:15 PM
I love
Lesbians
Gays
Bissexuals
Transgender
Plus size popl
Lesbians
Gays
Bissexuals
Transgender
Plus size popl
I'll be presenting our #POPL paper "Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus" at 11:20am CT / 1:20pm ET!
The paper presents a foundational IR for collaborative coding where every edit action *commutes*. Grove resolves pernicious problems with code relocation conflicts.
The paper presents a foundational IR for collaborative coding where every edit action *commutes*. Grove resolves pernicious problems with code relocation conflicts.
[POPL'25] Peek A Boo - POPL I (23rd Jan)
YouTube video by ACM SIGPLAN
www.youtube.com
January 23, 2025 at 3:48 PM
I'll be presenting our #POPL paper "Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus" at 11:20am CT / 1:20pm ET!
The paper presents a foundational IR for collaborative coding where every edit action *commutes*. Grove resolves pernicious problems with code relocation conflicts.
The paper presents a foundational IR for collaborative coding where every edit action *commutes*. Grove resolves pernicious problems with code relocation conflicts.
@dunnfiu.bsky.social is now, & always has served his #CupOfJoe w/ a heaping side of justice.
“Miami Dade College is a public institution that serves primarily Black and brown students..no president should be given this land.”
🔗 www.wlrn.org/government-p...
“Miami Dade College is a public institution that serves primarily Black and brown students..no president should be given this land.”
🔗 www.wlrn.org/government-p...
November 6, 2025 at 1:42 PM
@dunnfiu.bsky.social is now, & always has served his #CupOfJoe w/ a heaping side of justice.
“Miami Dade College is a public institution that serves primarily Black and brown students..no president should be given this land.”
🔗 www.wlrn.org/government-p...
“Miami Dade College is a public institution that serves primarily Black and brown students..no president should be given this land.”
🔗 www.wlrn.org/government-p...
One month till POPL deadline.
June 6, 2025 at 9:01 AM
One month till POPL deadline.
bsky.app
September 10, 2026 at 9:07 PM
Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!
January 20, 2025 at 8:22 PM
Hey all! Who's at POPL? If you're here and looking to do a PhD at Princeton, let's chat!
Philly -> Denver for POPL! I’ll be speaking at PLMW tomorrow about How To POPL.
Come say hi!
Come say hi!
January 20, 2025 at 6:19 PM
Philly -> Denver for POPL! I’ll be speaking at PLMW tomorrow about How To POPL.
Come say hi!
Come say hi!
All @acm.org publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!
May 19, 2025 at 5:50 PM
All @acm.org publications will be 100% Open Access as of January 2026. When we announced this at POPL and CHI this year, conference participants spontaneously erupted in applause. The CS community is excited about ACM's move to OA!
whew, POPL paper in, time to play Blue Prince again
July 10, 2026 at 1:23 AM
whew, POPL paper in, time to play Blue Prince again
But it’s also unkind to let forage be the limiting factor on popl
August 24, 2026 at 4:29 PM
But it’s also unkind to let forage be the limiting factor on popl
Apparently I'm going to POPL
January 14, 2025 at 3:55 AM
Apparently I'm going to POPL
POPL Talk on "Formalising Graph Algorithms with Coinduction"
youtu.be/sgNT2w_f-o4
Paper here: doisinkidney.com/posts/2024-1...
youtu.be/sgNT2w_f-o4
Paper here: doisinkidney.com/posts/2024-1...
[POPL'25] Formalising Graph Algorithms with Coinduction
YouTube video by ACM SIGPLAN
youtu.be
May 4, 2025 at 9:14 AM
POPL Talk on "Formalising Graph Algorithms with Coinduction"
youtu.be/sgNT2w_f-o4
Paper here: doisinkidney.com/posts/2024-1...
youtu.be/sgNT2w_f-o4
Paper here: doisinkidney.com/posts/2024-1...
Just submitted to POPL and apparently I'm submission number -2,147,483,648
September 19, 2026 at 8:49 PM
Just submitted to POPL and apparently I'm submission number -2,147,483,648
I deluded myself into thinking my paper will get into POPL. So I'm starting to write down the sequel
September 25, 2026 at 11:30 PM
I deluded myself into thinking my paper will get into POPL. So I'm starting to write down the sequel
I am going to POPL and will speak about LLMs. Please someone say a prayer for my soul.
December 22, 2025 at 5:04 PM
I am going to POPL and will speak about LLMs. Please someone say a prayer for my soul.
Oh! There’s another card! Poppy and Ash are celebrating, too!
soundcloud.com/saifa-j/popl...
soundcloud.com/saifa-j/ashs...
soundcloud.com/saifa-j/popl...
soundcloud.com/saifa-j/ashs...
December 25, 2024 at 5:11 PM
Oh! There’s another card! Poppy and Ash are celebrating, too!
soundcloud.com/saifa-j/popl...
soundcloud.com/saifa-j/ashs...
soundcloud.com/saifa-j/popl...
soundcloud.com/saifa-j/ashs...
If you are going to POPL 2025 in Denver consider coming to my talk at #PEPM2025 on the missing diagonal.
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract) (PEPM 2025 - The 2025 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) - POPL 2025
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going back to 1991 and has been held in conjunction with POPL every year since 2006. The origin of PEPM is ...
popl25.sigplan.org
December 13, 2024 at 12:09 AM
If you are going to POPL 2025 in Denver consider coming to my talk at #PEPM2025 on the missing diagonal.
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...
The computing community has produced many high level languages and tools for programming high level systems (e.g. Java for user interfaces)
popl25.sigplan.org/details/pepm...
was feeling a little braindead the 3rd day of POPL so I made a colorific game of life
inspired by @todepond.com's huegene (www.todepond.com/lab/cells/dr...)
inspired by @todepond.com's huegene (www.todepond.com/lab/cells/dr...)
January 25, 2025 at 12:51 AM
was feeling a little braindead the 3rd day of POPL so I made a colorific game of life
inspired by @todepond.com's huegene (www.todepond.com/lab/cells/dr...)
inspired by @todepond.com's huegene (www.todepond.com/lab/cells/dr...)