POPL 2017
Sun 15 - Sat 21 January 2017

ACM and Microsoft Research are sponsoring the Student Research Competition (SRC) at the ACM SIGPLAN 2017 Symposium on Principles of Programming Languages.

Selected Posters

Title
Abstract Interpretation of High-Level Transformations
Student Research Competition
A gradually typed polymorphic lambda calculus
Student Research Competition
A Monadic Framework for Bidirectional Programming
Student Research Competition
A Symbolic Execution Framework for Haskell
Student Research Competition
FairSquare: A Static Analysis Tool for Algorithmic Fairness
Student Research Competition
Gradual Set-Theoretic Types
Student Research Competition
Gradual Type Precision as Retraction
Student Research Competition
Linking Types: Specifying Safe Interoperability and Equivalences
Student Research Competition
Naturality despite Nontermination: A Logical Relation for Linear Types and Polymorphism
Student Research Competition
Provenance for Configuration Language Security
Student Research Competition
Student Competition Award
Student Research Competition

Synthesizing Imperative Programs from Examples for Introductory Programming Assignments
Student Research Competition
Toward Type-Preserving Compilation of Coq
Student Research Competition

Call for submissions

News

The call was updated on Nov. 2nd to clarify some points and reflects some changes due to organisational constraints. These changes are higlighted.

Overview

POPL 2017 will host a Student Research Competition where undergraduate and graduate students can present posters. The SRC will consist of three rounds:

1) Extended abstract round

All students are encouraged to submit an extended abstract outlining their research (800 words).

2) Combined Poster session and presentation at POPL 2017

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 POPL. 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. Additionnaly to the poster, students may use supporting material (presentation, software demo) while presenting their work to the judges. The final award in each category as well as the overall winner will who will advance to the ACM SRC Grand Finals will be decided after the poster session.

You will be responsible for transporting your poster to the conference. If this will be a problem, please contact the chair of the SRC at kn@lri.fr.

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 web site. 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.

The ACM, Microsoft Research, and our industrial partners provide financial support for students attending the SRC. You can find more information about this on the ACM website.

Eligibility

The SRC is open to both undergraduate (not in a PhD program) and graduate students (in a PhD program). Upon submission, entrants must be enrolled as a student at their universities, and be 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 or other SIGPLAN conference.

Collaborative work:

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

Submission Details

Each submission should include the student author’s name, institutional affiliation, e-mail address, and postal address; 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. 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 attacking the problem and clearly state how your approach is novel.
  • Results and Contributions: Clearly show how the results of your work contribute to computer science and explain the significance of those results.

The abstract must describe the student’s individual research and 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 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the https://poplsrc17.hotcrp.com/ submission page. Abstracts submitted after the deadline may be considered at the committee’s discretion, but only after decisions have been made on all abstracts submitted before the deadline.

Note on co-authorship : as per the ACM guidelines team submissions are only allowed for the undergrad category. Submissions in the ‘graduate’ category must be individual. In particular, the student’s advisor must not be a co-author but his/her name and affiliation must be filled in separately in the submission form.

Important Dates

Deadline for submission: November 15, 2016

Notification of acceptance: November 30, 2016

Selection Committee

Kim Nguyen (Université Paris-Sud, France, SC chair)

Julien Signoles (CEA LIST, France, SC member)

Matteo Cimmini (Indiana University, Bloomington, USA, SC member)

Qirun Zhang (University of California, Davis, USA, SC member)

Further Information

For any questions regarding the POPL 2017 SRC, email the SRC chair at kn@lri.fr

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

Thu 19 Jan

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

18:20 - 20:20
Poster SessionStudent Research Competition at Auditorium Hall
Chair(s): Matteo Cimini Indiana University, USA, Kim Nguyễn LRI, Université Paris-Sud, Julien Signoles CEA LIST, Qirun Zhang University of California, Davis
18:20
10m
Demonstration
Naturality despite Nontermination: A Logical Relation for Linear Types and Polymorphism
Student Research Competition
Nicholas Rioux Northeastern University
18:30
10m
Demonstration
Gradual Type Precision as Retraction
Student Research Competition
Max S. New Northeastern University
18:40
10m
Demonstration
Linking Types: Specifying Safe Interoperability and Equivalences
Student Research Competition
Daniel Patterson Northeastern University
18:50
10m
Demonstration
A Monadic Framework for Bidirectional Programming
Student Research Competition
Li-yao Xia ENS Paris
19:00
10m
Demonstration
Gradual Set-Theoretic Types
Student Research Competition
Victor Lanvin ENS Paris-Saclay
19:10
10m
Demonstration
Abstract Interpretation of High-Level Transformations
Student Research Competition
Ahmad Salim Al-Sibahi IT University of Copenhagen, Denmark
19:20
10m
Demonstration
FairSquare: A Static Analysis Tool for Algorithmic Fairness
Student Research Competition
Samuel Drews University of Wisconsin-Madison
19:30
10m
Demonstration
Toward Type-Preserving Compilation of Coq
Student Research Competition
William J. Bowman Northeastern University
19:40
10m
Demonstration
A Symbolic Execution Framework for Haskell
Student Research Competition
Anton Xue Yale University
19:50
10m
Demonstration
Synthesizing Imperative Programs from Examples for Introductory Programming Assignments
Student Research Competition
Sunbeom So Korea University
20:00
10m
Demonstration
Provenance for Configuration Language Security
Student Research Competition
Weili Fu University of Edinburgh
20:10
10m
Demonstration
A gradually typed polymorphic lambda calculus
Student Research Competition
Yuu Igarashi Kyoto University

Fri 20 Jan

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

09:00 - 09:05
Student Competition AwardStudent Research Competition at Auditorium
Chair(s): Kim Nguyễn LRI, Université Paris-Sud
09:00
5m
Awards
Student Competition Award
Student Research Competition