POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Overview

POPL 2024 will host an ACM Student Research Competition, where undergraduate and graduate students can present their original research before a panel of judges and conference attendees. This year’s competition will consist of three rounds:

  • Round 1, Extended abstract: All students are encouraged to submit an extended abstract outlining their research. The submission should be up to three pages using “\documentclass[acmsmall,nonacm]{acmart}”.

  • Round 2, Poster at POPL: Based on the abstracts, a panel of judges will select the most promising entrants to participate in a poster session at POPL. In the poster session, students will be able to interact with POPL attendees and judges. After the poster session, three finalists in each category (graduate/undergraduate) will be selected to advance to the next round.

  • Round 3, Oral presentation at POPL: The last round will consist of a short oral live presentation at POPL to compete for the final awards in each category. This round will also select an overall winner who will advance to the ACM SRC Grand Finals.

Call for Submissions

POPL invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. Please submit your extended abstracts through HotCRP: https://popl25src.hotcrp.com

Submissions must be original research that is not already published at POPL or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work.

Each submission (referred to as “abstract” below) should include the student author’s name and e-mail address; institutional affiliation; research advisor’s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following:

  • What problem does the abstract tries to solve and why the problem is important?

  • What is the state-of-the-art in related areas and how the submitted work departs from others?

  • Sufficient background information and details of the presented approach to allow POPL audiences to appreciate the presented work.

The extended abstract should be up to three pages using ‘\documentclass[acmsmall,nonacm]{acmart}’. Reference lists do not count towards the three-page limit. You may write appendices after the three-page limit, but please be noted that the committee is not required to read them.

This year, we will have two review cycles. For each submission, one of the following decisions will be made:

  • Accept: abstracts that proceed to the next round unconditionally.

  • Conditional Accept: abstracts that receive revision suggestions from the PC members. Authors will have 5 days to revise the abstract accordingly and then resubmit. The revised abstracts will then be re-evaluated, and either accepted or rejected.

  • Reject: abstracts that will not proceed to the next round.

Prizes

The top three graduate and the top three undergraduate winners will receive prizes of $500, $300, and $200, respectively.

  • All six winners will receive award medals and a one-year complimentary ACM student membership, including a subscription to ACM’s Digital Library.

  • The names of the winners will be posted on the SRC website.

  • The first-place winners of the SRC will be invited to participate in the ACM SRC Grand Finals, an online round of competitions among the winners of other conference-hosted SRCs.

Eligibility

The SRC is open to both undergraduate (not in a PhD/master’s program) and graduate students (in a PhD/master’s program). Upon submission, entrants must be enrolled as a student at their universities and be current ACM student members.

Furthermore, there are some constraints on what kind of work may be submitted:

  • Previously published work: Submissions should consist of original work (not yet accepted for publication). If the work is a continuation of previously published work, the submission should focus on the contribution over what has already been published. We encourage students to see this as an opportunity to get early feedback and exposure for the work they plan to submit to the next POPL.

  • Collaborative work: Graduate students are encouraged to submit work they have been conducting in collaboration with others, including advisors, internship mentors, or other students. However, graduate submissions are individual, so they must focus on the contributions of the student.

  • Team submissions: Team projects will be only accepted from undergrads. One person should be designated by the team to make the oral presentation. If a graduate student is part of a group research project and wishes to participate in an SRC, they can submit and present their individual contribution to the group research project.

Dates
Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 22 Jan

Displayed time zone: Mountain Time (US & Canada) change

16:20 - 17:00
16:20
40m
Coffee break
Break
Catering

18:00 - 20:00
POPL Networking ReceptionCatering at Four Square Ballroom
18:00
2h
Social Event
POPL Networking Reception
Catering

