Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Filter
Conference Dates
Conference Dates are in time zone (GMT-04:00) Eastern Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 20 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icfp-2020-clowdr-training
21:00 - 22:00: Clowdr Training - Clowdr Training at ICFP Social
icfp-2020-clowdr-training21:00 - 22:00
Other
Benjamin C. PierceUniversity of Pennsylvania

Fri 21 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icfp-2020-clowdr-training
09:00 - 10:00: Clowdr Training - Clowdr Training at ICFP Social
icfp-2020-clowdr-training09:00 - 10:00
Other
Benjamin C. PierceUniversity of Pennsylvania

Sun 23 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

erlang-2020-papers
07:50 - 09:30: Erlang 2020 - Session 1 at Erlang
Chair(s): Viktória FördősCisco Systems
erlang-2020-papers07:50 - 08:00
Day opening
Annette BieniusaTechnische Universität Kaiserslautern, Viktória FördősCisco Systems
erlang-2020-papers08:00 - 08:30
Short-paper
Boldizsár PoórEötvös Loránd University, Melinda TothEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd., István BozóEötvös Loránd University
DOI
erlang-2020-papers08:30 - 09:00
Talk
Brigitta BaranyaiELTE Eötvös Loránd University, István BozóEötvös Loránd University, Melinda TothEötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd.
erlang-2020-papers09:00 - 09:30
Full-paper
Peter ZellerTU Kaiserslautern, Annette BieniusaTechnische Universität Kaiserslautern, Carla FerreiraUniversidade Nova Lisboa
DOI
hope-2020-papers
08:00 - 11:30: HOPE 2020 - Keynote and Session 1 at HOPE
hope-2020-papers08:00 - 09:00
Keynote
Paul Blain LevyUniversity of Birmingham
hope-2020-papers09:15 - 10:00
Talk
Guilhem JaberUniversité de Nantes, Andrzej MurawskiUniversity of Oxford
hope-2020-papers10:00 - 10:45
Talk
Tarmo UustaluReykjavik University, Tallinn University of Technology, Niels VoorneveldTallinn University of Technology
hope-2020-papers10:45 - 11:30
Talk
Patrick BahrIT University of Copenhagen, Christian Uldal GraulundIT University of Copenhagen, Rasmus Ejlers MøgelbergIT University of Copenhagen
icfp-2020-tutorials
09:00 - 12:30: Tutorials - Audio, Video & Web Live Coding in Haskell at Tutorials 2
icfp-2020-tutorials09:00 - 12:30
Tutorial
Manuel Bärenzsonnen eServices GmbH
Pre-print
PLMW-icfp-2020
09:00 - 10:00: PLMW @ ICFP 2020 - Session 1 at PLMW
PLMW-icfp-202009:00 - 09:15
Day opening
Lindsey KuperUniversity of California, Santa Cruz, Talia RingerUniversity of Washington, Nate FosterCornell University
PLMW-icfp-202009:15 - 10:00
Talk
icfp-2020-tutorials
09:00 - 12:30: Tutorials - Teaching Functional Programming at Tutorials 1
icfp-2020-tutorials09:00 - 12:30
Tutorial
Michael SperberActive Group GmbH
tyde-2020-papers
10:00 - 11:30: TyDe 2020 - Session 1 at TyDe
tyde-2020-papers10:00 - 10:30
Talk
Víctor López JuanChalmers University of Technology, Nils Anders DanielssonUniversity of Gothenburg, Chalmers University of Technology
Media Attached
tyde-2020-papers10:30 - 11:00
Talk
Joris CeulemansVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
File Attached
tyde-2020-papers11:00 - 11:30
Talk
Ignacio TiraboschiNone, Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET
erlang-2020-papers
10:00 - 10:30: Erlang 2020 - Social 1 at Erlang
erlang-2020-papers10:00 - 10:30
Social Event
PLMW-icfp-2020
10:30 - 12:30: PLMW @ ICFP 2020 - Session 2 at PLMW
PLMW-icfp-202010:30 - 11:10
Talk
Nadia PolikarpovaUniversity of California, San Diego
PLMW-icfp-202011:10 - 11:50
Talk
Amal AhmedNortheastern University, USA
PLMW-icfp-202011:50 - 12:30
Talk
David Van HornUniversity of Maryland, USA
erlang-2020-papers
10:30 - 12:00: Erlang 2020 - Session 2 at Erlang
Chair(s): Annette BieniusaTechnische Universität Kaiserslautern
erlang-2020-papers10:30 - 11:00
Full-paper
Simon ThompsonUniversity of Kent, Dániel HorpácsiEötvös Loránd University, Péter BereczkyEötvös Loránd University
DOI
erlang-2020-papers11:00 - 11:30
Full-paper
Viktória FördősCisco Systems
DOI
erlang-2020-papers11:30 - 12:00
Full-paper
Juan Facorro, Natalia ChechinaBournemouth University
DOI
hope-2020-papers
12:00 - 14:00: HOPE 2020 - Session 2 at HOPE
hope-2020-papers12:00 - 12:45
Talk
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany
hope-2020-papers12:45 - 13:30
Talk
Ingo SkupinUniversity of Tübingen, Julian JabsUniversity of Tübingen, David BinderUniversity of Tübingen
File Attached
tyde-2020-papers
12:30 - 14:00: TyDe 2020 - Session 2 at TyDe
tyde-2020-papers12:30 - 13:00
Talk
Benjamin MoonSchool of Computing, University of Kent, Harley D. Eades IIIAugusta University, Dominic OrchardUniversity of Kent, UK
File Attached
tyde-2020-papers13:00 - 13:30
Talk
Guillaume AllaisUniversity of St Andrews, Edwin BradyUniversity of St. Andrews, UK, Ohad KammarUniversity of Edinburgh, Jeremy YallopUniversity of Cambridge
tyde-2020-papers13:30 - 14:00
Talk
Bruce CollieUniversity of Edinburgh, Michael O'BoyleUniversity of Edinburgh
Pre-print
erlang-2020-papers
12:30 - 13:30: Erlang 2020 - Session 3 at Erlang
Chair(s): Viktória FördősCisco Systems, Annette BieniusaTechnische Universität Kaiserslautern
erlang-2020-papers12:30 - 13:30
Keynote
Peter Van RoyUniversité catholique de Louvain
erlang-2020-papers
13:30 - 14:00: Erlang 2020 - Social 2 at Erlang
erlang-2020-papers13:30 - 14:00
Social Event
PLMW-icfp-2020
13:30 - 14:00: PLMW @ ICFP 2020 - Social Session at PLMW
PLMW-icfp-202013:30 - 14:00
Social Event
icfp-2020-tutorials
14:00 - 17:30: Tutorials - Best Practices in Code Generation at Tutorials 1

https://www.youtube.com/watch?v=UbPpydNokyE

icfp-2020-tutorials14:00 - 17:30
Tutorial
Michal J. GajdaMigamake Pte Ltd
icfp-2020-tutorials
14:00 - 17:30: Tutorials - Designing Hardware Systems and Accelerators with Open-Source Bluespec Haskell at Tutorials 2

https://www.youtube.com/watch?v=JCxE3JQAXY0

