Knuth–Morris–Pratt illustrated (JFP Functional Pearls ) (ICFP 2024 - JFP First Papers)

Mon 2 - Sat 7 September 2024 Milan, Italy

Track

ICFP 2024 JFP First Papers

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

When

Wed 4 Sep 2024 11:42 - 12:00 at Green 1-2-3 - Meta-Programming, Staging, Generic Programming, Partial Evaluation Chair(s): Richard A. Eisenberg

Abstract

The Knuth–Morris–Pratt (KMP) algorithm for string search is notoriously difficult to understand. Lost in a sea of index arithmetic, most explanations of KMP obscure its essence. This paper constructs KMP incrementally, using pictures to illustrate each step. The end result is easier to comprehend. Additionally, the derivation uses only elementary functional programming techniques.

DOI

https://doi.org/10.1017/S0956796824000017

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00	Meta-Programming, Staging, Generic Programming, Partial EvaluationICFP Papers and Events / JFP First Papers at Green 1-2-3 Chair(s): Richard A. Eisenberg Jane Street

10:30 18m Talk		Staged Compilation with Module Functors ICFP Papers and Events Tsung-Ju Chiang University of Toronto, Jeremy Yallop University of Cambridge, Leo White Jane Street, Ningning Xie University of Toronto; Google DeepMind DOI Pre-print
10:48 18m Talk		A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler ICFP Papers and Events Guillaume Melquiond Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, Josué Moreau Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria DOI
11:06 18m Talk		Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis ICFP Papers and Events Benjamin Quiring University of Maryland at College Park, David Van Horn University of Maryland DOI
11:24 18m Talk		Compiled, Extensible, Multi-language DSLs (Functional Pearl)Functional Pearl ICFP Papers and Events Michael Ballantyne Northeastern University, Mitch Gamburg Unaffiliated, Jason Hemann Seton Hall University DOI Pre-print
11:42 18m Talk		Knuth–Morris–Pratt illustrated (JFP Functional Pearls )JFP First Paper JFP First Papers Cameron Moy Northeastern University DOI

Knuth–Morris–Pratt illustrated (JFP Functional Pearls )

JFP First Paper

Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Cameron Moy

Northeastern University

Tracks

Workshops

Co-hosted Symposia

Knuth–Morris–Pratt illustrated (JFP Functional Pearls )

JFP First Paper

Program Display Configuration

Program Display Configuration

Wed 4 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Cameron Moy

Northeastern University

Wed 4 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change