Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
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: Eastern Time (US & Canada) change

21:00 - 22:00: Clowdr TrainingClowdr Training at ICFP Social
21:00 - 22:00
Other
Clowdr Training
Benjamin C. PierceUniversity of Pennsylvania

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

09:00 - 10:00: Clowdr TrainingClowdr Training at ICFP Social
09:00 - 10:00
Other
Clowdr Training
Benjamin C. PierceUniversity of Pennsylvania

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

07:50 - 09:30: Session 1Erlang at Erlang
Chair(s): Viktória FördősCisco Systems
07:50 - 08:00
Day opening
Erlang
Annette BieniusaTechnische Universität Kaiserslautern, Viktória FördősCisco Systems
08:00 - 08:30
Short-paper
Erlang
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
08:30 - 09:00
Talk
Erlang
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.
09:00 - 09:30
Full-paper
Erlang
Peter ZellerTU Kaiserslautern, Annette BieniusaTechnische Universität Kaiserslautern, Carla FerreiraUniversidade Nova Lisboa
DOI
08:00 - 11:30: Keynote and Session 1HOPE at HOPE
08:00 - 09:00
Keynote
HOPE
Paul Blain LevyUniversity of Birmingham
09:15 - 10:00
Talk
HOPE
Guilhem JaberUniversité de Nantes, Andrzej MurawskiUniversity of Oxford
10:00 - 10:45
Talk
HOPE
Tarmo UustaluReykjavik University, Tallinn University of Technology, Niels VoorneveldTallinn University of Technology
10:45 - 11:30
Talk
HOPE
Patrick BahrIT University of Copenhagen, Christian Uldal GraulundIT University of Copenhagen, Rasmus Ejlers MøgelbergIT University of Copenhagen
09:00 - 10:00: Session 1PLMW @ ICFP / PLMW @ ICFP Catering at PLMW
09:00 - 09:15
Day opening
PLMW @ ICFP
Lindsey KuperUniversity of California, Santa Cruz, Talia RingerUniversity of Washington, Nate FosterCornell University
09:15 - 10:00
Talk
PLMW @ ICFP
09:00 - 12:30: Teaching Functional ProgrammingTutorials at Tutorials 1
09:00 - 12:30
Tutorial
Tutorials
Michael SperberActive Group GmbH
09:00 - 12:30: Audio, Video & Web Live Coding in HaskellTutorials at Tutorials 2
09:00 - 12:30
Tutorial
Tutorials
Manuel Bärenzsonnen eServices GmbH
Pre-print
10:00 - 10:30: Social 1Erlang at Erlang
10:00 - 10:30
Social Event
Erlang
10:00 - 11:30: Session 1TyDe at TyDe
10:00 - 10:30
Talk
TyDe
Víctor López JuanChalmers University of Technology, Nils Anders DanielssonUniversity of Gothenburg, Chalmers University of Technology
Media Attached
10:30 - 11:00
Talk
TyDe
Joris CeulemansVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
File Attached
11:00 - 11:30
Talk
TyDe
Ignacio TiraboschiNone, Jan-Oliver KaiserMPI-SWS, Beta ZilianiFAMAF, UNC and CONICET
10:30 - 12:00: Session 2Erlang at Erlang
Chair(s): Annette BieniusaTechnische Universität Kaiserslautern
10:30 - 11:00
Full-paper
Erlang
Simon ThompsonUniversity of Kent, Dániel HorpácsiEötvös Loránd University, Péter BereczkyEötvös Loránd University
DOI
11:00 - 11:30
Full-paper
Erlang
Viktória FördősCisco Systems
DOI
11:30 - 12:00
Full-paper
Erlang
Juan Facorro, Natalia ChechinaBournemouth University
DOI
10:30 - 12:30: Session 2PLMW @ ICFP / PLMW @ ICFP Catering at PLMW
10:30 - 11:10
Talk
PLMW @ ICFP
Nadia PolikarpovaUniversity of California, San Diego
11:10 - 11:50
Talk
PLMW @ ICFP
Amal AhmedNortheastern University, USA
11:50 - 12:30
Talk
PLMW @ ICFP
David Van HornUniversity of Maryland, USA
12:00 - 14:00: Session 2HOPE at HOPE
12:00 - 12:45
Talk
HOPE
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany
12:45 - 13:30
Talk
HOPE
Ingo SkupinUniversity of Tübingen, Julian JabsUniversity of Tübingen, David BinderUniversity of Tübingen
File Attached
12:30 - 13:30: Session 3Erlang at Erlang
Chair(s): Viktória FördősCisco Systems, Annette BieniusaTechnische Universität Kaiserslautern
12:30 - 13:30
Keynote
Erlang
Peter Van RoyUniversité catholique de Louvain
12:30 - 14:00: Session 2TyDe at TyDe
12:30 - 13:00
Talk
TyDe
Benjamin MoonSchool of Computing, University of Kent, Harley D. Eades IIIAugusta University, Dominic OrchardUniversity of Kent, UK
File Attached
13:00 - 13:30
Talk
TyDe
Guillaume AllaisUniversity of St Andrews, Edwin BradyUniversity of St. Andrews, UK, Ohad KammarUniversity of Edinburgh, Jeremy YallopUniversity of Cambridge
13:30 - 14:00
Talk
TyDe
Bruce CollieUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh
Pre-print
13:30 - 14:00: Social 2Erlang at Erlang
13:30 - 14:00
Social Event
Erlang
13:30 - 14:00: Social SessionPLMW @ ICFP at PLMW
13:30 - 14:00
Social Event
PLMW @ ICFP
14:00 - 15:00: Session 4Erlang at Erlang
14:00 - 15:00
Industry talk
Erlang
14:00 - 17:30: Best Practices in Code GenerationTutorials at Tutorials 1

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

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

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