icfp-2020-tutorials14:00 - 17:30
Tutorial
Rishiyur NikhilBluespec, Inc.
PLMW-icfp-2020
14:00 - 15:30: PLMW @ ICFP 2020 - Session 3 at PLMW
PLMW-icfp-202014:00 - 14:45
Talk
PLMW-icfp-202014:45 - 15:30
Talk
Nada AminHarvard University
erlang-2020-papers
14:00 - 15:00: Erlang 2020 - Session 4 at Erlang
erlang-2020-papers14:00 - 15:00
Industry talk
hope-2020-papers
14:30 - 16:00: HOPE 2020 - Session 3 at HOPE
hope-2020-papers14:30 - 15:15
Talk
Martin CeresaUNR - CIFASIS - CONICET
hope-2020-papers15:15 - 16:00
Talk
Antonio LocascioUniversidad Nacional de Rosario
tyde-2020-papers
15:30 - 17:00: TyDe 2020 - Session 3 at TyDe
tyde-2020-papers15:30 - 16:00
Talk
tyde-2020-papers16:00 - 16:30
Talk
Thomas ReynoldsUniversity of Missouri, William HarrisonOak Ridge National Laboratory, Rohit ChadhaUniversity of Missouri, Gerard AllweinU.S. Naval Research Laboratory
tyde-2020-papers16:30 - 17:00
Talk
Mark LemayBoston University, Cheng ZhangBoston University, William BlairBoston University
PLMW-icfp-2020
16:00 - 17:00: PLMW @ ICFP 2020 - Session 4 at PLMW
PLMW-icfp-202016:00 - 17:00
Talk
Simon Peyton JonesMicrosoft, UK, Kathleen FisherTufts University, USA, Jose CalderonGalois, Inc., Benjamin C. PierceUniversity of Pennsylvania, Sarah E. ChasinsUniversity of California, Berkeley, Jeff VaughanGoogle
tyde-2020-papers
18:00 - 19:30: TyDe 2020 - TyDe Social at TyDe

Join the Zoom via Clowdr

Mon 24 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icfp-2020-icfp-sponsors
05:00 - 18:00: ICFP Sponsors - Jane Street at Jane Street sponsor room
icfp-2020-icfp-sponsors05:00 - 06:00
Live Q&A
icfp-2020-icfp-sponsors13:30 - 14:30
Live Q&A
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Ahrefs at Ahrefs sponsor room
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Facebook at Facebook sponsor room
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Galois at Galois sponsor room
icfp-2020-papers
09:00 - 10:00: ICFP Program - Keynote at ICFP Keynote 1
Chair(s): Chung-chieh ShanIndiana University, USA

Public livestreams: YouTube, iQIYI (China)

icfp-2020-papers09:00 - 10:00
Talk
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Standard Chartered at Standard Chartered sponsor room
icfp-2020-social-events
10:00 - 10:30: Social Events - Get Help at Information Desk
icfp-2020-social-events10:00 - 10:30
Other
Stephanie WeirichUniversity of Pennsylvania
icfp-2020-social-events
10:00 - 11:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events10:00 - 11:30
Social Event
icfp-2020-social-events
10:30 - 11:30: Social Events - How to ICFP at ICFP Social 2
icfp-2020-social-events10:30 - 11:30
Meeting
Benjamin C. PierceUniversity of Pennsylvania
icfp-2020-student-research-competition
10:30 - 11:30: Student Research Competition - SRC Poster Session at SRC Posters
icfp-2020-student-research-competition10:30 - 10:38
Poster
icfp-2020-student-research-competition10:38 - 10:47
Poster
icfp-2020-student-research-competition10:47 - 10:55
Poster
James LowenthalUniversity of Cambridge
icfp-2020-student-research-competition10:55 - 11:04
Poster
Yongwei YuanUniversity of Michigan
icfp-2020-student-research-competition11:04 - 11:12
Poster
Zhiyi PanUniversity of Michigan
icfp-2020-student-research-competition11:12 - 11:21
Poster
Christopher LamCornell University
icfp-2020-student-research-competition11:21 - 11:30
Poster
Cezar-Constantin AndriciAlexandru Ioan Cuza University of Iasi
icfp-2020-papers
11:30 - 13:00: ICFP Program - New York 1 at ICFP NY 1
Chair(s): Adam ChlipalaMassachusetts Institute of Technology

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers11:30 - 11:45
Talk
DOI Media Attached File Attached
icfp-2020-papers11:45 - 12:00
Talk
Zachary PalmerSwarthmore College, Theodore ParkSwarthmore and Hopkins, Scott F. SmithThe Johns Hopkins University, Shiwei WengThe Johns Hopkins University
DOI
icfp-2020-papers12:00 - 12:15
Talk
Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK
DOI
icfp-2020-papers12:15 - 12:30
Talk
Nikhil SwamyMicrosoft Research, Aseem RastogiMicrosoft Research, Aymeric FromherzCarnegie Mellon University, Denis MerigouxINRIA, Danel AhmanUniversity of Ljubljana, Guido MartínezCIFASIS-CONICET, Argentina
DOI
icfp-2020-papers12:30 - 12:45
Talk
Jeremiah GriffinUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Narges ShadabUniversity of California, Riverside, Xizhe YinUnivsersity of California, Riverside
DOI
icfp-2020-papers12:45 - 13:00
Talk
Ningning XieMicrosoft Research, USA, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Daniel HillerströmThe University of Edinburgh, Philipp SchusterUniversity of Tübingen, Germany, Daan LeijenMicrosoft Research, USA
DOI
icfp-2020-icfp-q-a
11:45 - 13:15: ICFP Q&A - ICFP Q&A New York 1-1 at ICFP Q&A 1
icfp-2020-icfp-q-a11:45 - 12:15
Live Q&A
icfp-2020-icfp-q-a12:15 - 12:45
Live Q&A
icfp-2020-icfp-q-a12:45 - 13:15
Live Q&A
icfp-2020-icfp-q-a
11:45 - 13:15: ICFP Q&A - ICFP Q&A New York 1-2 at ICFP Q&A 2
icfp-2020-icfp-q-a12:00 - 12:30
Live Q&A
icfp-2020-icfp-q-a12:30 - 13:00
Live Q&A
icfp-2020-icfp-q-a13:00 - 13:30
Live Q&A
icfp-2020-social-events
13:00 - 13:30: Social Events - Get Help at Information Desk
icfp-2020-social-events13:00 - 13:30
Other
Stephanie WeirichUniversity of Pennsylvania
icfp-2020-social-events
13:00 - 14:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events13:00 - 14:30
Social Event
icfp-2020-social-events
13:30 - 14:30: Social Events - W@ICFP at ICFP Social

YouTube recording of event: https://www.youtube.com/watch?v=2FNX9SjAwMM

