Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

The ACM Student Research Competition (SRC) will take place again this year at ICFP, providing undergraduate and graduate researchers an opportunity to present their original research. The goal is to give students a place to discuss their research with experts in their field and to help them sharpen their research and communication skills.

Following SRC guidelines, the ICFP 2018 SRC consists of three rounds:

Round 1: Extended Abstracts. All students are encouraged to submit a 2-page extended abstract outlining their research. See the Call for Submissions for more details.

Round 2: Poster Session at ICFP. Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be eligible for some travel support to attend the conference. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category (graduate/undergraduate) to advance to the next round.

Round 3: Presentations at ICFP. The last round will consist of an oral presentation at ICFP to compete for the final awards in each category and selection of an overall winner who will advance to the ACM SRC Grand Finals.


Eligibility

The SRC is open to both undergraduate (not in a MS or PhD program) and graduate students (in a MS or PhD 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 (Masters or PhD program) 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.


Outcomes and SRC Grand Finalists

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 two-year complimentary ACM student membership, including a subscription to ACM’s Digital Library.

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

Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing).

The top three Grand Finalists will receive an additional $500, $300, and $200. All Grand Finalists will receive Grand Finalist certificates.

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

Mon 24 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Monday KeynoteKeynotes and Reports at Stifel Theatre
Chair(s): Robby Findler Northwestern University, USA
09:00
60m
Talk
Gradual Typing
Keynotes and Reports
Ronald Garcia University of British Columbia
18:30 - 20:30
Poster ReceptionSocial Events at Grand Hall
18:30
2h
Social Event
SRC Poster Reception
Social Events

Tue 25 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Tuesday KeynoteKeynotes and Reports at Stifel Theatre
Chair(s): Matthew Flatt University of Utah
09:00
60m
Talk
The Role of Functional Programming and DSLs in Hardware
Keynotes and Reports
Pat Hanrahan Stanford University, USA
12:15 - 12:50
Report on ICFP and Climate ChangeKeynotes and Reports at Stifel Theatre
12:15
35m
Talk
Report on ICFP and Climate Change
Keynotes and Reports
P: Benjamin C. Pierce University of Pennsylvania
17:00 - 17:40
17:00
40m
Talk
Finalist Presentations
Student Research Competition

Wed 26 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Wednesday KeynoteKeynotes and Reports at Stifel Theatre
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
09:00
60m
Talk
Conveying the Power of Abstraction
Keynotes and Reports
17:15 - 18:00
17:15
15m
Awards
SIGPLAN Awards
Keynotes and Reports
Satnam Singh X, the moonshot factory
17:30
10m
Awards
Student Research Competition Awards
Keynotes and Reports
Ravi Chugh University of Chicago
17:40
15m
Talk
Program Chair's Report
Keynotes and Reports
Matthew Flatt University of Utah
17:55
5m
Talk
ICFP 2019 Announcement
Keynotes and Reports
Derek Dreyer MPI-SWS
17:30 - 17:40
Student Research Competition AwardsKeynotes and Reports at Stifel Theatre
17:30
10m
Awards
Student Research Competition Awards
Keynotes and Reports
Ravi Chugh University of Chicago
19:00 - 21:30
Strange Loop PartySocial Events at City Museum
19:00
2h30m
Social Event
Strange Loop Party, ride a bus from the venue to the City Museum
Social Events

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:30 - 17:20
Strange Loop KeynoteKeynotes and Reports at Stifel Theatre
16:30
50m
Talk
Strange Loop Keynote
Keynotes and Reports
17:30 - 19:30
Industrial ReceptionSocial Events at Regency C
17:30
2h
Social Event
Industrial Reception
Social Events

19:00 - 22:00
Strange Loop UnsessionsSocial Events at Unsessions Room
19:00
3h
Social Event
Strange Loop Unsessions at Union Station; see Strange Loop website for details
Social Events

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

16:30 - 17:20
Strange Loop KeynoteKeynotes and Reports at Stifel Theatre
16:30
50m
Talk
Strange Loop Keynote: Machine learning failures - for art!
Keynotes and Reports

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

19:30 - 21:30
FARM Evening of Algorithmic ArtsSocial Events at The Luminary
19:30
2h
Social Event
FARM Evening of Algorithmic Arts
Social Events

Call for Submissions

ICFP 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 EasyChair.

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:

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 ICFP 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 ICFP 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.

The extended abstract must not exceed 2 pages in PDF format. Reference lists do not count towards the 2-page limit.

Accepted Papers

Title
Finalist Presentations
Student Research Competition

Accepted Abstracts and Posters


Accepted Presentations

  • Resource-Guided Program Synthesis
    Tristan Knoth (UC San Diego)

  • Type Inference for Monotonicity
    Michael Arntzenius (University of Birmingham)

  • Bidirectional Type Class Instances
    Koen Pauwels (KU Leuven)

  • Denotational Semantics for Differentiable Programming with Manifolds
    Jesse Sigal (University of Oxford)

Graduate Category

  1. Type Inference for Monotonicity
    Michael Arntzenius (University of Birmingham)

  2. Resource-Guided Program Synthesis
    Tristan Knoth (UC San Diego)

  3. Bidirectional Type Class Instances
    Koen Pauwels (KU Leuven)


Undergraduate Category

  1. Denotational Semantics for Differentiable Programming with Manifolds
    Jesse Sigal (University of Oxford)

Travel Expenses

ACM’s SRC program covers expenses up to $500 for all students invited to an SRC. Acceptable conference expenses include:

  • Transportation expenses (air, rail, bus, taxi, car service, car rental, parking). If you’re driving your own car, you can expense 53.5 cents per mile as of January 1, 2017. Please note this rate generally changes annually.

  • Hotel and meal expenses, including tips.

  • Supplies for poster development, poster shipment, etc.

  • Conference registration.

Students will be reimbursed once we receive their SRC Travel Expense report form along with receipts for all expenses above $25.


Acknowledgments

Microsoft Logo

Thanks to Microsoft for their generous support.