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

Room information: B - Fifth Avenue

VenueThe Westin Seattle
Room nameB - Fifth Avenue
Floor4
Capacity380
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
Icebreaker and Preparing for Graduate School in PLPLMW @ ICFP at B - Fifth Avenue
09:00
45m
Social Event
PLMW Icebreaker Session
PLMW @ ICFP

09:45
45m
Talk
How to Thrive as a PhD student in PL
PLMW @ ICFP
Sam Westrick Carnegie Mellon University
11:00 - 12:30
Panel and Getting the Most out of ICFPPLMW @ ICFP at B - Fifth Avenue
11:00
45m
Panel
Getting Productive in Research
PLMW @ ICFP
Daan Leijen Microsoft Research, Mae Milano University of California at Berkeley, Leonidas Lampropoulos University of Maryland, College Park, Benjamin C. Pierce University of Pennsylvania, Cyrus Omar University of Michigan
11:45
45m
Talk
Getting the Most Out of ICFP
PLMW @ ICFP
Paulette Koronkevich University of British Columbia
14:00 - 15:30
Technical Lecture and Mental HealthPLMW @ ICFP at B - Fifth Avenue
14:00
45m
Talk
A History of Subtyping
PLMW @ ICFP
Benjamin C. Pierce University of Pennsylvania
14:45
45m
Talk
Mental Health Mentoring for PL StudentsRemote
PLMW @ ICFP
Rose Bohrer Worcester Polytechnic Institute
16:00 - 17:30
How to give a talk, speed mentoring, and debriefPLMW @ ICFP at B - Fifth Avenue
16:00
45m
Talk
How to Write a Great Research Paper
PLMW @ ICFP
Simon Peyton Jones Epic Games
16:45
45m
Social Event
Speed Mentoring
PLMW @ ICFP

Tue 5 Sep

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

10:30 - 12:00
Dependent typesICFP Papers and Events at B - Fifth Avenue
Chair(s): James Chapman Input Output
10:30
30m
Talk
Is Sized Typing for Coq Practical?JFP Presentation
ICFP Papers and Events
Jonathan Chan University of Pennsylvania, Yufeng Li University of Waterloo, William J. Bowman University of British Columbia
Link to publication DOI Media Attached
11:00
30m
Talk
Dependently-Typed Programming with Logical Equality Reflection
ICFP Papers and Events
Yiyun Liu University of Pennsylvania, Stephanie Weirich University of Pennsylvania
DOI
11:30
30m
Talk
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
ICFP Papers and Events
Andreas Abel Gothenburg University, Nils Anders Danielsson Chalmers and Gothenburg University, Oskar Eriksson Chalmers and Gothenburg University
DOI
15:00 - 16:00
FixpointsICFP Papers and Events at B - Fifth Avenue
Chair(s): Sam Tobin-Hochstadt Indiana University
15:00
30m
Talk
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
ICFP Papers and Events
Sven Keidel TU Darmstadt, Germany, Sebastian Erdweg JGU Mainz, Tobias Hombücher JGU Mainz
DOI
15:30
30m
Talk
More Fixpoints! (Functional Pearl)Functional Pearl
ICFP Papers and Events
Joachim Breitner unaffiliated
DOI Pre-print File Attached

Wed 6 Sep

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