14:00 - 17:30
Tutorial
Tutorials
Rishiyur NikhilBluespec, Inc.
14:30 - 16:00: Session 3HOPE at HOPE
14:30 - 15:15
Talk
HOPE
Martin CeresaUNR - CIFASIS - CONICET
15:15 - 16:00
Talk
HOPE
Antonio LocascioUniversidad Nacional de Rosario
15:30 - 17:00: Session 3TyDe at TyDe
15:30 - 16:00
Talk
TyDe
16:00 - 16:30
Talk
TyDe
Thomas ReynoldsUniversity of Missouri, William HarrisonOak Ridge National Laboratory, Rohit ChadhaUniversity of Missouri, Gerard AllweinU.S. Naval Research Laboratory
16:30 - 17:00
Talk
TyDe
Mark LemayBoston University, Cheng ZhangBoston University, William BlairBoston University
16:00 - 17:00: Session 4PLMW @ ICFP / PLMW @ ICFP Catering at PLMW
16:00 - 17:00
Talk
PLMW @ ICFP
P: Simon Peyton JonesMicrosoft, UK, P: Kathleen FisherTufts University, USA, P: Jose CalderonGalois, Inc., P: Benjamin C. PierceUniversity of Pennsylvania, P: Sarah E. ChasinsUniversity of California, Berkeley, P: Jeff VaughanGoogle
18:00 - 19:30: TyDe SocialTyDe at TyDe

Join the Zoom via Clowdr

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

05:00 - 18:00: Jane StreetICFP Sponsors at Jane Street sponsor room
05:00 - 06:00
Live Q&A
ICFP Sponsors
13:30 - 14:30
Live Q&A
ICFP Sponsors
09:00 - 18:00: AhrefsICFP Sponsors at Ahrefs sponsor room
09:00 - 18:00: FacebookICFP Sponsors at Facebook sponsor room
09:00 - 18:00: GaloisICFP Sponsors at Galois sponsor room
09:00 - 10:00: KeynoteICFP Program at ICFP Keynote 1
Chair(s): Chung-chieh ShanIndiana University, USA

Public livestreams: YouTube, iQIYI (China)

09:00 - 10:00
Talk
ICFP Program
09:00 - 18:00: Standard CharteredICFP Sponsors at Standard Chartered sponsor room
10:00 - 11:30: Social TimeSocial Events at Clowdr People/Places
10:00 - 11:30
Social Event
Social Events
10:00 - 10:30: Get HelpSocial Events at Information Desk
10:00 - 10:30
Other
Social Events
Stephanie WeirichUniversity of Pennsylvania
10:30 - 11:30: How to ICFPSocial Events at ICFP Social 2
10:30 - 11:30
Meeting
Social Events
Benjamin C. PierceUniversity of Pennsylvania
10:30 - 11:30: SRC Poster SessionStudent Research Competition at SRC Posters
10:30 - 10:38
Poster
Student Research Competition
10:38 - 10:47
Poster
Student Research Competition
10:47 - 10:55
Poster
Student Research Competition
James LowenthalUniversity of Cambridge
10:55 - 11:04
Poster
Student Research Competition
Yongwei YuanUniversity of Michigan
11:04 - 11:12
Poster
Student Research Competition
Zhiyi PanUniversity of Michigan
11:12 - 11:21
Poster
Student Research Competition
Christopher LamCornell University
11:21 - 11:30
Poster
Student Research Competition
Cezar-Constantin AndriciAlexandru Ioan Cuza University of Iasi
11:30 - 13:00: New York 1ICFP Program at ICFP NY 1
Chair(s): Adam ChlipalaMassachusetts Institute of Technology

Public livestreams: YouTube, Bilibili (China)