icfp-2020-social-events13:30 - 14:30
Social Event
Mary Sheeranms@chalmers.se
icfp-2020-papers
14:30 - 16:30: ICFP Program - New York 2 at ICFP NY 2
Chair(s): Alan JeffreyMozilla Research

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers14:30 - 14:45
Talk
Bastian HagedornUniversity of Münster, Germany, Johannes LenfersUniversity of Münster, Thomas KoehlerUniversity of Glasgow, United Kingdom, Xueying QinUniversity of Glasgow, United Kingdom, Sergei GorlatchUniversity of Münster, Germany, Michel SteuwerThe University of Edinburgh
DOI
icfp-2020-papers14:45 - 15:00
Talk
Jamie WillisImperial College London, Nicolas WuImperial College London, UK, Matthew PickeringUniversity of Bristol, UK
DOI
icfp-2020-papers15:00 - 15:15
Talk
Gabriel RadanneInria, Hannes SaffrichUniversity of Freiburg, Peter ThiemannUniversity of Freiburg, Germany
DOI Pre-print File Attached
icfp-2020-papers15:15 - 15:30
Talk
Daniel SelsamMicrosoft Research, Simon HudonCarnegie Mellon University, Leonardo De MouraMicrosoft Research, n.n.
DOI
icfp-2020-papers15:30 - 15:45
Talk
Daniel HillerströmThe University of Edinburgh, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, John LongleyThe University of Edinburgh
DOI
icfp-2020-papers15:45 - 16:00
Talk
Nick RiouxUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI
icfp-2020-papers16:00 - 16:15
Talk
KC SivaramakrishnanIIT Madras, Stephen DolanUniversity of Cambridge, UK, Leo WhiteJane Street, Sadiq JafferOpsian and OCaml Labs, Tom KellyOCaml Labs, Anmol SahooIIT Madras, Sudha ParimalaIIT Madras, Atul DhimanIIT Madras, Anil MadhavapeddyOCaml Labs
DOI Media Attached
icfp-2020-papers16:15 - 16:30
Talk
Nadia PolikarpovaUniversity of California, San Diego, Deian StefanUniversity of California at San Diego, USA, Jean YangCarnegie Mellon University, Shachar ItzhakyTechnion, Israel, Travis HanceCarnegie Mellon University, Armando Solar-LezamaMassachusetts Institute of Technology, USA
DOI
icfp-2020-icfp-q-a
14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 2-1 at ICFP Q&A 1
icfp-2020-icfp-q-a14:45 - 15:15
Live Q&A
icfp-2020-icfp-q-a15:15 - 15:45
Live Q&A
icfp-2020-icfp-q-a15:45 - 16:15
Live Q&A
icfp-2020-icfp-q-a16:15 - 16:45
Live Q&A
icfp-2020-icfp-q-a
14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 2-2 at ICFP Q&A 2
icfp-2020-icfp-q-a15:00 - 15:30
Live Q&A
icfp-2020-icfp-q-a15:30 - 16:00
Live Q&A
icfp-2020-icfp-q-a16:00 - 16:30
Live Q&A
icfp-2020-icfp-q-a16:30 - 17:00
Live Q&A
icfp-2020-social-events
16:30 - 17:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events16:30 - 17:30
Social Event
icfp-2020-social-events
16:30 - 17:30: Social Events - Untitled PL Card Game at ICFP Social 2
icfp-2020-social-events16:30 - 17:30
Social Event
Jasper Van der JeugtFugue, Niki VazouIMDEA Software Institute, Leonidas LampropoulosUniversity of Maryland, College Park
Media Attached
icfp-2020-social-events
21:00 - 22:00: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events21:00 - 22:00
Social Event
icfp-2020-social-events
21:00 - 22:00: Social Events - Women in CS Panel at ICFP Social
Chair(s): Cristina CifuentesOracle Labs

YouTube recording of event: https://youtu.be/uHdtXFEwVCs

icfp-2020-social-events21:00 - 22:00
Social Event
Cristina CifuentesOracle Labs, Sukyoung RyuKAIST, Alena GriffithsRGB Assurance, Behnaz HassanshahiOracle Labs, Australia
icfp-2020-social-events
22:00 - 23:00: Social Events - How To ICFP at ICFP Social 2
icfp-2020-social-events22:00 - 23:00
Meeting
Benjamin C. PierceUniversity of Pennsylvania
icfp-2020-papers
22:30 - 00:00: ICFP Program - Asia 1 at ICFP Asia 1
Chair(s): Adam ChlipalaMassachusetts Institute of Technology

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers22:30 - 22:45
Talk
DOI Media Attached File Attached
icfp-2020-papers22:45 - 23:00
Talk
Zachary PalmerSwarthmore College, Theodore ParkSwarthmore and Hopkins, Scott F. SmithThe Johns Hopkins University, Shiwei WengThe Johns Hopkins University
DOI
icfp-2020-papers23:00 - 23:15
Talk
Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK
DOI
icfp-2020-papers23:15 - 23:30
Talk
Nikhil SwamyMicrosoft Research, Aseem RastogiMicrosoft Research, Aymeric FromherzCarnegie Mellon University, Denis MerigouxINRIA, Danel AhmanUniversity of Ljubljana, Guido MartínezCIFASIS-CONICET, Argentina
DOI
icfp-2020-papers23:30 - 23:45
Talk
Jeremiah GriffinUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Narges ShadabUniversity of California, Riverside, Xizhe YinUnivsersity of California, Riverside
DOI
icfp-2020-papers23:45 - 00:00
Talk
Ningning XieMicrosoft Research, USA, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Daniel HillerströmThe University of Edinburgh, Philipp SchusterUniversity of Tübingen, Germany, Daan LeijenMicrosoft Research, USA
DOI
icfp-2020-icfp-q-a
22:45 - 00:15: ICFP Q&A - ICFP Q&A Asia 1-1 at ICFP Q&A 1
icfp-2020-icfp-q-a23:15 - 23:45
Live Q&A
icfp-2020-icfp-q-a23:45 - 00:15
Live Q&A
icfp-2020-icfp-q-a
22:45 - 00:15: ICFP Q&A - ICFP Q&A Asia 1-2 at ICFP Q&A 2
icfp-2020-icfp-q-a23:00 - 23:30
Live Q&A
icfp-2020-icfp-q-a23:30 - 00:00
Live Q&A
icfp-2020-icfp-q-a00:00 - 00:30
Live Q&A

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

