ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
ICFP 2023 (series) / The Westin Seattle /

Room information: Olympic

VenueThe Westin Seattle
Room nameOlympic
Floor2
Capacity70
Room InformationNo extra information available
Program

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

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
FHPNC Talk #1FHPNC at Olympic
Chair(s): Gabriele Keller Utrecht University
09:00
45m
Keynote
Programming the Groq TSP Architecture in Haskell with Haste
FHPNC
Satnam Singh
09:45
45m
Talk
Rank-Polymorphism for Shape-Guided Blocking
FHPNC
Artjoms Šinkarovs Heriot-Watt University, UK, Thomas Koopman Radboud University, Sven-Bodo Scholz Heriot-Watt University
DOI
11:00 - 12:30
FHPNC Talk #2FHPNC at Olympic
Chair(s): Sam Westrick Carnegie Mellon University
11:00
45m
Keynote
Fast Deep Learning with Categories
FHPNC
Michael Sperber Active Group GmbH
11:45
45m
Talk
Efficient GPU Implementation of Affine Index Permutations on Arrays
FHPNC
Mathis Bouverot-Dupuis INRIA & École Normale Supérieure, Mary Sheeran Chalmers | University of Gothenburg
DOI
14:00 - 15:30
FHPNC Talks #3FHPNC at Olympic
Chair(s): Mary Sheeran Chalmers
14:00
45m
Keynote
Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code
FHPNC
Gilbert Louis Bernstein Stanford University, USA
14:45
45m
Talk
The best multicore-parallelization refactoring you've never heard of
FHPNC
Mike Rainey Carnegie Mellon University
16:00 - 17:30
Invited talk & DiscussionFHPNC at Olympic
16:00
45m
Talk
Shape-Constrained Array Programming with Size-Dependent Types
FHPNC
Lubin Bailly École normale supérieure, Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark
DOI
16:45
45m
Panel
Community Update and Discussion
FHPNC

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
miniKanren: TutorialminiKanren at Olympic
Chair(s): William E. Byrd University of Alabama at Birmingham, USA
11:00 - 12:30
miniKanren: Papers (Session 1 out of 2)miniKanren at Olympic
Chair(s): William E. Byrd University of Alabama at Birmingham, USA
11:00
45m
Talk
klogic: miniKanren in KotlinRemote
miniKanren
Yury Kamenev , Dmitrii Kosarev Saint Petersburg State University, Russia, Dmitry Ivanov Huawei, Denis Fokin , Dmitri Boulytchev Saint Petersburg State University
Pre-print
11:45
45m
Talk
Semi-Automated Direction-Driven Functional ConversionRemote
miniKanren
Ekaterina Verbitskaia JetBrains, Igor Engel , Daniil Berezun JetBrains Research
Pre-print
14:00 - 15:30
miniKanren: Papers (Session 2 out of 2)miniKanren at Olympic
Chair(s): William E. Byrd University of Alabama at Birmingham, USA
14:00
45m
Talk
Stable Model Semantics Extension of miniKanren
miniKanren
Xiangyu Guo Arizona State University, James Smith , Ajay Bansal
Pre-print
14:45
45m
Talk
Goals as Constraints: Writing miniKanren Constraints in miniKanrenRemote
miniKanren
Evan Donahue University of Tokyo
Pre-print
16:00 - 17:30
miniKanren: Discussion on the Future of miniKanrenminiKanren at Olympic
Chair(s): William E. Byrd University of Alabama at Birmingham, USA

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
SCHEME: Session IScheme at Olympic
Chair(s): Jason Hemann Seton Hall University

09:30 Visualizing Why Nondeterministic Finite-State Automatons Reject, Oliwia Kempinski and Marco T. Morazan

10:00 Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation, Tijana Minic and Marco T. Morazan

09:30
30m
Talk
Visualizing Why Nondeterministic Finite-State Automa Reject
Scheme
A: Oliwia Kempinski , Marco T Morazan Seton Hall University
10:00
30m
Talk
Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation
Scheme
A: Tijana Minic Seton Hall University, Marco T Morazan Seton Hall University
11:00 - 12:30
SCHEME: Session IIScheme at Olympic
Chair(s): Marco T Morazan Seton Hall University

11:00 The Calysto Scheme Project, James B. Marshall and Douglas Blank

11:30 Keynote Address: The Rational Programmer, Christos Dimoulas

11:00
30m
Talk
The Calysto Scheme Project
Scheme
A: James Marshall Sarah Lawrence College, Douglas Blank Bryn Mawr College
Pre-print
11:30
60m
Keynote
The Rational Programmer, An Investigative Method for Programming Language Pragmatics
Scheme
Christos Dimoulas PLT @ Northwestern University
14:00 - 15:30
SCHEME: Session IIIScheme at Olympic
Chair(s): Jason Hemann Seton Hall University

14:00 A R4RS Compliant REPL in 8Kb, Léonard Oest O’Leary

14:30 Lightning Talk: Designing a Language for Learning Continuations, Youyou Cong

14:00
30m
Talk
A R4RS Compliant REPL in 8Kb
Scheme
Léonard Oest O'Leary Université de Montréal
14:30
20m
Talk
Lightning Talk: Designing a Language for Learning ContinuationsRecorded
Scheme
Youyou Cong Tokyo Institute of Technology
Pre-print

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Olympic

FHPNC

FHPNC Talk #1

FHPNC

FHPNC Talk #2

FHPNC

FHPNC Talks #3

FHPNC

Invited talk & Discussion

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Olympic

miniKanren

miniKanren: Tutorial

miniKanren

miniKanren: Papers (Session 1 out of 2)

miniKanren

miniKanren: Papers (Session 2 out of 2)

miniKanren

miniKanren: Discussion on the Future of miniKanren

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Olympic

Scheme

SCHEME: Session I

Scheme

SCHEME: Session II

Scheme

SCHEME: Session III

Scheme

Mon 4 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Olympic
FHPNC
Programming the Groq TSP Architecture in Haskell with Haste
09:00 - 09:45
FHPNC
Rank-Polymorphism for Shape-Guided Blocking
09:45 - 10:30
FHPNC
Fast Deep Learning with Categories
11:00 - 11:45
FHPNC
Efficient GPU Implementation of Affine Index Permutations on Arrays
11:45 - 12:30
FHPNC
Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code
14:00 - 14:45
FHPNC
The best multicore-parallelization refactoring you've never heard of
14:45 - 15:30
FHPNC
Shape-Constrained Array Programming with Size-Dependent Types
16:00 - 16:45
FHPNC
Community Update and Discussion
16:45 - 17:30

Fri 8 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Olympic
miniKanrenRemote
klogic: miniKanren in Kotlin
11:00 - 11:45
miniKanrenRemote
Semi-Automated Direction-Driven Functional Conversion
11:45 - 12:30
miniKanren
Stable Model Semantics Extension of miniKanren
14:00 - 14:45
miniKanrenRemote
Goals as Constraints: Writing miniKanren Constraints in miniKanren
14:45 - 15:30

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
Olympic
Scheme
Visualizing Why Nondeterministic Finite-State Automa Reject
09:30 - 10:00
Scheme
Visualizing a Nondeterministic to Deterministic Finite-State Machine Tr ...
10:00 - 10:30
Scheme
The Calysto Scheme Project
11:00 - 11:30
Scheme
The Rational Programmer, An Investigative Method for Programming Langua ...
11:30 - 12:30
Scheme
A R4RS Compliant REPL in 8Kb
14:00 - 14:30
SchemeRecorded
Lightning Talk: Designing a Language for Learning Continuations
14:30 - 14:50