11:30 - 11:45
Talk
ICFP Program
DOI Media Attached File Attached
11:45 - 12:00
Talk
ICFP Program
Zachary PalmerSwarthmore College, Theodore ParkSwarthmore and Hopkins, Scott F. SmithThe Johns Hopkins University, Shiwei WengThe Johns Hopkins University
DOI Media Attached
12:00 - 12:15
Talk
ICFP Program
Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK
DOI
12:15 - 12:30
Talk
ICFP Program
Nikhil SwamyMicrosoft Research, Aseem RastogiMicrosoft Research, Aymeric FromherzCarnegie Mellon University, Denis MerigouxINRIA, Danel AhmanUniversity of Ljubljana, Guido MartínezCIFASIS-CONICET, Argentina
DOI
12:30 - 12:45
Talk
ICFP Program
Jeremiah GriffinUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Narges ShadabUniversity of California, Riverside, Xizhe YinUnivsersity of California, Riverside
DOI
12:45 - 13:00
Talk
ICFP Program
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
11:45 - 13:15: ICFP Q&A New York 1-1ICFP Q&A at ICFP Q&A 1
11:45 - 12:15
Live Q&A
ICFP Q&A
12:15 - 12:45
Live Q&A
ICFP Q&A
12:45 - 13:15
Live Q&A
ICFP Q&A
11:45 - 13:15: ICFP Q&A New York 1-2ICFP Q&A at ICFP Q&A 2
12:00 - 12:30
Live Q&A
ICFP Q&A
12:30 - 13:00
Live Q&A
ICFP Q&A
13:00 - 13:30
Live Q&A
ICFP Q&A
13:00 - 14:30: Social TimeSocial Events at Clowdr People/Places
13:00 - 14:30
Social Event
Social Events
13:00 - 13:30: Get HelpSocial Events at Information Desk
13:00 - 13:30
Other
Social Events
Stephanie WeirichUniversity of Pennsylvania
13:30 - 14:30: W@ICFPSocial Events at ICFP Social

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

13:30 - 14:30
Social Event
Social Events
O: Mary Sheeranms@chalmers.se
14:30 - 16:30: New York 2ICFP Program at ICFP NY 2
Chair(s): Alan JeffreyMozilla Research

Public livestreams: YouTube, Bilibili (China)

14:30 - 14:45
Talk
ICFP Program
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
14:45 - 15:00
Talk
ICFP Program
Jamie WillisImperial College London, Nicolas WuImperial College London, UK, Matthew PickeringUniversity of Bristol, UK
DOI
15:00 - 15:15
Talk
ICFP Program
Gabriel RadanneInria, Hannes SaffrichUniversity of Freiburg, Peter ThiemannUniversity of Freiburg, Germany
DOI Pre-print File Attached
15:15 - 15:30
Talk
ICFP Program
Daniel SelsamMicrosoft Research, Simon HudonCarnegie Mellon University, Leonardo De MouraMicrosoft Research, n.n.
DOI
15:30 - 15:45
Talk
ICFP Program
Daniel HillerströmThe University of Edinburgh, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, John LongleyThe University of Edinburgh
DOI
15:45 - 16:00
Talk
ICFP Program
Nick RiouxUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI Media Attached
16:00 - 16:15
Talk
ICFP Program
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
16:15 - 16:30
Talk
ICFP Program
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
14:45 - 16:45: ICFP Q&A New York 2-2ICFP Q&A at ICFP Q&A 2
15:00 - 15:30
Live Q&A
ICFP Q&A
15:30 - 16:00
Live Q&A
ICFP Q&A
16:00 - 16:30
Live Q&A
ICFP Q&A
16:30 - 17:00
Live Q&A
ICFP Q&A
16:30 - 17:30: Social TimeSocial Events at Clowdr People/Places
16:30 - 17:30
Social Event
Social Events
16:30 - 17:30: Untitled PL Card GameSocial Events at ICFP Social 2
16:30 - 17:30
Social Event
Social Events
Jasper Van der JeugtFugue, Niki VazouIMDEA Software Institute, Leonidas LampropoulosUniversity of Maryland, College Park
Media Attached
21:00 - 22:00: Social TimeSocial Events at Clowdr People/Places
21:00 - 22:00
Social Event
Social Events
21:00 - 22:00: Women in CS PanelSocial Events at ICFP Social
Chair(s): Cristina CifuentesOracle Labs

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

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

Public livestreams: YouTube, Bilibili (China)

22:30 - 22:45
Talk
ICFP Program
DOI Media Attached File Attached
22:45 - 23:00
Talk
ICFP Program
Zachary PalmerSwarthmore College, Theodore ParkSwarthmore and Hopkins, Scott F. SmithThe Johns Hopkins University, Shiwei WengThe Johns Hopkins University
DOI Media Attached
23:00 - 23:15
Talk
ICFP Program
Kazutaka MatsudaTohoku University, Japan, Meng WangUniversity of Bristol, UK
DOI
23:15 - 23:30
Talk
ICFP Program
Nikhil SwamyMicrosoft Research, Aseem RastogiMicrosoft Research, Aymeric FromherzCarnegie Mellon University, Denis MerigouxINRIA, Danel AhmanUniversity of Ljubljana, Guido MartínezCIFASIS-CONICET, Argentina
DOI
23:30 - 23:45
Talk
ICFP Program
Jeremiah GriffinUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Narges ShadabUniversity of California, Riverside, Xizhe YinUnivsersity of California, Riverside
DOI
23:45 - 00:00
Talk
ICFP Program
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
22:45 - 00:15: ICFP Q&A Asia 1-1ICFP Q&A at ICFP Q&A 1
23:15 - 23:45
Live Q&A
ICFP Q&A
23:45 - 00:15
Live Q&A
ICFP Q&A
22:45 - 00:15: ICFP Q&A Asia 1-2ICFP Q&A at ICFP Q&A 2
23:00 - 23:30
Live Q&A
ICFP Q&A
23:30 - 00:00
Live Q&A
ICFP Q&A
00:00 - 00:30
Live Q&A
ICFP Q&A

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