10:30 - 12:00
TestingICFP Papers and Events at B - Fifth Avenue
Chair(s): Stephen Dolan Jane Street
10:30
30m
Talk
Reflecting on Random GenerationDistinguished Paper
ICFP Papers and Events
Harrison Goldstein University of Pennsylvania, Samantha Frohlich University of Bristol, Meng Wang University of Bristol, Benjamin C. Pierce University of Pennsylvania
DOI
11:00
30m
Talk
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)Experience Report
ICFP Papers and Events
Jessica Shi University of Pennsylvania, Alperen Keles University of Maryland at College Park, Harrison Goldstein University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania, Leonidas Lampropoulos University of Maryland, College Park
DOI
11:30
30m
Talk
Formal Specification and Testing for Reinforcement LearningRemote
ICFP Papers and Events
Mahsa Varshosaz IT University of Copenhagen, Denmark, Mohsen Ghaffari IT University of Copenhagen, Einar Broch Johnsen University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark
DOI
13:30 - 14:30
Meta programmingICFP Papers and Events at B - Fifth Avenue
Chair(s): Gabriel Radanne Inria
13:30
30m
Talk
Embedding by Unembedding
ICFP Papers and Events
Kazutaka Matsuda Tohoku University, Samantha Frohlich University of Bristol, Meng Wang University of Bristol, Nicolas Wu Imperial College London
DOI
14:00
30m
Talk
MacoCaml: Staging Composable and Compilable Macros
ICFP Papers and Events
Ningning Xie University of Toronto, Leo White Jane Street, Olivier Nicole Tarides, Jeremy Yallop University of Cambridge
DOI Pre-print
15:00 - 16:00
Modal FRPICFP Papers and Events at B - Fifth Avenue
Chair(s): Amos Robinson Australian National University, Australia
15:00
30m
Talk
Modal FRP for all: Functional reactive programming without space leaks in HaskellJFP Presentation
ICFP Papers and Events
Patrick Bahr IT University of Copenhagen
Link to publication DOI
15:30
30m
Talk
Asynchronous Modal FRP
ICFP Papers and Events
Patrick Bahr IT University of Copenhagen, Rasmus Ejlers Møgelberg IT University of Copenhagen
DOI Pre-print

Thu 7 Sep

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

10:30 - 12:00
Verification 2ICFP Papers and Events at B - Fifth Avenue
Chair(s): Niki Vazou IMDEA Software Institute
10:30
30m
Talk
Explicit Refinement Types
ICFP Papers and Events
Jad Elkhaleq Ghalayini University of Cambridge, Neel Krishnaswami University of Cambridge
DOI
11:00
30m
Talk
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)Experience Report
ICFP Papers and Events
Thomas Bourgeat , Ian Clester Georgia Institute of Technology, Andres Erbsen MIT, Samuel Gruetter Massachusetts Institute of Technology, Pratap Singh CMU, Andy Wright MIT, Adam Chlipala Massachusetts Institute of Technology
DOI
13:30 - 14:30
Blame and educationICFP Papers and Events at B - Fifth Avenue
Chair(s): Benjamin C. Pierce University of Pennsylvania
13:30
30m
Talk
How to Evaluate Blame for Gradual Types, Part 2
ICFP Papers and Events
Lukas Lazarek Northwestern University, Ben Greenman Brown University, Matthias Felleisen PLT @ Northeastern University, Christos Dimoulas PLT @ Northwestern University
DOI
14:00
30m
Talk
What Happens When Students Switch (Functional) Languages (Experience Report)RemoteExperience Report
ICFP Papers and Events
Kuang-Chen Lu Brown University, USA, Shriram Krishnamurthi Brown University, United States, Kathi Fisler Brown University, Ethel Tshukudu University of Botswana
DOI
15:00 - 16:00
Data representationICFP Papers and Events at B - Fifth Avenue
Chair(s): Lennart Augustsson Epic Games
15:00
30m
Talk
Read/write factorizable programsJFP Presentation
ICFP Papers and Events
Siddharth Bhaskar University of Copenhagen, Jakob Grue Simonsen University of Copenhagen
Link to publication DOI
15:30
30m
Talk
Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types
ICFP Papers and Events
Thaïs Baudon ENS de Lyon & LIP, Gabriel Radanne Inria, Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France
DOI Pre-print Media Attached File Attached

Fri 8 Sep

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

