PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Accepted Posters

Title
Am I sweeping right?
SRC
A Never-Ending Trace: Catching Goto and Recursive Divergence
SRC
AutoSpec: Automating the Refinement of Reinforcement Learning Specifications
SRC
File Attached
Coping with shared mutable state in a typestate-oriented concurrent language
SRC
Evaluating PBT Frameworks in OCaml
SRC
Exceptions in a Message Passing Interpretation of Substructural Logic
SRC
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool
SRC
GRust: A Programming Language for Automotive Engineering
SRC
File Attached
Mechanized semantics for ECMAScript regexes
SRC
Link to publication File Attached
Monitoring Linearizability in Polynomial Time
SRC
Neural Abstract Interpretation
SRC
File Attached
Revealing Optimizations in High-Performance Kernel Libraries: A Program Synthesis Approach to Schedule Reconstruction
SRC
Synthesising Programming Languages
SRC
VOLPIC: Verifying Lifted Pascal in Coq
SRC
Who checks the checkers? Steps towards reliable equivalence checking
SRC

About

The Student Research Competition (SRC) at PLDI allows students to present their research and get feedback from prominent members of the programming language research community. It’s an opportunity for students to network, practice presentation skills, and showcase their work. PLDI invites students (both at the graduate and undergraduate level) to submit their research. If you are an undergraduate student interested in applying to graduate programs, we highly encourage you to participate and get a glimpse of what academic life looks like!

Eligibility Criteria

Participants must have current student status, either graduate or undergraduate, at the time of the submission deadline. Participants in the SRC must also apply and obtain an ACM student membership. There are two separate categories:

  • Undergraduate: Currently enrolled for a bachelor’s degree (or equivalent)
  • Graduate: Currently enrolled for either a master’s or PhD degree (or equivalent)

If have any questions on if your work is a good fit for the SRC track, please reach out to the SRC Co-Chairs.

Call for Papers

The main body of the submission is a title and extended abstract consisting of the following:

  • Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem.
  • Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of PLDI areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others.
  • Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel.
  • Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results.

Submissions must be original research that is not already published at PLDI 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.

Participation

The SRC has three rounds:

  • Paper round: Student papers are accepted by a committee of reviewers
  • Poster round: During the conference, students present a poster to in-person judges and conference attendees.
  • Presentation round: In-person judges select students from the poster round who then give a final talk.
  • Results: Three students from each category (graduate and undergraduate) are selected as winners. The top student in each category is invited to participate in the ACM grand finale.
    • Prizes: Winners receive a cash prize: $500, $300, and $200 for the first, second, and third place respectively as well as an award medal.

Submissions

The submission form will require the following:

  • The submissions are double blind (the uploaded PDFs should not have your name or any other identifying information).
  • In the supplementary form, please specify:
    • Student author’s name, email address, institutional affiliation, and category (undergraduate or graduate)
    • Student’s ACM member number. If you don’t already have one, please apply for the discounted student member rate.
    • Research advisor’s name(s)
    • Mode of presentation (in-person or virtual). Please be conservative in your response: if you think there is a possibility that you might not be able to attend in-person, select the “virtual” option. We are able to accommodate transition to in-person more easily than to virtual.

For the paper submission, ensure:

  • Use the acmart template file (overleaf template, latex template).
    • Set the options to the class file using \documentclass[sigconf,nonacm,screen,review]{acmart}
  • No more than 2 pages. Reference lists do not count towards these limits.

When you’re ready, submit your extended abstract at the submission site: https://pldi24src.hotcrp.com/

Writing Resources.

Attendance

PLDI waives registration costs for all students with accepted papers. We additionally encourage students to apply to PLMW, which might cover travel expenses. Furthermore, we encourage students to apply for conference volunteering positions.

Good luck, and we hope to see you in June!

Winners

Undergraduate

  • First: Zheng Han Lee

  • Second: Viktor Fukala

  • Third: Caroline Cronjäger

Graduate

  • First: Noé De Santo

  • Second: Michalis Pardalos

  • Third: Hongzheng Chen

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

Wed 26 Jun

Displayed time zone: Windhoek change

18:00 - 20:00
Reception and Poster SessionSRC at Capital Ballroom
18:00
7m
Poster
Am I sweeping right?
SRC
Pedro Barroso NOVA LINCS & Nova School of Sciences and Tecnhology
18:07
7m
Poster
A Never-Ending Trace: Catching Goto and Recursive Divergence
SRC
Caroline Cronjäger Vrije Universiteit Amsterdam
18:15
7m
Poster
AutoSpec: Automating the Refinement of Reinforcement Learning Specifications
SRC
Tanmay Ambadkar The Pennsylvania State University, University Park, USA
File Attached
18:22
7m
Poster
Coping with shared mutable state in a typestate-oriented concurrent language
SRC
João Mota NOVA School of Science and Technology
18:30
7m
Poster
Evaluating PBT Frameworks in OCaml
SRC
Nikhil Kamath University of Maryland
18:37
7m
Poster
Exceptions in a Message Passing Interpretation of Substructural Logic
SRC
Shengchao Yang Carnegie Mellon University, USA
18:45
7m
Poster
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool
SRC
Viktor Fukala Massachusetts Institute of Technology
18:52
7m
Poster
GRust: A Programming Language for Automotive Engineering
SRC
Émilie Thomé LIP6, Ampere, ISAE SUPAERO
File Attached
19:00
7m
Poster
Mechanized semantics for ECMAScript regexes
SRC
Link to publication File Attached
19:07
7m
Poster
Monitoring Linearizability in Polynomial Time
SRC
Zheng Han Lee National University of Singapore, Singapore
19:15
7m
Poster
Neural Abstract Interpretation
SRC
Shaurya Gomber University of Illinois Urbana-Champaign
File Attached
19:22
7m
Poster
Parallelism with Flow Data for Distributed Tensor
SRC
huang songlin University of Hong Kong
19:30
7m
Poster
Revealing Optimizations in High-Performance Kernel Libraries: A Program Synthesis Approach to Schedule Reconstruction
SRC
Hongzheng Chen Cornell University
19:37
7m
Poster
Synthesising Programming Languages
SRC
Yuxi Ling National University of Singapore
19:45
7m
Poster
VOLPIC: Verifying Lifted Pascal in Coq
SRC
Charles Averill University of Texas at Dallas
19:52
7m
Poster
Who checks the checkers? Steps towards reliable equivalence checking
SRC
19:30 - 21:00
19:30
90m
Dinner
PLDI women's dinner
Diversity, Equity and Inclusion
Lindsey Kuper University of California, Santa Cruz, Mae Milano Princeton University, Alexa VanHattum Wellesley College, Sarah E. Chasins University of California at Berkeley

Thu 27 Jun

Displayed time zone: Windhoek change

15:20 - 17:00
15:20
1h40m
Other
SRC Finals
SRC

For the students who got accepted to the SRC, here are the requirements for the poster and final presentation.

Poster Requirements

  • Create a poster that can fit up to 3’ x 4’ dimensions.
  • The content on your poster should be organized neatly and clearly.
  • Choose colors of your choice but make sure it all aligns nicely.
  • Submit the PDF of your posters to us by June 12th, 2024.
  • Please print your own posters and bring them to the venue if you are presenting in person.
  • We will provide easels to put the posters up.

Final Presentation Requirements

  • The students who qualify for the final presentation round will be given 7 minutes to present their work, followed by a 4-minute Q&A session at the end of each talk.
  • Prepare a slide deck for this round.

Virtual Presentations

Details will be released closer to the conference.