01:00 - 02:00: Social TimeSocial Events at Clowdr People/Places
01:00 - 02:00
Social Event
Social Events
01:00 - 02:00: MentoringSocial Events at ICFP Social
01:00 - 02:00
Talk
Social Events
Ranjit JhalaUniversity of California at San Diego, USA
02:30 - 04:30: Asia 2ICFP Program at ICFP Asia 2
Chair(s): Alan JeffreyMozilla Research

Public livestreams: YouTube, Bilibili (China)

02:30 - 02:45
Talk
ICFP Program
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
02:45 - 03:00
Talk
ICFP Program
Jamie WillisImperial College London, Nicolas WuImperial College London, UK, Matthew PickeringUniversity of Bristol, UK
DOI
03:00 - 03:15
Talk
ICFP Program
Gabriel RadanneInria, Hannes SaffrichUniversity of Freiburg, Peter ThiemannUniversity of Freiburg, Germany
DOI Pre-print File Attached
03:15 - 03:30
Talk
ICFP Program
Daniel SelsamMicrosoft Research, Simon HudonCarnegie Mellon University, Leonardo De MouraMicrosoft Research, n.n.
DOI
03:30 - 03:45
Talk
ICFP Program
Daniel HillerströmThe University of Edinburgh, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK, John LongleyThe University of Edinburgh
DOI
03:45 - 04:00
Talk
ICFP Program
Nick RiouxUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI Media Attached
04:00 - 04:15
Talk
ICFP Program
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
04:15 - 04:30
Talk
ICFP Program
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
02:45 - 04:45: ICFP Q&A Asia 2-2ICFP Q&A at ICFP Q&A 2
04:30 - 05:30: Social TimeSocial Events at Clowdr People/Places
04:30 - 05:30
Social Event
Social Events
04:30 - 05:30: PanelSocial Events at ICFP Social
04:30 - 05:30
Meeting
Social Events
Atsushi IgarashiKyoto University, Japan, Sukyoung RyuKAIST, Ilya SergeyYale-NUS College and National University of Singapore, Alex PotaninVictoria University of Wellington
05:00 - 18:00: Jane StreetICFP Sponsors at Jane Street sponsor room
05:00 - 06:00
Live Q&A
ICFP Sponsors
10:00 - 11:00
Live Q&A
ICFP Sponsors
13:30 - 14:30
Live Q&A
ICFP Sponsors
09:00 - 18:00: AhrefsICFP Sponsors at Ahrefs sponsor room
09:00 - 18:00: FacebookICFP Sponsors at Facebook sponsor room
09:00 - 18:00: GaloisICFP Sponsors at Galois sponsor room
09:00 - 10:00: KeynoteICFP Program at ICFP Keynote 2
Chair(s): Adam ChlipalaMassachusetts Institute of Technology

Public livestreams: YouTube, iQIYI (China)

09:00 - 10:00
Talk
ICFP Program
09:00 - 18:00: Standard CharteredICFP Sponsors at Standard Chartered sponsor room
10:00 - 10:30: Get HelpSocial Events at Information Desk
10:00 - 10:30
Other
Social Events
Stephanie WeirichUniversity of Pennsylvania
10:30 - 11:30: ExcursionSocial Events at ICFP Private Room
10:30 - 11:30
Social Event
Social Events
Alan JeffreyMozilla Research
10:30 - 11:30: CARESSocial Events at ICFP Social 2
10:30 - 11:00
Meeting
Social Events
David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States
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
11:30 - 12:15: SRC Finalist Presentation 1Student Research Competition at Student Research Competition
11:30 - 12:15
Talk
Student Research Competition
13:00 - 14:30: Social TimeSocial Events at Clowdr People/Places
13:00 - 14:30
Social Event
Social Events
13:00 - 13:30: Get HelpSocial Events at Information Desk
13:00 - 13:30
Other
Social Events
Stephanie WeirichUniversity of Pennsylvania
13:30 - 14:30: LGBTQ MeetupSocial Events at ICFP Social
13:30 - 14:30
Talk
Social Events
David WalkerPrinceton University, USA, Matthew WeaverPrinceton University
14:30 - 16:30: New York 4ICFP Program at ICFP NY 4
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, Bilibili (China)