icfp-2020-social-events
01:00 - 02:00: Social Events - Mentoring at ICFP Social
icfp-2020-social-events01:00 - 02:00
Talk
Ranjit JhalaUniversity of California at San Diego, USA
icfp-2020-social-events
01:00 - 02:00: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events01:00 - 02:00
Social Event
icfp-2020-papers
02:30 - 04:30: ICFP Program - Asia 2 at ICFP Asia 2
Chair(s): Alan JeffreyMozilla Research

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers02:30 - 02:45
Talk
Bastian HagedornUniversity of Münster, Germany, Johannes LenfersUniversity of Münster, Thomas KoehlerUniversity of Glasgow, United Kingdom, Xueying QinUniversity of Glasgow, United Kingdom, Sergei GorlatchUniversity of Münster, Germany, Michel SteuwerThe University of Edinburgh
DOI
icfp-2020-papers02:45 - 03:00
Talk
Jamie WillisImperial College London, Nicolas WuImperial College London, UK, Matthew PickeringUniversity of Bristol, UK
DOI
icfp-2020-papers03:00 - 03:15
Talk
Gabriel RadanneInria, Hannes SaffrichUniversity of Freiburg, Peter ThiemannUniversity of Freiburg, Germany
DOI Pre-print File Attached
icfp-2020-papers03:15 - 03:30
Talk
Daniel SelsamMicrosoft Research, Simon HudonCarnegie Mellon University, Leonardo De MouraMicrosoft Research, n.n.
DOI
icfp-2020-papers03:30 - 03:45
Talk
Daniel HillerströmThe University of Edinburgh, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, John LongleyThe University of Edinburgh
DOI
icfp-2020-papers03:45 - 04:00
Talk
Nick RiouxUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI
icfp-2020-papers04:00 - 04:15
Talk
KC SivaramakrishnanIIT Madras, Stephen DolanUniversity of Cambridge, UK, Leo WhiteJane Street, Sadiq JafferOpsian and OCaml Labs, Tom KellyOCaml Labs, Anmol SahooIIT Madras, Sudha ParimalaIIT Madras, Atul DhimanIIT Madras, Anil MadhavapeddyOCaml Labs
DOI Media Attached
icfp-2020-papers04:15 - 04:30
Talk
Nadia PolikarpovaUniversity of California, San Diego, Deian StefanUniversity of California at San Diego, USA, Jean YangCarnegie Mellon University, Shachar ItzhakyTechnion, Israel, Travis HanceCarnegie Mellon University, Armando Solar-LezamaMassachusetts Institute of Technology, USA
DOI
icfp-2020-icfp-q-a
02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 2-1 at ICFP Q&A 1
icfp-2020-icfp-q-a02:45 - 03:15
Live Q&A
icfp-2020-icfp-q-a03:15 - 03:45
Live Q&A
icfp-2020-icfp-q-a03:45 - 04:15
Live Q&A
icfp-2020-icfp-q-a04:15 - 04:45
Live Q&A
icfp-2020-icfp-q-a
02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 2-2 at ICFP Q&A 2
icfp-2020-social-events
04:30 - 05:30: Social Events - Panel at ICFP Social
icfp-2020-social-events04:30 - 05:30
Meeting
Atsushi IgarashiKyoto University, Japan, Sukyoung RyuKAIST, Ilya SergeyYale-NUS College and National University of Singapore, Alex PotaninVictoria University of Wellington
icfp-2020-social-events
04:30 - 05:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events04:30 - 05:30
Social Event
icfp-2020-icfp-sponsors
05:00 - 18:00: ICFP Sponsors - Jane Street at Jane Street sponsor room
icfp-2020-icfp-sponsors05:00 - 06:00
Live Q&A
icfp-2020-icfp-sponsors10:00 - 11:00
Live Q&A
icfp-2020-icfp-sponsors13:30 - 14:30
Live Q&A
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Ahrefs at Ahrefs sponsor room
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Facebook at Facebook sponsor room
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Galois at Galois sponsor room
icfp-2020-papers
09:00 - 10:00: ICFP Program - Keynote at ICFP Keynote 2
Chair(s): Adam ChlipalaMassachusetts Institute of Technology

Public livestreams: YouTube, iQIYI (China)

icfp-2020-papers09:00 - 10:00
Talk
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Standard Chartered at Standard Chartered sponsor room
icfp-2020-social-events
10:00 - 10:30: Social Events - Get Help at Information Desk
icfp-2020-social-events10:00 - 10:30
Other
Stephanie WeirichUniversity of Pennsylvania
icfp-2020-social-events
10:30 - 11:30: Social Events - CARES at ICFP Social 2
icfp-2020-social-events10:30 - 11:00
Meeting
David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States
icfp-2020-social-events
10:30 - 11:30: Social Events - Excursion at ICFP Private Room
icfp-2020-social-events10:30 - 11:30
Social Event
Alan JeffreyMozilla Research
icfp-2020-papers
11:30 - 13:00: ICFP Program - New York 3 (JFP talks) at ICFP NY 3
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers11:30 - 11:41
Talk
DOI
icfp-2020-papers11:41 - 11:52
Talk
Álvaro García PerezIMDEA Software Institute, Pablo NogueiraESNE University School of Design, Innovation and Technology
DOI
icfp-2020-papers11:52 - 12:03
Talk
Žiga Lukšič, Matija PretnarUniversity of Ljubljana, Slovenia
DOI
icfp-2020-papers12:03 - 12:15
Talk
Wouter SwierstraUtrecht University, Netherlands
DOI
icfp-2020-papers12:15 - 12:26
Talk
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
icfp-2020-papers12:26 - 12:37
Talk
Oleksandr Manzyuk, Barak A. PearlmutterMaynooth University, Alexey Radul, David Rush, Jeffrey Mark SiskindSchool of Electrical and Computer Engineering, Purdue University
DOI
icfp-2020-papers12:37 - 12:48
Talk
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
icfp-2020-papers12:48 - 13:00
Talk
DOI
icfp-2020-student-research-competition
11:30 - 12:15: Student Research Competition - SRC Finalist Presentation 1 at Student Research Competition
icfp-2020-student-research-competition11:30 - 12:15
Talk
icfp-2020-icfp-q-a
11:40 - 13:10: ICFP Q&A - ICFP Q&A New York 3-1 at ICFP Q&A 1
icfp-2020-icfp-q-a11:41 - 12:03
Live Q&A
icfp-2020-icfp-q-a12:03 - 12:26
Live Q&A
icfp-2020-icfp-q-a12:26 - 12:48
Live Q&A
icfp-2020-icfp-q-a12:48 - 13:10
Live Q&A
icfp-2020-social-events
13:00 - 13:30: Social Events - Get Help at Information Desk
icfp-2020-social-events13:00 - 13:30
Other
Stephanie WeirichUniversity of Pennsylvania
icfp-2020-social-events
13:00 - 14:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events13:00 - 14:30
Social Event
icfp-2020-social-events
13:30 - 14:30: Social Events - LGBTQ Meetup at ICFP Social
icfp-2020-social-events13:30 - 14:30
Talk
David WalkerPrinceton University, USA, Matthew WeaverPrinceton University
icfp-2020-papers
14:30 - 16:30: ICFP Program - New York 4 at ICFP NY 4
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers14:30 - 14:45
Talk
DOI Pre-print Media Attached
icfp-2020-papers14:45 - 15:00
Talk
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Adam ReynoldsUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
DOI
icfp-2020-papers15:00 - 15:15
Talk
Glen MévelInria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, Jacques-Henri JourdanUniversersité Paris Saclay, CNRS, LRI, François PottierInria, France
DOI
icfp-2020-papers15:15 - 15:30
Talk
Matthew WeidnerCarnegie Mellon University, Christopher MeiklejohnCarnegie Mellon University, Heather MillerCarnegie Mellon University
DOI
icfp-2020-papers15:30 - 15:45
Talk
Alejandro Serrano47 Degrees, Spain, Jurriaan HageUtrecht University, Netherlands, Simon Peyton JonesMicrosoft, UK, Dimitrios VytiniotisDeepMind
DOI Pre-print
icfp-2020-papers15:45 - 16:00
Talk
Andreas AbelGothenburg University, Jean-Philippe BernardyUniversity of Gothenburg, Sweden
DOI
icfp-2020-papers16:00 - 16:15
Talk
Sebastian GrafKarlsruhe Institute of Technology, Simon Peyton JonesMicrosoft, UK, Ryan ScottGalois, Inc.
Link to publication DOI
icfp-2020-papers16:15 - 16:30
Talk
Taro SekiyamaNational Institute of Informatics, Takeshi TsukadaChiba University, Japan, Atsushi IgarashiKyoto University, Japan
DOI
icfp-2020-icfp-q-a
14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 4-1 at ICFP Q&A 1
icfp-2020-icfp-q-a14:45 - 15:15
Live Q&A
icfp-2020-icfp-q-a15:15 - 15:45
Live Q&A
icfp-2020-icfp-q-a15:45 - 16:15
Live Q&A
icfp-2020-icfp-q-a16:15 - 16:45
Live Q&A
icfp-2020-icfp-q-a
14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 4-2 at ICFP Q&A 2
icfp-2020-icfp-q-a15:00 - 15:30
Live Q&A
icfp-2020-icfp-q-a15:30 - 16:00
Live Q&A
icfp-2020-icfp-q-a16:00 - 16:30
Live Q&A
icfp-2020-social-events
16:30 - 17:30: Social Events - ICFP Trivia at ICFP Social
icfp-2020-social-events16:30 - 17:30
Social Event
Jose CalderonGalois, Inc., Paulette KoronkevichUniversity of British Columbia
icfp-2020-social-events
16:30 - 17:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events16:30 - 17:30
Social Event
icfp-2020-social-events
21:00 - 22:00: Social Events - CARES at ICFP Social 2
icfp-2020-social-events21:00 - 21:30
Meeting
David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States
icfp-2020-social-events
21:00 - 22:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events21:00 - 22:30
Social Event
icfp-2020-social-events
21:30 - 22:30: Social Events - Mind the Title at ICFP Social 3
icfp-2020-social-events21:30 - 22:30
Meeting
Olivier DanvyYale-NUS College and School of Computing, Singapore
icfp-2020-papers
22:30 - 00:00: ICFP Program - Asia 3 (JFP talks) at ICFP Asia 3
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers22:30 - 22:41
Talk
DOI
icfp-2020-papers22:41 - 22:52
Talk
Álvaro García PerezIMDEA Software Institute, Pablo NogueiraESNE University School of Design, Innovation and Technology
DOI
icfp-2020-papers22:52 - 23:03
Talk
Žiga Lukšič, Matija PretnarUniversity of Ljubljana, Slovenia
DOI
icfp-2020-papers23:03 - 23:15
Talk
Wouter SwierstraUtrecht University, Netherlands
DOI
icfp-2020-papers23:15 - 23:26
Talk
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
icfp-2020-papers23:26 - 23:37
Talk
Oleksandr Manzyuk, Barak A. PearlmutterMaynooth University, Alexey Radul, David Rush, Jeffrey Mark SiskindSchool of Electrical and Computer Engineering, Purdue University
DOI
icfp-2020-papers23:37 - 23:48
Talk
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
icfp-2020-papers23:48 - 00:00
Talk
DOI
icfp-2020-icfp-q-a
22:40 - 00:10: ICFP Q&A - ICFP Q&A Asia 3-1 at ICFP Q&A 1
icfp-2020-icfp-q-a
22:40 - 00:10: ICFP Q&A - ICFP Q&A Asia 3-2 at ICFP Q&A 2
icfp-2020-student-research-competition
23:30 - 00:15: Student Research Competition - SRC Finalist Presentation 2 at Student Research Competition
icfp-2020-student-research-competition23:30 - 00:15
Talk

