Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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

Conference Day
Thu 22 Aug

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

09:00 - 10:00
Session 1miniKanren at Elk
09:00
60m
Tutorial
Tutorial on miniKanren
miniKanren
William E. ByrdUniversity of Alabama at Birmingham, USA
10:30 - 12:00
Session 2miniKanren at Elk
Chair(s): Lisa ZhangUniversity of Toronto
10:30
45m
Full-paper
Relational Interpreters for Search Problems
miniKanren
Petr LozovSain Petersburg State University, SPbGU, Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Dmitri Boulytchev
Link to publication
11:15
45m
Full-paper
Relational Processing for Fun and Diversity: Simulating a CPU relationally with miniKanren
miniKanren
Gilmore R. Lundquist, Utsav Bhatt, Kevin HamlenUniversity of Texas at Dallas, USA
Link to publication
15:20 - 16:30
Session 4miniKanren at Elk
Chair(s): Dmitri Boulytchev
15:20
35m
Full-paper
First-order miniKanren representation: Great for tooling and search
miniKanren
Gregory Rosenblatt, Lisa ZhangUniversity of Toronto, William E. ByrdUniversity of Alabama at Birmingham, USA, Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
Link to publication
15:55
35m
Full-paper
Towards a miniKanren with fair search strategies
miniKanren
Kuang-Chen LuIndiana University, USA, Weixi Ma, Daniel P. FriedmanIndiana University, USA
Link to publication
16:50 - 18:15
Session 5miniKanren at Elk
16:50
85m
Social Event
Q&A with audience
miniKanren

Conference Day
Fri 23 Aug

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

09:00 - 10:00
KeynoteHIW at Elk
09:00
60m
Talk
Haskell Use and Abuse at Scale
HIW
10:30 - 12:00
MetadataHIW at Elk
Chair(s): Ningning XieThe University of Hong Kong
10:30
23m
Talk
Configuration, but without CPP
HIW
Matthew PickeringUniversity of Bristol, John EricsonObsidian Systems
10:53
23m
Talk
HIE files in GHC 8.8
HIW
Zubin Duggal, Matthew PickeringUniversity of Bristol
11:16
24m
Talk
Tagging Tags: Inferring the presence of pointer tags at compile time.
HIW
11:40
20m
Talk
Lightning talks Slot #1
HIW

13:30 - 15:00
CompilersHIW at Elk
Chair(s): Jose CalderonGalois, Inc.
13:30
23m
Talk
Status Update on the Helium for Haskell compiler
HIW
Jurriaan HageUtrecht University, Netherlands
13:53
23m
Talk
The Gibbon Compiler: Accelerating a small subset of Haskell
HIW
Ryan R. NewtonIndiana University, Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University
14:16
24m
Talk
Copilot 3.0: a Haskell runtime verification framework for UAVs
HIW
Frank DeddenRoyal Netherlands Aerospace Center, Alwyn GoodloeNASA Langley Research Center, Ivan PerezNIA / NASA Formal Methods
14:40
20m
Talk
Lightning talks Slot #2
HIW

15:20 - 16:30
GHCHIW at Elk
Chair(s): Brent YorgeyHendrix College
15:20
23m
Talk
HoleFitPlugins and the future of interactive development in GHC
HIW
Matthías Páll GissurarsonChalmers University of Technology, Sweden
15:43
23m
Talk
Explicit Dictionary Applications - From Theory to Practice?
HIW
Dominique DevrieseVrije Universiteit Brussel
File Attached
16:06
23m
Talk
Visible dependent quantification
HIW
Ryan ScottIndiana University at Bloomington, USA
File Attached
16:50 - 18:00
CommunityHIW at Elk
16:50
2m
Day closing
HiW'19 report
HIW
Niki VazouIMDEA Software Institute
16:52
23m
Talk
GHC status report
HIW
Simon Peyton JonesMicrosoft, UK
17:15
45m
Other
Panel Discussion
HIW

Conference Day
Thu 22 Aug

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Elk

Conference Day
Fri 23 Aug

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

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

Conference Day
Thu 22 Aug

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