09:00 - 10:30
Haskell: Keynote 1Haskell at B - Fifth Avenue
Chair(s): Niki Vazou IMDEA Software Institute
09:00
5m
Day opening
Welcome
Haskell
Niki Vazou IMDEA Software Institute
09:05
70m
Keynote
The Evolution of Effects
Haskell
Nicolas Wu Imperial College London
DOI
11:00 - 12:30
Haskell: Session 1Haskell at B - Fifth Avenue
Chair(s): Edsko de Vries Well-Typed LLP
11:00
30m
Talk
Effect Handlers for Programmable Inference
Haskell
Minh Nguyen University of Bristol, Roly Perera Alan Turing Institute, Meng Wang University of Bristol, Steven Ramsay University of Bristol
DOI
11:30
30m
Talk
The Essence of Reactivity
Haskell
Ivan Perez NASA Ames Research Center, Frank Dedden System F Computing
DOI
12:00
30m
Talk
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Haskell
Finnbar Keating University of Warwick, Michael Gale GitHub
DOI
14:00 - 15:30
Haskell: Session 2Haskell at B - Fifth Avenue
Chair(s): Facundo Domínguez Tweag
14:00
30m
Talk
An Exceptional Actor System (Functional Pearl)
Haskell
Patrick Redmond University of California at Santa Cruz, Lindsey Kuper University of California, Santa Cruz
DOI Pre-print
14:30
30m
Talk
HasTEE: Programming Trusted Execution Environments with Haskell
Haskell
Abhiroop Sarkar Chalmers University of Technology, Robert Krook Chalmers University of Technology, Sweden, Alejandro Russo Chalmers University of Technology, Sweden, Koen Claessen Chalmers University of Technology
DOI Pre-print
15:00
30m
Talk
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Haskell
Takato Otsuka The University of Electro-Communications, Hideya Iwasaki Meiji University
DOI
16:00 - 17:30
Haskell: DemosHaskell at B - Fifth Avenue
Chair(s): Niki Vazou IMDEA Software Institute
16:00
30m
Demonstration
A Haskell Auto-Parallelizer for Distributed Computing
Haskell
Yuxi Long Duke University, Shiyou Wu Duke University, Yingjie Xu Duke University
16:30
30m
Demonstration
Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory
Haskell
Makoto Hamana Gunma University, Japan
17:00
30m
Meeting
Lightning Talks I
Haskell

Sat 9 Sep

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

09:00 - 10:30
Haskell: Keynote 2Haskell at B - Fifth Avenue
Chair(s): Leonidas Lampropoulos University of Maryland, College Park
09:00
60m
Keynote
Haskell for choice-based learning
Haskell
Ningning Xie University of Toronto
DOI
11:00 - 12:30
Haskell: Session 3Haskell at B - Fifth Avenue
Chair(s): Antal Spector-Zabusky
11:00
30m
Talk
falsify: Internal Shrinking Reimagined for Haskell
Haskell
Edsko de Vries Well-Typed LLP
DOI
11:30
30m
Talk
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Haskell
Segev Elazar Mittelman University of Maryland, College Park, Aviel Resnick University of Pennsylvania, Ivan Perez NASA Ames Research Center, Alwyn Goodloe NASA Langley Research Center, Leonidas Lampropoulos University of Maryland, College Park
DOI
12:00
30m
Meeting
Lightning Talks II
Haskell

14:00 - 15:30
Haskell: Summer of Code & Chair's ReportHaskell at B - Fifth Avenue
14:00
70m
Meeting
Haskell Summer of Code Presentations
Haskell
Aaron Allen
15:10
5m
Day closing
PC Chair Report
Haskell
Niki Vazou IMDEA Software Institute

Mon 4 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
B - Fifth Avenue

PLMW @ ICFP

Icebreaker and Preparing for Graduate School in PL

PLMW @ ICFP

Panel and Getting the Most out of ICFP

PLMW @ ICFP

Technical Lecture and Mental Health

PLMW @ ICFP

How to give a talk, speed mentoring, and debrief

Tue 5 Sep

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

Room10:003011:003012:003013:003014:003015:0030
B - Fifth Avenue

ICFP Papers and Events

Dependent types

ICFP Papers and Events

Fixpoints

Wed 6 Sep

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

Room10:003011:003012:003013:003014:003015:0030
B - Fifth Avenue

ICFP Papers and Events

Testing

ICFP Papers and Events

Meta programming

ICFP Papers and Events

Modal FRP

Thu 7 Sep

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

Room10:003011:003012:003013:003014:003015:0030
B - Fifth Avenue

ICFP Papers and Events

Verification 2

ICFP Papers and Events

Blame and education

ICFP Papers and Events

Data representation

Fri 8 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
B - Fifth Avenue

Haskell

Haskell: Keynote 1

Haskell

Haskell: Session 1

Haskell

Haskell: Session 2

Haskell

Haskell: Demos

Sat 9 Sep

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
B - Fifth Avenue

Haskell

Haskell: Keynote 2

Haskell

Haskell: Session 3

Haskell

Haskell: Summer of Code & Chair's Report

