‹Programming› 2024
Mon 11 - Fri 15 March 2024 Lund, Sweden

The ACM Student Research Competition (SRC) offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at <Programming> before a panel of judges and conference attendees, and creates opportunities for learning and networking among researchers and practitioners. The SRC gives visibility to not only up-and-coming young researchers, but also to the field of computer science research and its community.

Call for Student Research Competition

In order to participate in the SRC, you have to fulfill the following requirements:

  • Current ACM student membership

  • Graduate or undergraduate student status (must be currently enrolled in a university or college) at the time of submission

  • If selected, participants must register for the conference

If you meet the above requirements and want to participate, you must submit an extended abstract of no more than 800 words, and no more than 2 pages (excluding references) to: phaller@kth.se.

Submission deadline: Thu 25 January 2024

Your abstract should conform to the ACM SIGPLAN conference template, using the acmart class with the “sigconf” option, and it should be in 10pt font, and be submitted in PDF format. The research presented in the abstract has to be done on an individual basis for graduate students, but group projects are allowed for undergraduate submissions (one student must be chosen to present the work). The abstract should describe the research problem and motivation, background and related work, the intended solution approach and its uniqueness, results, and contributions.

Your extended abstract will be judged by a panel of judges, and you will be notified if you are accepted as an SRC participant to then attend in Lund, Sweden, in March 2024. If your abstract is accepted, you will have to prepare a poster to present in the first round of the competition.

For more information about the ACM SRC, please visit the FAQ.

Student Research Competition Process

There are two rounds of SRC competition that are held during the conference, once your abstract is accepted, and a later Grand Finals competition:

First Round Competitions

The first round is the Poster Session. This is your opportunity to present your research in the areas specified in the conference’s call for papers. Judges will review the posters and speak to participants about their research. The judges will evaluate the research (quality, novelty, and significance) and the presentation of the research (poster, discussion), and a group of semi-finalists will be chosen to present at the second round of the competition.

Second Round Competitions

Semi-finalists continue by giving a short presentation (a ten minute presentation followed by a five minute question and answer period) of their research before a panel of judges, with a supporting slide presentation. Evaluations are based on the presenter’s knowledge of his/her research area, contribution of the research, and the quality of the oral and visual presentation. Three winners will be chosen in each category, undergraduate and graduate, receiving $500, $300, and $200, respectively.

The SRC Grand Finals

First place undergraduate and graduate student winners from the SRCs held during the year advance to the ACM SRC Grand Finals. A different panel of judges evaluates these winners against each other via the web. Three undergraduates and three graduates will be chosen as the SRC Grand Finals winners.

Invited Students

Title
Binary Analysis in Isabelle/HOL
Student Research Competition
Bringing multi-language instrumentation support to WebAssembly
Student Research Competition
Concolic Multiverse Debugging
Student Research Competition
DAPPER - Seamless, Tailored Code Review
Student Research Competition
Enhancing Developer Experience in Software Development through LLM-Assisted Mentorship
Student Research Competition
Erla+: Translating Formal Models into Executable Actor-Based Implementations
Student Research Competition
Set-theoretic Maps with Type Variables
Student Research Competition
SRC Round 2 Presentations
Student Research Competition

Using Static Analysis to Improve the Efficiency of Program Analysis
Student Research Competition
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 11 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 15:30
Coffee & FikaCatering at M-building Lobby
15:00
30m
Coffee break
Coffee & Fika
Catering

16:30 - 18:30
Student PresentationsStudent Research Competition at M:H
16:30
15m
Talk
Enhancing Developer Experience in Software Development through LLM-Assisted Mentorship
Student Research Competition
Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
16:45
15m
Talk
Binary Analysis in Isabelle/HOL
Student Research Competition
Matt Griffin University of Surrey
17:00
15m
Talk
DAPPER - Seamless, Tailored Code Review
Student Research Competition
Lo Heander Lund University
17:15
15m
Talk
Erla+: Translating Formal Models into Executable Actor-Based Implementations
Student Research Competition
17:30
15m
Talk
Bringing multi-language instrumentation support to WebAssembly
Student Research Competition
Aäron Munsters Vrije Universiteit Brussel
17:45
15m
Talk
Using Static Analysis to Improve the Efficiency of Program Analysis
Student Research Competition
Idriss Riouak Department of Computer Science, Lund University, Sweden
18:00
15m
Talk
Concolic Multiverse Debugging
Student Research Competition
Maarten Steevens Ghent University, Belgium
18:15
15m
Talk
Set-theoretic Maps with Type Variables
Student Research Competition

Unscheduled Events

Not scheduled
Talk
SRC Round 2 Presentations
Student Research Competition