HIW 2019
Sun 18 - Fri 23 August 2019
Berlin, Germany
co-located with
ICFP 2019
Toggle navigation
Attending
Venue: Hotel Scandic Berlin Potsdamer Platz
Program
Complete Program
Your Program
Sun 18 Aug
Mon 19 Aug
Tue 20 Aug
Wed 21 Aug
Thu 22 Aug
Fri 23 Aug
Track/Call
Organization
HIW 2019 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
HIW 2024
HIW 2023
HIW 2022
HIW 2021
HIW 2020
HIW 2019
HIW 2018
HIW 2017
HIW 2016
Sign in
Sign up
ICFP 2019
(
series
) /
HIW 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 2019
at
Elk
09:00
60m
Talk
Haskell Use and Abuse at Scale
HIW 2019
Satnam Singh
Google Research
,
Lennart Augustsson
10:30 - 12:00
Metadata
HIW 2019
at
Elk
Chair(s):
Ningning Xie
The University of Hong Kong
10:30
23m
Talk
Configuration, but without CPP
HIW 2019
Matthew Pickering
University of Bristol
,
John Ericson
Obsidian Systems
10:53
23m
Talk
HIE files in GHC 8.8
HIW 2019
Zubin Duggal
,
Matthew Pickering
University of Bristol
11:16
24m
Talk
Tagging Tags: Inferring the presence of pointer tags at compile time.
HIW 2019
Andreas Klebinger
,
Jose Calderon
Galois, Inc.
11:40
20m
Talk
Lightning talks Slot #1
HIW 2019
13:30 - 15:00
Compilers
HIW 2019
at
Elk
Chair(s):
Jose Calderon
Galois, Inc.
13:30
23m
Talk
Status Update on the Helium for Haskell compiler
HIW 2019
Jurriaan Hage
Utrecht University, Netherlands
13:53
23m
Talk
The Gibbon Compiler: Accelerating a small subset of Haskell
HIW 2019
Ryan R. Newton
Indiana University
,
Michael Vollmer
Indiana University, USA
,
Chaitanya Koparkar
Indiana University
14:16
24m
Talk
Copilot 3.0: a Haskell runtime verification framework for UAVs
HIW 2019
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 2019
15:20 - 16:30
GHC
HIW 2019
at
Elk
Chair(s):
Brent Yorgey
Hendrix College
15:20
23m
Talk
HoleFitPlugins and the future of interactive development in GHC
HIW 2019
Matthías Páll Gissurarson
Chalmers University of Technology, Sweden
15:43
23m
Talk
Explicit Dictionary Applications - From Theory to Practice?
HIW 2019
Dominique Devriese
Vrije Universiteit Brussel
File Attached
16:06
23m
Talk
Visible dependent quantification
HIW 2019
Ryan Scott
Indiana University at Bloomington, USA
File Attached
16:50 - 18:00
Community
HIW 2019
at
Elk
16:50
2m
Day closing
HiW'19 report
HIW 2019
Niki Vazou
IMDEA Software Institute
16:52
23m
Talk
GHC status report
HIW 2019
Simon Peyton Jones
Microsoft, UK
17:15
45m
Other
Panel Discussion
HIW 2019
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 2019
Keynote
HIW 2019
Metadata
HIW 2019
Compilers
HIW 2019
GHC
HIW 2019
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
Fri 26 Apr 00:16