Wed 26 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icfp-2020-social-events
00:00 - 01:00: Social Events - Mentoring at ICFP Social
icfp-2020-social-events00:00 - 01:00
Talk
icfp-2020-social-events
00:00 - 01:00: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events00:00 - 01:00
Social Event
icfp-2020-papers
02:30 - 04:30: ICFP Program - Asia 4 at ICFP Asia 4
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers02:30 - 02:45
Talk
DOI Pre-print Media Attached
icfp-2020-papers02:45 - 03:00
Talk
Tristan KnothUniversity of California at San Diego, USA, Di WangCarnegie Mellon University, Adam ReynoldsUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego, Jan HoffmannCarnegie Mellon University
DOI
icfp-2020-papers03:00 - 03:15
Talk
Glen MévelInria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, Jacques-Henri JourdanUniversersité Paris Saclay, CNRS, LRI, François PottierInria, France
DOI
icfp-2020-papers03:15 - 03:30
Talk
Matthew WeidnerCarnegie Mellon University, Christopher MeiklejohnCarnegie Mellon University, Heather MillerCarnegie Mellon University
DOI
icfp-2020-papers03:30 - 03:45
Talk
Alejandro Serrano47 Degrees, Spain, Jurriaan HageUtrecht University, Netherlands, Simon Peyton JonesMicrosoft, UK, Dimitrios VytiniotisDeepMind
DOI Pre-print
icfp-2020-papers03:45 - 04:00
Talk
Andreas AbelGothenburg University, Jean-Philippe BernardyUniversity of Gothenburg, Sweden
DOI
icfp-2020-papers04:00 - 04:15
Talk
Sebastian GrafKarlsruhe Institute of Technology, Simon Peyton JonesMicrosoft, UK, Ryan ScottGalois, Inc.
Link to publication DOI
icfp-2020-papers04:15 - 04:30
Talk
Taro SekiyamaNational Institute of Informatics, Takeshi TsukadaChiba University, Japan, Atsushi IgarashiKyoto University, Japan
DOI
icfp-2020-icfp-q-a
02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 4-1 at ICFP Q&A 1
icfp-2020-icfp-q-a02:45 - 03:15
Live Q&A
icfp-2020-icfp-q-a03:15 - 03:45
Live Q&A
icfp-2020-icfp-q-a03:45 - 04:15
Live Q&A
icfp-2020-icfp-q-a04:15 - 04:45
Live Q&A
icfp-2020-icfp-q-a
02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 4-2 at ICFP Q&A 2
icfp-2020-icfp-q-a04:00 - 04:30
Live Q&A
icfp-2020-icfp-q-a04:30 - 05:00
Live Q&A
icfp-2020-social-events
04:30 - 05:30: Social Events - Proverbs at ICFP Social 2
icfp-2020-social-events04:30 - 05:30
Talk
Neel KrishnaswamiComputer Laboratory, University of Cambridge
icfp-2020-social-events
04:30 - 05:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events04:30 - 05:30
Social Event
icfp-2020-icfp-sponsors
05:00 - 18:00: ICFP Sponsors - Jane Street at Jane Street sponsor room
icfp-2020-icfp-sponsors05:00 - 06:00
Live Q&A
icfp-2020-icfp-sponsors10:00 - 11:00
Live Q&A
icfp-2020-icfp-sponsors13:30 - 14:30
Live Q&A
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Ahrefs at Ahrefs sponsor room
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Facebook at Facebook sponsor room
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Galois at Galois sponsor room
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-papers
09:00 - 09:45: ICFP Program - ICFP Programming Contest at ICFP Awards
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, iQIYI (China)

icfp-2020-papers09:00 - 09:45
Keynote
icfp-2020-icfp-sponsors
09:00 - 18:00: ICFP Sponsors - Standard Chartered at Standard Chartered sponsor room
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-papers
09:45 - 10:30: ICFP Program - Awards & Reports at ICFP Awards
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, iQIYI (China)