18:00 - 20:00
18:00
2h
Poster
Efficient Strong Simulation of High-level Quantum Gates
Student Research Competition
18:00
2h
Poster
Value semantics in reference-based languages
Student Research Competition
Hamza Remmal EPFL, LAMP
18:00
2h
Poster
Intermittent Concurrency
Student Research Competition
Myra Dotzel Carnegie Mellon University, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University
18:00
2h
Poster
APIdemic: Verifying Idempotency of REST API Clients
Student Research Competition
Bhavik Kamlesh Goplani University of Kansas
18:00
2h
Poster
Formalizing Erlang’s Success Typings
Student Research Competition
Elan Semenova University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park
18:00
2h
Poster
A Complete Translation from Planning Problems to linear logic
Student Research Competition
Luis Hernan Garcia Paucar Aston University, Chris Martens Northeastern University
18:00
2h
Poster
Wanco: WebAssembly AOT Compiler that supports Live Migration
Student Research Competition
Raiki Tamura Kyoto University, Daisuke Kotani Kyoto University, Yasuo Okabe Kyoto University
18:00
2h
Poster
Increasing the Expressiveness of a Gradual Verifier
Student Research Competition
Priyam Gupta Purdue University
18:00
2h
Poster
M3: A Multi-Stage ML with Mutation
Student Research Competition
Maite Kramarz University of Toronto
18:00
2h
Poster
Loop Invariants Using Neural Networks
Student Research Competition
Atticus Kuhn University of Cambridge, Abhinandan Pal University of Birmingham, Mirco Giacobbe University of Birmingham
18:00
2h
Poster
Property Testing Trace Languages
Student Research Competition
Jed Koh Jin Keat National University of Singapore
18:00
2h
Poster
Optimizing Asynchronous Rust with Hydroflow
Student Research Competition
Ryan Alameddine University of California, Berkeley
18:00
2h
Poster
Relational Hoare Logic for Sequential Program Verification
Student Research Competition
Shushu Wu Shanghai Jiao Tong University
18:00
2h
Poster
Expanding the Scope of Grammar-Based Enumerative Testing
Student Research Competition
Thea Kjeldsmark University of California, Irvine
18:00
2h
Poster
System $F^\omega$ with Coherent Implicit Resolution
Student Research Competition
18:00
2h
Poster
The Store-Order Consistency Testing Problem for C-like Memory Models
Student Research Competition
Grace Tan National University of Singapore
18:00
2h
Poster
Formalizing Representation Transformations: A Case Study of Bit Vector Types
Student Research Competition
Katherine Philip Portland State University
19:30 - 22:00
Women @ POPL DinnerCatering at Panzano Restaurant
19:30
2h30m
Dinner
Women @ POPL Dinner
Catering

Thu 23 Jan

Displayed time zone: Mountain Time (US & Canada) change

12:00 - 13:20
LGBTQ+ LunchCatering at Duck, Duck Goose
12:00
80m
Lunch
LGBTQ+ Lunch
Catering

12:00 - 13:20
12:00
80m
Lunch
Lunch
Catering

12:00 - 13:20
12:00
80m
Lunch
Lunch
Catering

12:00 - 13:20
12:00
80m
Lunch
Lunch
Catering

13:20 - 14:40
SRC Finalist PresentationsStudent Research Competition at Dodgeball
13:20
80m
Poster
SRC Competition Talks
Student Research Competition

14:20 - 15:00
14:20
40m
Coffee break
Break
Catering

Hide past events

Unscheduled Events

Not scheduled
Poster
SRC Poster Presentations
Student Research Competition

Accepted Papers

Title
A Complete Translation from Planning Problems to linear logic
Student Research Competition
APIdemic: Verifying Idempotency of REST API Clients
Student Research Competition
Efficient Strong Simulation of High-level Quantum Gates
Student Research Competition
Expanding the Scope of Grammar-Based Enumerative Testing
Student Research Competition
Formalizing Erlang’s Success Typings
Student Research Competition
Formalizing Representation Transformations: A Case Study of Bit Vector Types
Student Research Competition
Increasing the Expressiveness of a Gradual Verifier
Student Research Competition
Intermittent Concurrency
Student Research Competition
Loop Invariants Using Neural Networks
Student Research Competition
M3: A Multi-Stage ML with Mutation
Student Research Competition
Optimizing Asynchronous Rust with Hydroflow
Student Research Competition
Property Testing Trace Languages
Student Research Competition
Relational Hoare Logic for Sequential Program Verification
Student Research Competition
System $F^\omega$ with Coherent Implicit Resolution
Student Research Competition
The Store-Order Consistency Testing Problem for C-like Memory Models
Student Research Competition
Value semantics in reference-based languages
Student Research Competition
Wanco: WebAssembly AOT Compiler that supports Live Migration
Student Research Competition