If so, what are you excited to learn there?
I’m hoping to get my paper accepted there, but I’m not super confident in my submission and POPL has high standards.
As for what I’m excited to learn about, I can’t answer that yet. The accepted papers haven’t been announced, so I don’t think anyone can anticipate learning about any specific topic there. At best you could set out to network with some people you expect will be there, but I also don’t have any clue about that.
[OT] I know this isn’t the right place for this discussion, but the “gold open access” scheme used by ACM (read: author pays for publication) makes me very uncomfortable, as a principle. Note: none of the pay-to-play charges go to reviewers, who do the actual work and are volunteers.
There are highly visible conferences in other fields (e.g. ACL, NeurIPS etc.) that require no charges for publishing or accessing publications, which proves that the marginal cost for scholarly publication is essentially zero nowadays.
Even though I occasionally have some material for CPP/VMCAI I’ll vote with my feet and stay out of ACM.
3 Likes
Thanks for the insight. I hadn’t even considered that.
I live in the middle of nowhere and have a low travel budget. Flights to Denver are $50 which is why I was considering it. Seems like most conferences are in Europe or Asia which is too costly to fly my family to.
Is there a site that lists the various organizations you are referring to?
Can you post your abstract?
Sure:
Don't click this if you're a POPL'25 reviewer!
Algebraic effects let programmers declare the syntax of operations which can be used to write and compose effectful programs. Such programs can be run by applying effect handlers that give programmers control over when and how many times to call continuations of operations. Embedding algebraic effects and handlers in an existing language provides a lightweight and powerful approach to programming with effects. Such embeddings typically use host language functions to represent continuations of programs. While host language functions offer an ergonomic interface for programming with and handling effects, they also hinder programmers wishing to define custom optimizations for effectful programs. Specifically, optimizations that statically analyze and transform variable bindings cannot be defined, as that would require meta-programming facilities for host language functions.
This paper presents a solution to this problem by embedding algebraic effects as intrinsically typed, De Bruijn-indexed syntax. Working in Agda, we demonstrate how this provides a safe-by-construction approach to programming with effects that is almost as ergonomic as the traditional embedding, but which additionally supports optimizations that inspect and transform variable binding.
I should add that this is not just my work. I had a lot of help from Casper Bach Poulsen, Nicolas Wu, and Benedikt Ahrens.
3 Likes
Not really, these have different organizers in fact. But there is a pattern: if it’s a machine learning conference, publication and proceedings are free (or you are getting ripped off)
Interesting, good luck getting accepted!
1 Like