14:30 - 14:45
Talk
ICFP Program
DOI Pre-print Media Attached
14:45 - 15:00
Talk
ICFP Program
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
15:00 - 15:15
Talk
ICFP Program
Glen MévelInria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, Jacques-Henri JourdanUniversersité Paris Saclay, CNRS, LRI, François PottierInria, France
DOI
15:15 - 15:30
Talk
ICFP Program
Matthew WeidnerCarnegie Mellon University, Christopher MeiklejohnCarnegie Mellon University, Heather MillerCarnegie Mellon University
DOI
15:30 - 15:45
Talk
ICFP Program
Alejandro Serrano47 Degrees, Spain, Jurriaan HageUtrecht University, Netherlands, Simon Peyton JonesMicrosoft, UK, Dimitrios VytiniotisDeepMind
DOI Pre-print
15:45 - 16:00
Talk
ICFP Program
Andreas AbelGothenburg University, Jean-Philippe BernardyUniversity of Gothenburg, Sweden
DOI
16:00 - 16:15
Talk
ICFP Program
Sebastian GrafKarlsruhe Institute of Technology, Simon Peyton JonesMicrosoft, UK, Ryan ScottGalois, Inc.
Link to publication DOI
16:15 - 16:30
Talk
ICFP Program
Taro SekiyamaNational Institute of Informatics, Takeshi TsukadaChiba University, Japan, Atsushi IgarashiKyoto University, Japan
DOI
14:45 - 16:45: ICFP Q&A New York 4-2ICFP Q&A at ICFP Q&A 2
15:00 - 15:30
Live Q&A
ICFP Q&A
15:30 - 16:00
Live Q&A
ICFP Q&A
16:00 - 16:30
Live Q&A
ICFP Q&A
16:30 - 17:30: Social TimeSocial Events at Clowdr People/Places
16:30 - 17:30
Social Event
Social Events
16:30 - 17:30: ICFP TriviaSocial Events at ICFP Social
16:30 - 17:30
Social Event
Social Events
Jose CalderonGalois, Inc., Paulette KoronkevichUniversity of British Columbia
21:00 - 22:30: Social TimeSocial Events at Clowdr People/Places
21:00 - 22:30
Social Event
Social Events
21:00 - 22:00: CARESSocial Events at ICFP Social 2
21:00 - 21:30
Meeting
Social Events
David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States
21:30 - 22:30: Mind the TitleSocial Events at ICFP Social 3
21:30 - 22:30
Meeting
Social Events
Olivier DanvyYale-NUS College and School of Computing, Singapore
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
22:40 - 00:10: ICFP Q&A Asia 3-1ICFP Q&A at ICFP Q&A 1
22:40 - 00:10: ICFP Q&A Asia 3-2ICFP Q&A at ICFP Q&A 2
23:30 - 00:15: SRC Finalist Presentation 2Student Research Competition at Student Research Competition
23:30 - 00:15
Talk
Student Research Competition

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

00:00 - 01:00: Social TimeSocial Events at Clowdr People/Places
00:00 - 01:00
Social Event
Social Events
00:00 - 01:00: MentoringSocial Events at ICFP Social
00:00 - 01:00
Talk
Social Events
02:30 - 04:30: Asia 4ICFP Program at ICFP Asia 4
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, Bilibili (China)

02:30 - 02:45
Talk
ICFP Program
DOI Pre-print Media Attached
02:45 - 03:00
Talk
ICFP Program
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
03:00 - 03:15
Talk
ICFP Program
Glen MévelInria, Université Paris-Saclay, CNRS, Laboratoire de recherche en informatique, Jacques-Henri JourdanUniversersité Paris Saclay, CNRS, LRI, François PottierInria, France
DOI
03:15 - 03:30
Talk
ICFP Program
Matthew WeidnerCarnegie Mellon University, Christopher MeiklejohnCarnegie Mellon University, Heather MillerCarnegie Mellon University
DOI
03:30 - 03:45
Talk
ICFP Program
Alejandro Serrano47 Degrees, Spain, Jurriaan HageUtrecht University, Netherlands, Simon Peyton JonesMicrosoft, UK, Dimitrios VytiniotisDeepMind
DOI Pre-print
03:45 - 04:00
Talk
ICFP Program
Andreas AbelGothenburg University, Jean-Philippe BernardyUniversity of Gothenburg, Sweden
DOI
04:00 - 04:15
Talk
ICFP Program
Sebastian GrafKarlsruhe Institute of Technology, Simon Peyton JonesMicrosoft, UK, Ryan ScottGalois, Inc.
Link to publication DOI
04:15 - 04:30
Talk
ICFP Program
Taro SekiyamaNational Institute of Informatics, Takeshi TsukadaChiba University, Japan, Atsushi IgarashiKyoto University, Japan
DOI
02:45 - 04:45: ICFP Q&A Asia 4-2ICFP Q&A at ICFP Q&A 2
04:00 - 04:30
Live Q&A
ICFP Q&A
04:30 - 05:00
Live Q&A
ICFP Q&A
04:30 - 05:30: Social TimeSocial Events at Clowdr People/Places
04:30 - 05:30
Social Event
Social Events
04:30 - 05:30: ProverbsSocial Events at ICFP Social 2
04:30 - 05:30
Talk
Social Events
Neel KrishnaswamiComputer Laboratory, University of Cambridge
05:00 - 18:00: Jane StreetICFP Sponsors at Jane Street sponsor room
05:00 - 06:00
Live Q&A
ICFP Sponsors
10:00 - 11:00
Live Q&A
ICFP Sponsors
13:30 - 14:30
Live Q&A
ICFP Sponsors
16:30 - 17:30
Social Event
ICFP Sponsors
09:00 - 18:00: AhrefsICFP Sponsors at Ahrefs sponsor room
16:30 - 17:30
Social Event
ICFP Sponsors
09:00 - 18:00: FacebookICFP Sponsors at Facebook sponsor room
16:30 - 17:30
Social Event
ICFP Sponsors
09:00 - 18:00: GaloisICFP Sponsors at Galois sponsor room
16:30 - 17:30
Social Event
ICFP Sponsors
09:00 - 09:45: ICFP Programming ContestICFP Program at ICFP Awards
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, iQIYI (China)

