Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Tue 25 Aug 2020 12:37 - 12:48 at ICFP NY 3 - New York 3 (JFP talks) Chair(s): Jeremy Gibbons
Tue 25 Aug 2020 23:37 - 23:48 at ICFP Asia 3 - Asia 3 (JFP talks) Chair(s): Jeremy Gibbons

Sheet-defined functions (SDFs) bring modularity and abstraction to the world of spreadsheets. Alas, end users naturally write SDFs that work over fixed-size arrays, which limits their re-usability. To help end user programmers write more re-usable SDFs, we describe a principled approach to generalising such functions to become elastic SDFs that work over inputs of arbitrary size. We prove that under natural, checkable conditions our algorithm returns the principal generalisation of an input SDF. We describe a formal semantics and several efficient implementation strategies for elastic SDFs. A user study with spreadsheet users compares the human experience of programming with elastic SDFs to the alternative of relying on array processing combinators. Our user study finds that the cognitive load of elastic SDFs is lower than for SDFs with map/reduce array combinators, the closest alternative solution.

Q&A (for conference registrants): Although there is no official Q&A for the Asia showing of the JFP talks, we will set up an unofficial Q&A session for this talk with connection information announced at the showing.

Captioned videos: The captions here were produced from the original transcript using YouTube’s sync service, so they may be more accurate in the words than the professional captions on the official conference stream but inferior in other technical respects (timing, breaking, etc.). For captions that don’t overlap the slides, you can “show transcript” on YouTube, stream the open-captioned MP4, or get the MKV and configure the closed captions yourself (fewer browsers can stream it than the MP4). Matt welcomes suggestions of better ways to provide captions.

Tue 25 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

11:30 - 13:00: New York 3 (JFP talks)ICFP Program at ICFP NY 3
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

Public livestreams: YouTube, Bilibili (China)

11:30 - 11:41
Talk
ICFP Program
DOI
11:41 - 11:52
Talk
ICFP Program
Álvaro García PerezIMDEA Software Institute, Pablo NogueiraESNE University School of Design, Innovation and Technology
DOI
11:52 - 12:03
Talk
ICFP Program
Žiga Lukšič, Matija PretnarUniversity of Ljubljana, Slovenia
DOI
12:03 - 12:15
Talk
ICFP Program
Wouter SwierstraUtrecht University, Netherlands
DOI
12:15 - 12:26
Talk
ICFP Program
Andreas AbelGothenburg University, Guillaume AllaisUniversity of St Andrews, Aliya HameerMcGill University, Brigitte PientkaMcGill University, Alberto Momigliano Università degli Studi di Milano, Steven SchäferGoogle, Aarhus, Kathrin StarkPrinceton University, USA
DOI
12:26 - 12:37
Talk
ICFP Program
Oleksandr Manzyuk, Barak A. PearlmutterMaynooth University, Alexey Radul, David Rush, Jeffrey Mark SiskindSchool of Electrical and Computer Engineering, Purdue University
DOI
12:37 - 12:48
Talk
ICFP Program
Matt McCutchen, Judith Borghouts, Andrew D. GordonMicrosoft Research and University of Edinburgh, Simon Peyton JonesMicrosoft, UK, Advait SarkarMicrosoft Research and University of Cambridge
DOI Pre-print Media Attached
12:48 - 13:00
Talk
ICFP Program
Saverio PeruginiUniversity of Dayton
DOI
22:30 - 00:00: Asia 3 (JFP talks)ICFP Program at ICFP Asia 3
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

Public livestreams: YouTube, Bilibili (China)

22:30 - 22:41
Talk
ICFP Program
DOI
22:41 - 22:52
Talk
ICFP Program
Álvaro García PerezIMDEA Software Institute, Pablo NogueiraESNE University School of Design, Innovation and Technology
DOI
22:52 - 23:03
Talk
ICFP Program
Žiga Lukšič, Matija PretnarUniversity of Ljubljana, Slovenia
DOI
23:03 - 23:15
Talk
ICFP Program
Wouter SwierstraUtrecht University, Netherlands
DOI
23:15 - 23:26
Talk
ICFP Program
Andreas AbelGothenburg University, Guillaume AllaisUniversity of St Andrews, Aliya HameerMcGill University, Brigitte PientkaMcGill University, Alberto Momigliano Università degli Studi di Milano, Steven SchäferGoogle, Aarhus, Kathrin StarkPrinceton University, USA
DOI
23:26 - 23:37
Talk
ICFP Program
Oleksandr Manzyuk, Barak A. PearlmutterMaynooth University, Alexey Radul, David Rush, Jeffrey Mark SiskindSchool of Electrical and Computer Engineering, Purdue University
DOI
23:37 - 23:48
Talk
ICFP Program
Matt McCutchen, Judith Borghouts, Andrew D. GordonMicrosoft Research and University of Edinburgh, Simon Peyton JonesMicrosoft, UK, Advait SarkarMicrosoft Research and University of Cambridge
DOI Pre-print Media Attached
23:48 - 00:00
Talk
ICFP Program
Saverio PeruginiUniversity of Dayton
DOI