icfp-2020-papers09:45 - 10:30
Talk
Stephanie WeirichUniversity of Pennsylvania, Adam ChlipalaMassachusetts Institute of Technology, Mira MeziniTechnische Universität Darmstadt, Sukyoung RyuKAIST, Jens PalsbergUniversity of California, Los Angeles, Youyou CongTokyo Institute of Technology
icfp-2020-social-events
10:30 - 11:00: Social Events - Get Help at Information Desk
icfp-2020-social-events10:30 - 11:00
Other
Stephanie WeirichUniversity of Pennsylvania
icfp-2020-icfp-q-a
10:45 - 13:15: ICFP Q&A - ICFP Q&A New York 5-1 at ICFP Q&A 1
icfp-2020-icfp-q-a11:15 - 11:45
Live Q&A
icfp-2020-icfp-q-a11:45 - 12:15
Live Q&A
icfp-2020-icfp-q-a12:15 - 12:45
Live Q&A
icfp-2020-icfp-q-a12:45 - 13:15
Live Q&A
icfp-2020-icfp-q-a
10:45 - 13:15: ICFP Q&A - ICFP Q&A New York 5-2 at ICFP Q&A 2
icfp-2020-icfp-q-a11:30 - 12:00
Live Q&A
icfp-2020-icfp-q-a12:00 - 12:30
Live Q&A
icfp-2020-icfp-q-a12:30 - 13:00
Live Q&A
icfp-2020-icfp-q-a13:00 - 13:30
Live Q&A
icfp-2020-papers
11:00 - 13:00: ICFP Program - New York 5 at ICFP NY 5
Chair(s): Richard A. EisenbergTweag I/O

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers11:00 - 11:15
Talk
Joseph W. CutlerWesleyan University, Dan LicataWesleyan University, Norman DannerWesleyan University
DOI
icfp-2020-papers11:15 - 11:30
Talk
DOI
icfp-2020-papers11:30 - 11:45
Talk
Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Stephan SpahnThe University of Iowa, Colin McDonaldUniversity of Notre Dame
DOI
icfp-2020-papers11:45 - 12:00
Talk
Nandor LickerUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
DOI Media Attached
icfp-2020-papers12:00 - 12:15
Talk
Vikraman ChoudhuryIndiana University & University of Cambridge, Neel KrishnaswamiComputer Laboratory, University of Cambridge
DOI
icfp-2020-papers12:15 - 12:30
Talk
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
DOI
icfp-2020-papers12:30 - 12:45
Talk
Pierce DarraghUniversity of Utah, Michael D. AdamsUniversity of Michigan
DOI
icfp-2020-papers12:45 - 13:00
Talk
Timothée HaudebourgUniv Rennes, Inria, CNRS, IRISA, Thomas GenetIRISA, Univ Rennes, Thomas P. JensenINRIA Rennes
DOI
icfp-2020-social-events
13:00 - 13:30: Social Events - Get Help at Information Desk
icfp-2020-social-events13:00 - 13:30
Other
Stephanie WeirichUniversity of Pennsylvania
icfp-2020-social-events
13:00 - 14:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events13:00 - 14:30
Social Event
icfp-2020-social-events
13:30 - 14:30: Social Events - Virtualization Feedback 1 at ICFP Social 2
icfp-2020-social-events13:30 - 14:30
Meeting
Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine
icfp-2020-papers
14:30 - 16:25: ICFP Program - New York 6 at ICFP NY 6
Chair(s): Sukyoung RyuKAIST

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers14:30 - 14:45
Talk
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI
icfp-2020-papers14:45 - 15:00
Talk
Paolo G. GiarrussoBedRock Systems, Leo StefanescoIRIF, University Paris Diderot & CNRS, Amin TimanyAarhus University, Lars BirkedalAarhus University, Robbert KrebbersDelft University of Technology
DOI
icfp-2020-papers15:00 - 15:15
Talk
Matúš TejiščákUniversity of St Andrews
DOI
icfp-2020-papers15:15 - 15:30
Talk
Di WangCarnegie Mellon University, David M. KahnCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
DOI
icfp-2020-papers15:30 - 15:45
Talk
Justin LubinUniversity of Chicago, Nick CollinsUniversity of Chicago, Cyrus OmarUniversity of Michigan, Ravi ChughUniversity of Chicago
DOI
icfp-2020-papers15:45 - 16:00
Talk
András KovácsEötvös Loránd University
DOI Pre-print
icfp-2020-papers16:00 - 16:15
Talk
Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK, Richard A. EisenbergTweag I/O
DOI
icfp-2020-papers16:15 - 16:25
Day closing
Stephanie WeirichUniversity of Pennsylvania
icfp-2020-icfp-q-a
14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 6-1 at ICFP Q&A 1
icfp-2020-icfp-q-a14:45 - 15:15
Live Q&A
icfp-2020-icfp-q-a15:15 - 15:45
Live Q&A
icfp-2020-icfp-q-a15:45 - 16:15
Live Q&A
icfp-2020-icfp-q-a16:15 - 16:45
Live Q&A
icfp-2020-icfp-q-a
14:45 - 16:45: ICFP Q&A - ICFP Q&A New York 6-2 at ICFP Q&A 2
icfp-2020-icfp-q-a15:00 - 15:30
Live Q&A
icfp-2020-icfp-q-a15:30 - 16:00
Live Q&A
icfp-2020-icfp-q-a16:00 - 16:30
Live Q&A
icfp-2020-icfp-sponsors
16:30 - 17:30: ICFP Sponsors - Bloomberg at ICFP Social 4
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-social-events
16:30 - 17:30: Social Events - Industrial Reception at ICFP Social
icfp-2020-social-events16:30 - 17:30
Social Event
icfp-2020-icfp-sponsors
16:30 - 17:30: ICFP Sponsors - Microsoft at ICFP Social 5
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-icfp-sponsors
16:30 - 17:30: ICFP Sponsors - Oracle at ICFP Social 6
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-icfp-sponsors
16:30 - 17:30: ICFP Sponsors - Tweag at ICFP Social 3
icfp-2020-icfp-sponsors16:30 - 17:30
Social Event
icfp-2020-social-events
21:00 - 22:00: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events21:00 - 22:00
Social Event
icfp-2020-social-events
21:00 - 22:00: Social Events - Virtualization Feedback 2 at ICFP Social 2
icfp-2020-social-events21:00 - 22:00
Meeting
Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine
icfp-2020-papers
22:30 - 00:00: ICFP Program - Asia 5 at ICFP Asia 5
Chair(s): Richard A. EisenbergTweag I/O

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers22:00 - 22:30
Talk
Joseph W. CutlerWesleyan University, Dan LicataWesleyan University, Norman DannerWesleyan University
DOI
icfp-2020-papers22:15 - 22:30
Talk
DOI
icfp-2020-papers22:30 - 22:45
Talk
Aaron StumpThe University of Iowa, USA, Chris JenkinsThe University of Iowa, Stephan SpahnThe University of Iowa, Colin McDonaldUniversity of Notre Dame
DOI
icfp-2020-papers22:45 - 23:00
Talk
Nandor LickerUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
DOI Media Attached
icfp-2020-papers23:00 - 23:15
Talk
Vikraman ChoudhuryIndiana University & University of Cambridge, Neel KrishnaswamiComputer Laboratory, University of Cambridge
DOI
icfp-2020-papers23:15 - 23:30
Talk
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
DOI
icfp-2020-papers23:30 - 23:45
Talk
Pierce DarraghUniversity of Utah, Michael D. AdamsUniversity of Michigan
DOI
icfp-2020-papers23:45 - 00:00
Talk
Timothée HaudebourgUniv Rennes, Inria, CNRS, IRISA, Thomas GenetIRISA, Univ Rennes, Thomas P. JensenINRIA Rennes
DOI
icfp-2020-icfp-q-a
22:45 - 00:15: ICFP Q&A - ICFP Q&A Asia 5-1 at ICFP Q&A 1
icfp-2020-icfp-q-a22:15 - 22:45
Live Q&A
icfp-2020-icfp-q-a22:45 - 23:15
Live Q&A
icfp-2020-icfp-q-a23:15 - 23:45
Live Q&A
icfp-2020-icfp-q-a
22:45 - 00:15: ICFP Q&A - ICFP Q&A Asia 5-2 at ICFP Q&A 2
icfp-2020-icfp-q-a23:30 - 00:00
Live Q&A