09:00 - 09:45
Keynote
ICFP Program
09:00 - 18:00: Standard CharteredICFP Sponsors at Standard Chartered sponsor room
16:30 - 17:30
Social Event
ICFP Sponsors
09:45 - 10:30: Awards & ReportsICFP Program at ICFP Awards
Chair(s): Stephanie WeirichUniversity of Pennsylvania

Public livestreams: YouTube, iQIYI (China)

09:45 - 10:30
Talk
ICFP Program
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
10:30 - 11:00: Get HelpSocial Events at Information Desk
10:30 - 11:00
Other
Social Events
Stephanie WeirichUniversity of Pennsylvania
10:45 - 13:15: ICFP Q&A New York 5-1ICFP Q&A at ICFP Q&A 1
11:15 - 11:45
Live Q&A
ICFP Q&A
11:45 - 12:15
Live Q&A
ICFP Q&A
12:15 - 12:45
Live Q&A
ICFP Q&A
12:45 - 13:15
Live Q&A
ICFP Q&A
11:00 - 13:00: New York 5ICFP Program at ICFP NY 5
Chair(s): Richard A. EisenbergTweag I/O

Public livestreams: YouTube, Bilibili (China)

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

Public livestreams: YouTube, Bilibili (China)

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

Public livestreams: YouTube, Bilibili (China)

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

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

00:30 - 01:30: Social TimeSocial Events at Clowdr People/Places
00:30 - 01:30
Social Event
Social Events
00:30 - 01:30: MentoringSocial Events at ICFP Social
00:30 - 01:30
Talk
Social Events
Matthias FelleisenPLT @ Northeastern University
02:30 - 04:25: Asia 6ICFP Program at ICFP Asia 6
Chair(s): Sukyoung RyuKAIST

Public livestreams: YouTube, Bilibili (China)

02:30 - 02:45
Talk
ICFP Program
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI
02:45 - 03:00
Talk
ICFP Program
Paolo G. GiarrussoBedRock Systems, Leo StefanescoIRIF, University Paris Diderot & CNRS, Amin TimanyAarhus University, Lars BirkedalAarhus University, Robbert KrebbersDelft University of Technology
DOI
03:00 - 03:15
Talk
ICFP Program
Matúš TejiščákUniversity of St Andrews
DOI
03:15 - 03:30
Talk
ICFP Program
Di WangCarnegie Mellon University, David M. KahnCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
DOI
03:30 - 03:45
Talk
ICFP Program
Justin LubinUniversity of Chicago, Nick CollinsUniversity of Chicago, Cyrus OmarUniversity of Michigan, Ravi ChughUniversity of Chicago
DOI
03:45 - 04:00
Talk
ICFP Program
András KovácsEötvös Loránd University
DOI Pre-print
04:00 - 04:15
Talk
ICFP Program
Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK, Richard A. EisenbergTweag I/O
DOI
04:15 - 04:25
Day closing
ICFP Program
Stephanie WeirichUniversity of Pennsylvania
02:45 - 04:45: ICFP Q&A Asia 6-1ICFP Q&A at ICFP Q&A 1
02:45 - 03:15
Live Q&A
ICFP Q&A
03:15 - 03:45
Live Q&A
ICFP Q&A
04:15 - 04:45
Live Q&A
ICFP Q&A
04:30 - 05:30: Social TimeSocial Events at Clowdr People/Places
04:30 - 05:30
Social Event
Social Events
09:00 - 10:00: Designated Social Interaction TimeHaskell at Haskell
09:00 - 10:00: Career PlanningSocial Events at ICFP Social
09:00 - 10:00
Meeting
Social Events
Neel KrishnaswamiComputer Laboratory, University of Cambridge
09:00 - 12:30
Tutorial
Tutorials
Michael SperberActive Group GmbH
09:00 - 12:30: Integrating User Centered Methods into Programming Language DesignTutorials at Tutorials 2

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

