Olympic - FUNARCH 2023

VenueThe Westin Seattle

Room nameOlympic

Floor2

Capacity70

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
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

Room information: Olympic

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

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

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

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

FHPNC

FHPNC

FHPNC

FHPNC

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

miniKanren

miniKanren

miniKanren

miniKanren

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

Scheme

Scheme

Scheme

Scheme

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

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

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

Tracks

Room information: Olympic

Program Display Configuration

Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change

Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change

Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change

Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change

FHPNC

FHPNC

FHPNC

FHPNC

Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change

miniKanren

miniKanren

miniKanren

miniKanren

Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change

Scheme

Scheme

Scheme

Scheme

Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change

Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change

Sat 9 SepDisplayed time zone: Pacific Time (US & Canada) change

Information for Participants

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

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

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

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

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

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

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

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

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