Thu 27 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icfp-2020-social-events
00:30 - 01:30: Social Events - Mentoring at ICFP Social
icfp-2020-social-events00:30 - 01:30
Talk
Matthias FelleisenPLT @ Northeastern University
icfp-2020-social-events
00:30 - 01:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events00:30 - 01:30
Social Event
icfp-2020-papers
02:30 - 04:25: ICFP Program - Asia 6 at ICFP Asia 6
Chair(s): Sukyoung RyuKAIST

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers02:30 - 02:45
Talk
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI
icfp-2020-papers02:45 - 03:00
Talk
Paolo G. GiarrussoBedRock Systems, Leo StefanescoIRIF, University Paris Diderot & CNRS, Amin TimanyAarhus University, Lars BirkedalAarhus University, Robbert KrebbersDelft University of Technology
DOI
icfp-2020-papers03:00 - 03:15
Talk
Matúš TejiščákUniversity of St Andrews
DOI
icfp-2020-papers03:15 - 03:30
Talk
Di WangCarnegie Mellon University, David M. KahnCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
DOI
icfp-2020-papers03:30 - 03:45
Talk
Justin LubinUniversity of Chicago, Nick CollinsUniversity of Chicago, Cyrus OmarUniversity of Michigan, Ravi ChughUniversity of Chicago
DOI
icfp-2020-papers03:45 - 04:00
Talk
András KovácsEötvös Loránd University
DOI Pre-print
icfp-2020-papers04:00 - 04:15
Talk
Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK, Richard A. EisenbergTweag I/O
DOI
icfp-2020-papers04:15 - 04:25
Day closing
Stephanie WeirichUniversity of Pennsylvania
icfp-2020-icfp-q-a
02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 6-1 at ICFP Q&A 1
icfp-2020-icfp-q-a02:45 - 03:15
Live Q&A
icfp-2020-icfp-q-a03:15 - 03:45
Live Q&A
icfp-2020-icfp-q-a04:15 - 04:45
Live Q&A
icfp-2020-icfp-q-a
02:45 - 04:45: ICFP Q&A - ICFP Q&A Asia 6-2 at ICFP Q&A 2
icfp-2020-icfp-q-a03:00 - 03:30
Live Q&A
icfp-2020-icfp-q-a04:00 - 04:30
Live Q&A
icfp-2020-social-events
04:30 - 05:30: Social Events - Social Time at Clowdr People/Places
icfp-2020-social-events04:30 - 05:30
Social Event
icfp-2020-social-events
09:00 - 10:00: Social Events - Career Planning at ICFP Social
icfp-2020-social-events09:00 - 10:00
Meeting
Neel KrishnaswamiComputer Laboratory, University of Cambridge
haskellsymp-2020-papers
09:00 - 10:00: Haskell 2020 - Designated Social Interaction Time at Haskell
icfp-2020-tutorials
09:00 - 12:30: Tutorials - Functional Software Architecture at Tutorials 1

https://www.youtube.com/watch?v=7UvauMsBtDw&feature=youtu.be

icfp-2020-tutorials09:00 - 12:30
Tutorial
Michael SperberActive Group GmbH
icfp-2020-tutorials
09:00 - 12:30: Tutorials - Integrating User Centered Methods into Programming Language Design at Tutorials 2

https://www.youtube.com/watch?v=-m34gNVVpFQ

icfp-2020-tutorials09:00 - 12:30
Tutorial
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
minikanren-2020-papers
09:00 - 11:00: miniKanren 2020 - Morning Keynote at miniKanren
Chair(s): Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
minikanren-2020-papers10:00 - 11:00
Keynote
Eelco VisserDelft University of Technology
mlfamilyworkshop-2020-papers
10:00 - 11:00: ML 2020 - Keynote at ML
mlfamilyworkshop-2020-papers10:00 - 11:00
Keynote
Media Attached
haskellsymp-2020-papers
10:00 - 11:00: Haskell 2020 - Keynote at Haskell
Chair(s): Tom SchrijversKU Leuven
haskellsymp-2020-papers10:00 - 11:00
Keynote
minikanren-2020-papers
11:30 - 13:30: miniKanren 2020 - Morning Session at miniKanren
Chair(s): Joseph P. NearUniversity of Vermont, Gregory RosenblattUniversity of Alabama at Birmingham, USA
minikanren-2020-papers11:30 - 11:50
Talk
Petr LozovSain Petersburg State University, SPbGU, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
minikanren-2020-papers11:50 - 12:10
Talk
Ekaterina VerbitskaiaJetBrains, Daniil BerezunJetBrains, Russia, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
minikanren-2020-papers12:10 - 12:30
Talk
Raoul SchorerGeneva University Hospitals
Pre-print
minikanren-2020-papers12:30 - 12:50
Talk
Weixi MaIndiana University, Kuang-Chen LuIndiana University Bloomington, Daniel P. FriedmanIndiana University, USA
Pre-print
minikanren-2020-papers12:50 - 13:10
Talk
Marco MaggesiUniversità di Firenze, Massimo NocentiniUniversità di Firenze
Pre-print
minikanren-2020-papers13:10 - 13:30
Talk
Dmitry RozplokhasHigher School of Economics, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
haskellsymp-2020-papers
11:30 - 13:00: Haskell 2020 - Paper Session 1 - Software Engineering at Haskell
Chair(s): José Pedro Magalhães
haskellsymp-2020-papers11:30 - 12:00
Talk
Sander KampsOpen University of the Netherlands, Netherlands, Bastiaan HeerenOpen University of the Netherlands, Netherlands, Johan JeuringOpen University of the Netherlands, Netherlands
DOI
haskellsymp-2020-papers12:00 - 12:30
Talk
Alejandro Serrano47 Degrees, Spain, Flavio Corpa47 Degrees, Spain
DOI
haskellsymp-2020-papers12:30 - 13:00
Talk
Nachiappan ValliappanChalmers University of Technology, Sweden, Robert KrookChalmers University of Technology, Sweden, Alejandro RussoChalmers University of Technology, Sweden, Koen ClaessenChalmers University of Technology, Sweden
DOI
mlfamilyworkshop-2020-papers
11:30 - 13:10: ML 2020 - Session 1 at ML
mlfamilyworkshop-2020-papers11:30 - 11:55
Talk
Jacques GarrigueNagoya University
Media Attached File Attached
mlfamilyworkshop-2020-papers11:55 - 12:20
Talk
Gabriel SchererINRIA Saclay, Olivier MartinotUniversité de Paris
Media Attached File Attached
mlfamilyworkshop-2020-papers12:20 - 12:45
Talk
Media Attached File Attached
mlfamilyworkshop-2020-papers12:45 - 13:10
Talk
Frank EmrichUniversity of Edinburgh, UK, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, Jan StolarekUniversity of Edinburgh, UK
Media Attached File Attached
icfp-2020-social-events
14:00 - 18:00: Social Events - ShutdownPL 1 at ICFP Social
icfp-2020-social-events14:00 - 18:00
Social Event
Kenny FonerGalois, Niki CarrollGeorge Mason University, Priya SrikumarCornell University, David JustoUniversity of California, San Diego, Justin LubinUniversity of Chicago, Akash Gaonkar, Alan JeffreyMozilla Research
icfp-2020-tutorials
14:00 - 17:30: Tutorials - Using the K Framework to Formalize Functional Languages at Tutorials 1

https://www.youtube.com/watch?v=VlQMi_N42B8&feature=youtu.be