09:00 - 12:30
Tutorial
Tutorials
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
09:00 - 11:00: Morning KeynoteminiKanren at miniKanren
Chair(s): Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
10:00 - 11:00
Keynote
miniKanren
K: Eelco VisserDelft University of Technology
10:00 - 11:00: KeynoteML at ML
10:00 - 11:00
Keynote
ML
Media Attached
11:30 - 13:00: Paper Session 1 - Software EngineeringHaskell at Haskell
Chair(s): José Pedro Magalhães
11:30 - 12:00
Talk
Haskell
Sander KampsOpen University of the Netherlands, Netherlands, Bastiaan HeerenOpen University of the Netherlands, Netherlands, Johan JeuringOpen University of the Netherlands, Netherlands
DOI
12:00 - 12:30
Talk
Haskell
Alejandro Serrano47 Degrees, Spain, Flavio Corpa47 Degrees, Spain
DOI
12:30 - 13:00
Talk
Haskell
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
11:30 - 13:30: Morning SessionminiKanren at miniKanren
Chair(s): Joseph P. NearUniversity of Vermont, Gregory RosenblattUniversity of Alabama at Birmingham, USA
11:30 - 11:50
Talk
miniKanren
Petr LozovSain Petersburg State University, SPbGU, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
11:50 - 12:10
Talk
miniKanren
Ekaterina VerbitskaiaJetBrains, Daniil BerezunJetBrains, Russia, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
12:10 - 12:30
Talk
miniKanren
Raoul SchorerGeneva University Hospitals
Pre-print
12:30 - 12:50
Talk
miniKanren
Weixi MaIndiana University, Kuang-Chen LuIndiana University Bloomington, Daniel P. FriedmanIndiana University, USA
Pre-print
12:50 - 13:10
Talk
miniKanren
Marco MaggesiUniversità di Firenze, Massimo NocentiniUniversità di Firenze
Pre-print
13:10 - 13:30
Talk
miniKanren
Dmitry RozplokhasHigher School of Economics, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
14:00 - 18:00: ShutdownPL 1Social Events at ICFP Social
14:00 - 18:00
Social Event
Social Events
Kenny FonerGalois, Niki CarrollGeorge Mason University, Priya SrikumarCornell University, David JustoUniversity of California, San Diego, Justin LubinUniversity of Chicago, Akash Gaonkar, Alan JeffreyMozilla Research
14:00 - 17:30: Using the K Framework to Formalize Functional LanguagesTutorials at Tutorials 1

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

14:00 - 17:30
Tutorial
Tutorials
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
14:30 - 16:10: Paper Session 2 - Animations and DemonstrationsHaskell at Haskell
Chair(s): Exequiel RivasInria Paris
14:30 - 15:00
Talk
Haskell
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
15:00 - 15:30
Talk
Haskell
Rudi HornUniversity of Edinburgh
File Attached
15:30 - 16:00
Talk
Haskell
DOI
16:00 - 16:10
Other
Haskell
14:30 - 15:30: Afternoon KeynoteminiKanren at miniKanren
Chair(s): Jason HemannNortheastern University, United States
14:30 - 15:30
Keynote
miniKanren
Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
15:20 - 17:40: ShutdownPL 2Social Events at ICFP Social 4
15:20 - 17:40
Social Event
Social Events
15:20 - 17:40: ShutdownPL 3Social Events at ICFP Social 5
15:20 - 17:40
Social Event
Social Events
15:20 - 17:40: ShutdownPL 4Social Events at ICFP Social 6
15:20 - 17:40
Social Event
Social Events
15:30 - 17:10: Afternoon SessionminiKanren at miniKanren
Chair(s): Nada AminHarvard University, Weixi MaIndiana University
15:30 - 15:50
Talk
miniKanren
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
15:50 - 16:10
Talk
miniKanren
Dmitrii KosarevJetBrains Research, Saint Petersburg State University, Dmitri BoulytchevSt. Petersburg State University, St. Petersburg, Russia
Pre-print
16:10 - 16:30
Talk
miniKanren
Jason HemannNortheastern University, United States, Daniel P. FriedmanIndiana University, USA
Pre-print
16:30 - 16:50
Talk
miniKanren
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
16:50 - 17:10
Talk
miniKanren
Julie SteeleGeorgetown Day School, William E. ByrdUniversity of Alabama at Birmingham, USA
Pre-print
16:10 - 17:30: Designated Social Interaction TimeHaskell at Haskell

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

05:30 - 08:30: EcosystemOCaml at OCaml
Chair(s): Florian AngelettiInria

Infrastructure, tooling, and ecosystem in general.

05:30 - 06:30
Keynote
OCaml
06:30 - 07:00
Talk
OCaml
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadTarides and OCaml Labs, Anil MadhavapeddyOCaml Labs
07:00 - 07:30
Talk
OCaml
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneInria, Leo WhiteJane Street
07:30 - 08:00
Talk
OCaml
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
08:00 - 08:30
Talk
OCaml
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
Pre-print
09:00 - 12:00: Sessions 1 and 2HIW at HIW
09:00 - 09:22
Talk
HIW
Cheng ShaoTweag I/O, Georgios KarachaliasTweag I/O, Hans HoeglundTweag I/O
09:22 - 09:44
Talk
HIW
10:00 - 10:35
Talk
HIW
10:35 - 10:57
Talk
HIW
Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Akira KawataKyoto University, Mayuko KoriThe University of Tokyo, Hiromi OgawaUniversity of Tsukuba
10:57 - 11:19
Talk
HIW
Philipp SchusterUniversity of Tübingen, Germany, David BinderUniversity of Tübingen
11:19 - 11:31
Talk
HIW
Simon Peyton JonesMicrosoft, UK, Ben GamariWell-Typed LLP
11:31 - 12:00
Break
HIW
09:00 - 10:00: Designated Social Interaction TimeHaskell at Haskell
09:00 - 11:00: ApplicationsOCaml 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.

