Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Local Information
Travel info
Registration
Code of Conduct
Remote participation
Students
Visa
Call For Sponsorship
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Tracks
ICFP 2019
Keynotes and Reports
Research Papers
Workshops
Tutorials
Research Artifacts
Student Volunteering
Student Research Competition
Workshops
Erlang
FARM
FHPNC
HIW
ML
OCaml
PLMW @ ICFP
Scheme
TyDe
miniKanren
Co-hosted Symposia
Haskell
Organization
ICFP 2019 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
External Review Committee
Research Artifacts
Student Volunteering
Student Research Competition
Poster and Presentation Judges
Program Committee
Contributors
People Index
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPNC
Organizing Committee
Program Committee
HIW
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW @ ICFP
Organizing Committee
Speakers
Scheme
Organizing Committee
Program Committee
TyDe
Organizing Committee
Program Committee
miniKanren
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2019
(
series
) /
Hotel Scandic Berlin Potsdamer Platz
/
Room information: Elk
Venue
Hotel Scandic Berlin Potsdamer Platz
Room name
Elk
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Session 1
miniKanren
at
Elk
09:00
60m
Tutorial
Tutorial on miniKanren
miniKanren
William E. Byrd
University of Alabama at Birmingham, USA
10:30 - 12:00
Session 2
miniKanren
at
Elk
Chair(s):
Lisa Zhang
University of Toronto
10:30
45m
Full-paper
Relational Interpreters for Search Problems
miniKanren
Petr Lozov
Sain Petersburg State University, SPbGU
,
Ekaterina Verbitskaia
Saint 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 Hamlen
University of Texas at Dallas, USA
Link to publication
13:30 - 15:00
Session 3
miniKanren
at
Elk
Chair(s):
Thomas Gilray
University of Maryland
13:30
45m
Full-paper
Certified Semantics for miniKanren
miniKanren
Dmitry Rozplokhas
,
Andrey Vyatkin
,
Dmitri Boulytchev
Link to publication
14:15
45m
Full-paper
Constructive Negation for miniKanren
miniKanren
Evgenii Moiseenko
Link to publication
15:20 - 16:30
Session 4
miniKanren
at
Elk
Chair(s):
Dmitri Boulytchev
15:20
35m
Full-paper
First-order miniKanren representation: Great for tooling and search
miniKanren
Gregory Rosenblatt
,
Lisa Zhang
University of Toronto
,
William E. Byrd
University of Alabama at Birmingham, USA
,
Matthew Might
University 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 Lu
Indiana University, USA
,
Weixi Ma
,
Daniel P. Friedman
Indiana University, USA
Link to publication
16:50 - 18:15
Session 5
miniKanren
at
Elk
16:50
85m
Social Event
Q&A with audience
miniKanren
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Keynote
HIW
at
Elk
09:00
60m
Talk
Haskell Use and Abuse at Scale
HIW
Satnam Singh
Google Research
,
Lennart Augustsson
10:30 - 12:00
Metadata
HIW
at
Elk
Chair(s):
Ningning Xie
University of Toronto
10:30
23m
Talk
Configuration, but without CPP
HIW
Matthew Pickering
University of Bristol
,
John Ericson
Obsidian Systems
10:53
23m
Talk
HIE files in GHC 8.8
HIW
Zubin Duggal
,
Matthew Pickering
University of Bristol
11:16
24m
Talk
Tagging Tags: Inferring the presence of pointer tags at compile time.
HIW
Andreas Klebinger
,
Jose Calderon
Galois, Inc.
11:40
20m
Talk
Lightning talks Slot #1
HIW
13:30 - 15:00
Compilers
HIW
at
Elk
Chair(s):
Jose Calderon
Galois, Inc.
13:30
23m
Talk
Status Update on the Helium for Haskell compiler
HIW
Jurriaan Hage
Utrecht University, Netherlands
13:53
23m
Talk
The Gibbon Compiler: Accelerating a small subset of Haskell
HIW
Ryan R. Newton
Indiana University
,
Michael Vollmer
Indiana University, USA
,
Chaitanya S. Koparkar
Indiana University
14:16
24m
Talk
Copilot 3.0: a Haskell runtime verification framework for UAVs
HIW
Frank Dedden
Royal Netherlands Aerospace Center
,
Alwyn Goodloe
NASA Langley Research Center
,
Ivan Perez
NIA / NASA Formal Methods
14:40
20m
Talk
Lightning talks Slot #2
HIW
15:20 - 16:30
GHC
HIW
at
Elk
Chair(s):
Brent Yorgey
Hendrix College
15:20
23m
Talk
HoleFitPlugins and the future of interactive development in GHC
HIW
Matthías Páll Gissurarson
Chalmers University of Technology, Sweden
15:43
23m
Talk
Explicit Dictionary Applications - From Theory to Practice?
HIW
Dominique Devriese
Vrije Universiteit Brussel
File Attached
16:06
23m
Talk
Visible dependent quantification
HIW
Ryan Scott
Indiana University at Bloomington, USA
File Attached
16:50 - 18:00
Community
HIW
at
Elk
16:50
2m
Day closing
HiW'19 report
HIW
Niki Vazou
IMDEA Software Institute
16:52
23m
Talk
GHC status report
HIW
Simon Peyton Jones
Microsoft, UK
17:15
45m
Other
Panel Discussion
HIW
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
18:00
30
Elk
miniKanren
Session 1
miniKanren
Session 2
miniKanren
Session 3
miniKanren
Session 4
miniKanren
Session 5
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Elk
HIW
Keynote
HIW
Metadata
HIW
Compilers
HIW
GHC
HIW
Community
Thu 22 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
18:00
15
30
45
Elk
miniKanren
Tutorial on miniKanren
09:00 - 10:00
miniKanren
Relational Interpreters for Search Problems
10:30 - 11:15
miniKanren
Relational Processing for Fun and Diversity: Simulating a CPU relationa ...
11:15 - 12:00
miniKanren
Certified Semantics for miniKanren
13:30 - 14:15
miniKanren
Constructive Negation for miniKanren
14:15 - 15:00
miniKanren
First-order miniKanren representation: Great for tooling and search
15:20 - 15:55
miniKanren
Towards a miniKanren with fair search strategies
15:55 - 16:30
miniKanren
Q&A with audience
16:50 - 18:15
Fri 23 Aug
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
Elk
HIW
Haskell Use and Abuse at Scale
09:00 - 10:00
HIW
Configuration, but without CPP
10:30 - 10:53
HIW
HIE files in GHC 8.8
10:53 - 11:16
HIW
Tagging Tags: Inferring the presence of pointer tags at compile time.
11:16 - 11:40
HIW
Lightning talks Slot #1
11:40 - 12:00
HIW
Status Update on the Helium for Haskell compiler
13:30 - 13:53
HIW
The Gibbon Compiler: Accelerating a small subset of Haskell
13:53 - 14:16
HIW
Copilot 3.0: a Haskell runtime verification framework for UAVs
14:16 - 14:40
HIW
Lightning talks Slot #2
14:40 - 15:00
HIW
HoleFitPlugins and the future of interactive development in GHC
15:20 - 15:43
HIW
Explicit Dictionary Applications - From Theory to Practice?
15:43 - 16:06
HIW
Visible dependent quantification
16:06 - 16:30
HIW
HiW'19 report
16:50 - 16:52
HIW
GHC status report
16:52 - 17:15
HIW
Panel Discussion
17:15 - 18:00
x
Tue 5 Nov 20:36