icfp-2020-tutorials14:00 - 17:30
Tutorial
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
minikanren-2020-papers
14:30 - 15:30: miniKanren 2020 - Afternoon Keynote at miniKanren
Chair(s): Jason HemannNortheastern University, United States
minikanren-2020-papers14:30 - 15:30
Keynote
Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
haskellsymp-2020-papers
14:30 - 16:10: Haskell 2020 - Paper Session 2 - Animations and Demonstrations at Haskell
Chair(s): Exequiel RivasInria Paris
haskellsymp-2020-papers14:30 - 15:00
Talk
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
haskellsymp-2020-papers15:00 - 15:30
Talk
Rudi HornUniversity of Edinburgh
File Attached
haskellsymp-2020-papers15:30 - 16:00
Talk
DOI
haskellsymp-2020-papers16:00 - 16:10
Other
icfp-2020-social-events
15:20 - 17:40: Social Events - ShutdownPL 2 at ICFP Social 4
icfp-2020-social-events15:20 - 17:40
Social Event
icfp-2020-social-events
15:20 - 17:40: Social Events - ShutdownPL 3 at ICFP Social 5
icfp-2020-social-events15:20 - 17:40
Social Event
icfp-2020-social-events
15:20 - 17:40: Social Events - ShutdownPL 4 at ICFP Social 6
icfp-2020-social-events15:20 - 17:40
Social Event
minikanren-2020-papers
15:30 - 17:10: miniKanren 2020 - Afternoon Session at miniKanren
Chair(s): Nada AminHarvard University, Weixi MaIndiana University
minikanren-2020-papers15:30 - 15:50
Talk
Michael PattonUniversity of Alabama at Birmingham, Gregory RosenblattUniversity of Alabama at Birmingham, USA, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
Pre-print
minikanren-2020-papers15:50 - 16:10
Talk
Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
minikanren-2020-papers16:10 - 16:30
Talk
Jason HemannNortheastern University, United States, Daniel P. FriedmanIndiana University, USA
Pre-print
minikanren-2020-papers16:30 - 16:50
Talk
Artem ChirkovUniversity of Toronto Mississauga, Gregory RosenblattUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School, Lisa ZhangUniversity of Toronto Mississauga
Pre-print
minikanren-2020-papers16:50 - 17:10
Talk
Julie SteeleGeorgetown Day School, William E. ByrdUniversity of Alabama at Birmingham, USA
Pre-print
haskellsymp-2020-papers
16:10 - 17:30: Haskell 2020 - Designated Social Interaction Time at Haskell

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

ocaml-2020-papers
05:30 - 08:30: OCaml 2020 - Ecosystem at OCaml
Chair(s): Florian AngelettiInria

Infrastructure, tooling, and ecosystem in general.

ocaml-2020-papers05:30 - 06:30
Keynote
ocaml-2020-papers06:30 - 07:00
Talk
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers07:00 - 07:30
Talk
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
ocaml-2020-papers07:30 - 08:00
Talk
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
ocaml-2020-papers08:00 - 08:30
Talk
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print
ocaml-2020-papers
09:00 - 11:00: OCaml 2020 - Applications at OCaml
Chair(s): Marcello SeriBernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen

Talks about new and existing OCaml applications and libraries.

ocaml-2020-papers09:00 - 09:30
Talk
Jan MidtgaardUniversity of Southern Denmark
ocaml-2020-papers09:30 - 10:00
Talk
Tom RidgeUniversity of Leicester, UK
ocaml-2020-papers10:00 - 10:30
Talk
ocaml-2020-papers10:30 - 11:00
Talk
Markus MottlUnaffiliated
icfp-2020-tutorials
09:00 - 12:30: Tutorials - Can you functionally program like a 5th grader? at Tutorials 2
icfp-2020-tutorials09:00 - 12:30
Tutorial
Link to publication DOI
haskellsymp-2020-papers
09:00 - 10:00: Haskell 2020 - Designated Social Interaction Time at Haskell
icfp-2020-tutorials
09:00 - 12:30: Tutorials - Library-Oriented Dynamic Analysis with Lya at Tutorials 1
icfp-2020-tutorials09:00 - 12:30
Tutorial
Nikos VasilakisMIT CSAIL, USA, Greg NtousakisTU Crete
hiw-2020-papers
09:00 - 12:00: HIW 2020 - Sessions 1 and 2 at HIW
hiw-2020-papers09:00 - 09:22
Talk
Cheng ShaoTweag I/O, Georgios KarachaliasTweag I/O, Hans HoeglundTweag I/O
hiw-2020-papers09:22 - 09:44
Talk
hiw-2020-papers10:00 - 10:35
Talk
hiw-2020-papers10:35 - 10:57
Talk
Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira KawataKyoto University, Mayuko KoriThe University of Tokyo, Hiromi OgawaUniversity of Tsukuba
hiw-2020-papers10:57 - 11:19
Talk
Philipp SchusterUniversity of Tübingen, Germany, David BinderUniversity of Tübingen
hiw-2020-papers11:19 - 11:31
Talk
Simon Peyton JonesMicrosoft, UK, Ben GamariWell-Typed LLP
hiw-2020-papers11:31 - 12:00
Break
scheme-2020-papers
10:00 - 11:00: Scheme 2020 - Morning Keynote at Scheme
scheme-2020-papers10:00 - 11:00
Keynote
Martin HenzNational University of Singapore, Tobias WrigstadUppsala University, Sweden
haskellsymp-2020-papers
10:00 - 11:00: Haskell 2020 - Paper Session 3 - Datastructures at Haskell
Chair(s): Andrey MokhovJane Street
haskellsymp-2020-papers10:00 - 10:30
Talk
Koen ClaessenChalmers University of Technology, Sweden
DOI
haskellsymp-2020-papers10:30 - 11:00
Talk
Armando João Isaías Ferreira dos SantosUniversity of Minho, Portugal / INESC TEC, Portugal, Jose Nuno OliveiraUniversity of Minho, Portugal / INESC TEC, Portugal
DOI
ocaml-2020-papers
11:30 - 13:30: OCaml 2020 - Experience at OCaml
Chair(s): Greta YorshJane Street

Sharing experience about using OCaml in various scenarios.

ocaml-2020-papers11:30 - 12:00
Talk
ocaml-2020-papers12:00 - 12:30
Talk
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Pre-print
ocaml-2020-papers12:30 - 13:00
Talk
Patrik KellerUniversity of Innsbruck, Marc LassonLexiFi
ocaml-2020-papers13:00 - 13:30
Talk
Paul StecklerO(1) Labs, Matthew RyanO(1) Labs
haskellsymp-2020-papers
11:30 - 13:00: Haskell 2020 - Paper Session 4 - Effects at Haskell
Chair(s): Pierre-Evariste DagandLIP6/CNRS
haskellsymp-2020-papers11:30 - 12:00
Talk
Andrej IvaškovićUniversity of Cambridge, UK, Alan MycroftUniversity of Cambridge, UK
DOI
haskellsymp-2020-papers12:00 - 12:30
Talk
Yves ParèsTweag I/O, France, Jean-Philippe BernardyUniversity of Gothenburg, Sweden, Richard A. EisenbergTweag I/O
DOI
haskellsymp-2020-papers12:30 - 13:00
Talk
Ningning XieMicrosoft Research, USA, Daan LeijenMicrosoft Research, USA
DOI
scheme-2020-papers
11:30 - 13:00: Scheme 2020 - Research Session 1 at Scheme
scheme-2020-papers11:30 - 12:00
Talk
Pierce DarraghUniversity of Utah, William G HatchUniversity of Utah, Eric EideUniversity of Utah
File Attached
scheme-2020-papers12:00 - 12:30
Talk