09:00 - 09:30
Talk
OCaml
Jan MidtgaardUniversity of Southern Denmark
09:30 - 10:00
Talk
OCaml
Tom RidgeUniversity of Leicester, UK
10:00 - 10:30
Talk
OCaml
10:30 - 11:00
Talk
OCaml
Markus MottlUnaffiliated
09:00 - 12:30: Library-Oriented Dynamic Analysis with LyaTutorials at Tutorials 1
09:00 - 12:30
Tutorial
Tutorials
Nikos VasilakisMIT CSAIL, USA, Greg NtousakisTU Crete
10:00 - 11:00: Paper Session 3 - DatastructuresHaskell at Haskell
Chair(s): Andrey MokhovJane Street
10:00 - 10:30
Talk
Haskell
Koen ClaessenChalmers University of Technology, Sweden
DOI
10:30 - 11:00
Talk
Haskell
Armando João Isaías Ferreira dos SantosUniversity of Minho, Portugal / INESC TEC, Portugal, Jose Nuno OliveiraUniversity of Minho, Portugal / INESC TEC, Portugal
DOI
10:00 - 11:00: Morning KeynoteScheme at Scheme
10:00 - 11:00
Keynote
Scheme
Martin HenzNational University of Singapore, Tobias WrigstadUppsala University, Sweden
11:30 - 13:00: Paper Session 4 - EffectsHaskell at Haskell
Chair(s): Pierre-Evariste DagandLIP6/CNRS
11:30 - 12:00
Talk
Haskell
Andrej IvaškovićUniversity of Cambridge, UK, Alan MycroftUniversity of Cambridge, UK
DOI
12:00 - 12:30
Talk
Haskell
Yves ParèsTweag I/O, France, Jean-Philippe BernardyUniversity of Gothenburg, Sweden, Richard A. EisenbergTweag I/O
DOI
12:30 - 13:00
Talk
Haskell
Ningning XieMicrosoft Research, USA, Daan LeijenMicrosoft Research, USA
DOI
11:30 - 13:30: ExperienceOCaml at OCaml
Chair(s): Greta YorshJane Street

Sharing experience about using OCaml in various scenarios.

11:30 - 12:00
Talk
OCaml
12:00 - 12:30
Talk
OCaml
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Pre-print
12:30 - 13:00
Talk
OCaml
Patrik KellerUniversity of Innsbruck, Marc LassonLexiFi
13:00 - 13:30
Talk
OCaml
Paul StecklerO(1) Labs, Matthew RyanO(1) Labs
11:30 - 13:00: Research Session 1Scheme at Scheme
11:30 - 12:00
Talk
Scheme
Pierce DarraghUniversity of Utah, William G HatchUniversity of Utah, Eric EideUniversity of Utah
File Attached
12:00 - 12:30
Talk
Scheme
Francesco MontanariUniversidad Autónoma de Madrid
File Attached
12:30 - 12:40
Talk
Scheme
Junya NoseTokyo Institute of Technology, Youyou CongTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
12:40 - 12:50
Talk
Scheme
Youyou CongTokyo Institute of Technology, Naoya FurudonoTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
File Attached
12:50 - 13:00
Talk
Scheme
julien lepillerYale University
File Attached
12:30 - 13:30: Session 3HIW at HIW
12:30 - 12:52
Talk
HIW
12:52 - 13:14
Talk
HIW
Alfredo Di NapoliWell-Typed LLP, Ranjit JhalaUniversity of California at San Diego, USA, Andres LöhWell-Typed LLP, Niki VazouIMDEA Software Institute
13:14 - 13:36
Talk
HIW
Dmitrii KovanikovStandard Chartered, Veronika RomashkinaNone
14:00 - 17:30: Sessions 4 and 5HIW at HIW
14:00 - 14:22
Talk
HIW
14:22 - 14:44
Talk
HIW
15:00 - 15:45
Talk
HIW
15:45 - 15:57
Talk
HIW
Antal Spector-ZabuskyUniversity of Pennsylvania, Joachim BreitnerDFINITY Foundation, Stephanie WeirichUniversity of Pennsylvania, Yao LiUniversity of Pennsylvania
16:00 - 16:20
Talk
HIW
Ben GamariWell-Typed LLP
14:00 - 15:00: Keynote IIOCaml at OCaml
Chair(s): Chris CasinghinoDraper Laboratory

The recitation of the Keynote speech for those who weren’t able to attend the first one.

14:00 - 15:00
Keynote
OCaml
14:00 - 17:30: Building Multi-Language Tools with CubixTutorials at Tutorials 1
14:00 - 17:30
Tutorial