About
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 2022 SRC consists of three rounds:
Round 1: Extended Abstracts. All students are encouraged to submit a 3-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, if it is held in-person. 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 and graduate students. 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 ICFP.
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 one-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.
The top three Grand Finalists will receive an additional $500, $300, and $200. All Grand Finalists will receive Grand Finalist certificates.
Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
09:00 - 10:00 | |||
09:00 60mKeynote | Deep Programmability: A New Lens on Networking ICFP Papers and Events Nate Foster Cornell University |
10:30 - 12:10 | Lambda Calculus and SemanticsICFP Papers and Events at Linhart Chair(s): Silvia Ghilezan University of Novi Sad, Mathematical Institute SASA | ||
10:30 20mTalk | The Theory of Call-by-Value Solvability ICFP Papers and Events DOI | ||
10:50 20mTalk | A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine ICFP Papers and Events Malgorzata Biernacka University of Wrocław, Witold Charatonik University of Wrocław, Faculty of Mathematics and Computer Science, Tomasz Drab University of Wrocław, Faculty of Mathematics and Computer Science DOI | ||
11:10 20mTalk | On Feller Continuity and Full Abstraction ICFP Papers and Events Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain, Raphaëlle Crubillé CNRS, Ugo Dal Lago University of Bologna; Inria, Francesco Gavazzo University of Bologna & INRIA Sophia Antipolis DOI | ||
11:30 20mTalk | Multi Types and Reasonable SpaceDistinguished Paper ICFP Papers and Events Beniamino Accattoli Inria & Ecole Polytechnique, Ugo Dal Lago University of Bologna; Inria, Gabriele Vanoni University of Bologna & INRIA Sophia Antipolis DOI | ||
11:50 20mTalk | Denotational semantics as a foundation for cost recurrence extraction for functional languagesJFP Presentation ICFP Papers and Events |
13:40 - 15:20 | Analysis and TransformationsICFP Papers and Events at Linhart Chair(s): Malgorzata Biernacka University of Wrocław | ||
13:40 20mTalk | Reference Counting with Frame Limited Reuse ICFP Papers and Events DOI | ||
14:00 20mTalk | Entanglement Detection With Near-Zero CostDistinguished Paper ICFP Papers and Events Sam Westrick Carnegie Mellon University, Jatin Arora Carnegie Mellon University, Umut A. Acar Carnegie Mellon University DOI | ||
14:20 20mTalk | Generating circuits with generators ICFP Papers and Events Marek Materzok University of Wroclaw DOI | ||
14:40 20mTalk | Staged Compilation With Two-Level Type Theory ICFP Papers and Events András Kovács Eötvös Loránd University DOI | ||
15:00 20mTalk | Random Testing of a Higher-Order Blockchain LanguageExperience Report ICFP Papers and Events Tram Hoang National University of Singapore, Anton Trunov Zilliqa Research, Leonidas Lampropoulos University of Maryland, College Park, Ilya Sergey National University of Singapore DOI Pre-print |
15:50 - 16:50 | |||
15:50 20mTalk | Propositional Equality for Gradual Dependently Typed Programming ICFP Papers and Events Joseph Eremondi University of British Columbia, Ronald Garcia University of British Columbia, Éric Tanter University of Chile DOI | ||
16:10 20mTalk | A Reasonably Gradual Type Theory ICFP Papers and Events Kenji Maillard Inria Nantes & University of Chile, Meven Lennon-Bertrand Inria – LS2N, Université de Nantes, Nicolas Tabareau Inria, Éric Tanter University of Chile DOI | ||
16:30 20mTalk | A completely unique account of enumeration ICFP Papers and Events DOI |
17:00 - 18:00 | |||
17:00 60mPanel | Fireside Chat with Arvind and Guy Steele ICFP Papers and Events |
Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
09:00 - 10:00 | |||
09:00 60mKeynote | Call-by-Push-Value, Quantitatively ICFP Papers and Events Delia Kesner Université de Paris; CNRS; IRIF; Institut Universitaire de France |
10:30 - 12:10 | |||
10:30 20mTalk | Later Credits: Resourceful Reasoning for the Later Modality ICFP Papers and Events Simon Spies MPI-SWS & Saarland University, Lennard Gäher MPI-SWS & Saarland University, Joseph Tassarotti NYU, Ralf Jung MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Lars Birkedal Aarhus University, Derek Dreyer MPI-SWS DOI | ||
10:50 20mTalk | Introduction and Elimination, Left and Right ICFP Papers and Events Klaus Ostermann University of Tübingen, David Binder University of Tübingen, Ingo Skupin University of Tübingen, Tim Süberkrüb University of Tübingen, Paul Downen University of Massachusetts Lowell DOI Pre-print | ||
11:10 20mTalk | Normalization for Fitch-style Modal CalculiDistinguished Paper ICFP Papers and Events Nachiappan Valliappan Chalmers University of Technology, Fabian Ruch Unaffiliated, Carlos Tomé Cortiñas Chalmers University of Technology DOI Media Attached | ||
11:30 20mTalk | Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom ICFP Papers and Events Jules Jacobs Radboud University, Stephanie Balzer Carnegie Mellon University, Robbert Krebbers Radboud University Nijmegen DOI | ||
11:50 20mTalk | Back to futuresJFP Presentation ICFP Papers and Events |
13:40 - 15:20 | Program Verification & SynthesisICFP Papers and Events at Linhart Chair(s): Arthur Azevedo de Amorim Boston University | ||
13:40 20mTalk | Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming) ICFP Papers and Events Steven Keuchel Vrije Universiteit Brussel, Sander Huyghebaert Vrije Universiteit Brussel, Georgy Lukyanov Newcastle University, UK, Dominique Devriese KU Leuven DOI | ||
14:00 20mTalk | Safe Couplings: Coupled Refinement Types ICFP Papers and Events Lisa Vasilenko IMDEA Software Institute, Niki Vazou IMDEA Software Institute, Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain DOI | ||
14:20 20mTalk | Aeneas: Rust Verification by Functional Translation ICFP Papers and Events DOI | ||
14:40 20mTalk | Searching Entangled Program Spaces ICFP Papers and Events James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego DOI | ||
15:00 20mTalk | Iterating on multiple collections in synchronyJFP Presentation ICFP Papers and Events Stefano Perna , Val Tannen University of Pennsylvania, USA, Limsoon Wong National University of Singapore |
15:50 - 16:50 | Generic Programming and EducationICFP Papers and Events at Linhart Chair(s): Nicolas Wu Imperial College London | ||
15:50 20mTalk | Datatype-Generic Programming Meets Elaborator Reflection ICFP Papers and Events Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica, Liang-Ting Chen Academia Sinica, Tzu-Chi Lin Institute of Information Science, Academia Sinica Link to publication DOI Media Attached | ||
16:10 20mTalk | Practical generic programming over a universe of datatypes ICFP Papers and Events DOI | ||
16:30 20mTalk | Structural Versus Pipeline Composition of Higher-Order FunctionsVirtualExperience Report ICFP Papers and Events DOI |
17:00 - 18:00 | |||
17:00 40mOther | Student Research Competition – Finalist Presentations ICFP Papers and Events | ||
17:40 20mOther | Programming Contest Report ICFP Papers and Events Alperen Keles University of Maryland at College Park |
Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
09:00 - 10:00 | |||
09:00 60mKeynote | Retrofitting Concurrency – Lessons from the Engine Room ICFP Papers and Events KC Sivaramakrishnan IIT Madras and Tarides Media Attached |
13:40 - 15:20 | Programming and Reasoning About EffectsICFP Papers and Events at Linhart Chair(s): William J. Bowman University of British Columbia | ||
13:40 20mTalk | Monadic Compiler CalculationFunctional Pearl ICFP Papers and Events DOI | ||
14:00 20mTalk | Formal Reasoning About Layered Monadic Interpreters ICFP Papers and Events Irene Yoon University of Pennsylvania, Yannick Zakowski Inria, Steve Zdancewic University of Pennsylvania DOI | ||
14:20 20mTalk | Program Adverbs and Tlön EmbeddingsDistinguished PaperVirtual ICFP Papers and Events DOI Pre-print | ||
14:40 20mTalk | Flexible presentations of graded monads ICFP Papers and Events Shin-ya Katsumata National Institute of Informatics, Dylan McDermott Reykjavik University, Tarmo Uustalu Reykjavik University, Nicolas Wu Imperial College London DOI | ||
15:00 20mTalk | Fusing Industry and Academia at GitHubExperience Report ICFP Papers and Events Patrick Thomson GitHub, Rob Rix GitHub, Inc., Tom Schrijvers KU Leuven, Nicolas Wu Imperial College London DOI |
15:50 - 16:50 | Effects and Type InferenceICFP Papers and Events at Linhart Chair(s): Ben Lippmeier Ghost Locomotion | ||
15:50 20mTalk | Modular Probabilistic Models via Algebraic Effects ICFP Papers and Events Minh Nguyen University of Bristol, Roly Perera Alan Turing Institute, Meng Wang University of Bristol, Nicolas Wu Imperial College London DOI | ||
16:10 20mTalk | Constraint-based type inference for FreezeML ICFP Papers and Events Frank Emrich University of Edinburgh, UK, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh; Alan Turing Institute, Sam Lindley The University of Edinburgh, UK DOI | ||
16:30 20mTalk | Linearly Qualified Types: Generic inference for capabilities and uniqueness ICFP Papers and Events Arnaud Spiwack Tweag, Csongor Kiss Imperial College London, Jean-Philippe Bernardy University of Gothenburg, Sweden, Nicolas Wu Imperial College London, Richard A. Eisenberg Jane Street Link to publication DOI Pre-print |
17:00 - 18:00 | |||
17:00 40mAwards | Awards ICFP Papers and Events | ||
17:40 15mOther | Program Committee Chair Report ICFP Papers and Events Zena M. Ariola University of Oregon | ||
17:55 5mDay closing | ICFP 2023 Announcement ICFP Papers and Events |
Not scheduled yet
Not scheduled yet Talk | Typed and Untyped Algorithmic Conversion are Equivalent Student Research Competition Meven Lennon-Bertrand Inria – LS2N, Université de Nantes | ||
Not scheduled yet Talk | Formal Verification of a Lazy Abstraction Model Checker Student Research Competition Arthur Correnson École Normale Supérieure de Rennes & Saarland University | ||
Not scheduled yet Talk | Compiling Functional Programs with Holes Student Research Competition Hilbert Chen University of Michigan, Yanjun Chen University of Michigan, Eric Zhao University of Michigan | ||
Not scheduled yet Talk | Extinguishing the Fire Triangle of Gradual Dependent Types Student Research Competition Joseph Eremondi University of British Columbia | ||
Not scheduled yet Talk | Generalised free extensions Student Research Competition Nathan Corbyn University of Oxford | ||
Not scheduled yet Talk | Optimization of the code generated by a DSL for Stencil Computation using Temporary Grid Variables Student Research Competition Go Suzuki Tokyo Institute of Technology | ||
Not scheduled yet Talk | HenBlocks: Structured Editing for Coq Student Research Competition Bernard Boey Yale-NUS College | ||
Not scheduled yet Talk | Program Logics for Mechanizing Typechecking Student Research Competition Denis Carnier Vrije Universiteit Brussel | ||
Not scheduled yet Talk | CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing Student Research Competition Matthías Páll Gissurarson Chalmers University of Technology, Sweden | ||
Not scheduled yet Talk | Typing Recursive Data Structures of Futures for Graph Types Student Research Competition Francis Rinaldi Illinois Institute of Technology |
Accepted Posters
Title | |
---|---|
Compiling Functional Programs with Holes Student Research Competition | |
CSI: Haskell: Fault-Localization in Lazy Languages using Runtime Tracing Student Research Competition | |
Extinguishing the Fire Triangle of Gradual Dependent Types Student Research Competition | |
Formal Verification of a Lazy Abstraction Model Checker Student Research Competition | |
Generalised free extensions Student Research Competition | |
HenBlocks: Structured Editing for Coq Student Research Competition | |
Optimization of the code generated by a DSL for Stencil Computation using Temporary Grid Variables Student Research Competition | |
Program Logics for Mechanizing Typechecking Student Research Competition | |
Typed and Untyped Algorithmic Conversion are Equivalent Student Research Competition | |
Typing Recursive Data Structures of Futures for Graph Types Student Research Competition |
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 the submission website.
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.
Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the “ACM Small” template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. You may use the “nonacm” option to remove venue information, DOI, categories, and copyright notices, since we will not publish the abstracts in a proceedings.
Awards
Undergraduate category
- 1st place: Bernard Boey: HenBlocks: Structured Editing for Coq
- 2nd place: Hilbert Chen, Yanjun Chen, and Eric Zhao: Compiling Functional Programs with Holes
- 3rd place: Francis Rinaldi: Typing Recursive Data Structures of Futures for Graph Types
Graduate category
- 1st place: Arthur Correnson: Formal Verification of a Lazy Software Model Checker
- 2nd place: Nathan Corbyn: Generalised free extensions
- 3rd place: Denis Carnier: Program Logics for Mechanizing Type Checking