Haskell

Mon 4 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
B - Fifth Avenue
PLMW @ ICFP
PLMW Icebreaker Session
09:00 - 09:45
PLMW @ ICFP
How to Thrive as a PhD student in PL
09:45 - 10:30
PLMW @ ICFP
Getting Productive in Research
11:00 - 11:45
PLMW @ ICFP
Getting the Most Out of ICFP
11:45 - 12:30
PLMW @ ICFP
A History of Subtyping
14:00 - 14:45
PLMW @ ICFPRemote
Mental Health Mentoring for PL Students
14:45 - 15:30
PLMW @ ICFP
How to Write a Great Research Paper
16:00 - 16:45
PLMW @ ICFP
Speed Mentoring
16:45 - 17:30

Tue 5 Sep

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
B - Fifth Avenue
ICFP Papers and EventsJFP Presentation
Is Sized Typing for Coq Practical?
10:30 - 11:00
ICFP Papers and Events
Dependently-Typed Programming with Logical Equality Reflection
11:00 - 11:30
ICFP Papers and Events
A Graded Modal Dependent Type Theory with a Universe and Erasure, Forma ...
11:30 - 12:00
ICFP Papers and Events
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters
15:00 - 15:30
ICFP Papers and EventsFunctional Pearl
More Fixpoints! (Functional Pearl)
15:30 - 16:00

Wed 6 Sep

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
B - Fifth Avenue
ICFP Papers and EventsDistinguished Paper
Reflecting on Random Generation
10:30 - 11:00
ICFP Papers and EventsExperience Report
Etna: An Evaluation Platform for Property-Based Testing (Experience Report)
11:00 - 11:30
ICFP Papers and EventsRemote
Formal Specification and Testing for Reinforcement Learning
11:30 - 12:00
ICFP Papers and Events
Embedding by Unembedding
13:30 - 14:00
ICFP Papers and Events
MacoCaml: Staging Composable and Compilable Macros
14:00 - 14:30
ICFP Papers and EventsJFP Presentation
Modal FRP for all: Functional reactive programming without space leaks ...
15:00 - 15:30
ICFP Papers and Events
Asynchronous Modal FRP
15:30 - 16:00

Thu 7 Sep

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
B - Fifth Avenue
ICFP Papers and Events
Explicit Refinement Types
10:30 - 11:00
ICFP Papers and EventsExperience Report
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
11:00 - 11:30
ICFP Papers and Events
How to Evaluate Blame for Gradual Types, Part 2
13:30 - 14:00
ICFP Papers and EventsRemoteExperience Report
What Happens When Students Switch (Functional) Languages (Experience Re ...
14:00 - 14:30
ICFP Papers and EventsJFP Presentation
Read/write factorizable programs
15:00 - 15:30
ICFP Papers and Events
Bit-Stealing Made Legal: Compilation for Custom Memory Representations ...
15:30 - 16:00

Fri 8 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
B - Fifth Avenue
Haskell
Welcome
09:00 - 09:05
Haskell
The Evolution of Effects
09:05 - 10:15
Haskell
Effect Handlers for Programmable Inference
11:00 - 11:30
Haskell
The Essence of Reactivity
11:30 - 12:00
Haskell
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional React ...
12:00 - 12:30
Haskell
An Exceptional Actor System (Functional Pearl)
14:00 - 14:30
Haskell
HasTEE: Programming Trusted Execution Environments with Haskell
14:30 - 15:00
Haskell
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
15:00 - 15:30
Haskell
A Haskell Auto-Parallelizer for Distributed Computing
16:00 - 16:30
Haskell
Verifying Haskell's Rewrite Rules based on Polymorphic Rewriting Theory
16:30 - 17:00
Haskell
Lightning Talks I
17:00 - 17:30

Sat 9 Sep

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
B - Fifth Avenue
Haskell
Haskell for choice-based learning
09:00 - 10:00
Haskell
falsify: Internal Shrinking Reimagined for Haskell
11:00 - 11:30
Haskell
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property- ...
11:30 - 12:00
Haskell
Lightning Talks II
12:00 - 12:30
Haskell
Haskell Summer of Code Presentations
14:00 - 15:10
Haskell
PC Chair Report
15:10 - 15:15