NPFL 2018
Sun 23 - Sat 29 September 2018
St. Louis, Missouri, United States
co-located with
ICFP 2018
Toggle navigation
Attending
Venue: Stifel Theatre
Venue: Union Station Hilton
Party Spot: City Museum
Concert Hall: The Luminary
Program
NPFL Program
Your Program
Filter by Day
Sun 23 Sep
Mon 24 Sep
Tue 25 Sep
Wed 26 Sep
Thu 27 Sep
Fri 28 Sep
Sat 29 Sep
Track/Call
Organization
NPFL 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICFP 2018
(
series
) /
NPFL 2018 (
series
) /
Union Station Hilton
/
Room information: Burlington Route
Venue
Union Station Hilton
Room name
Burlington Route
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-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
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-05: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-03: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+03: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 27 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 12:00
T01: Introduction to Programming and Proving in Cedille
ICFP Tutorials
at
Burlington Route
Chair(s):
Aaron Stump
The University of Iowa, USA
09:00
3h
Other
T01: Introduction to Programming and Proving in Cedille
ICFP Tutorials
Aaron Stump
The University of Iowa, USA
,
Chris Jenkins
The University of Iowa
,
Colin McDonald
13:00 - 16:00
T02: Direct Manipulation Programming in Sketch-n-Sketch
ICFP Tutorials
at
Burlington Route
Chair(s):
Ravi Chugh
University of Chicago
,
Brian Hempel
University of Chicago
,
Justin Lubin
,
Mikaël Mayer
EPFL, Switzerland
13:00
3h
Other
T02: Direct Manipulation Programming in Sketch-n-Sketch
ICFP Tutorials
Nick Collins
University of Chicago
,
Brian Hempel
University of Chicago
,
Ravi Chugh
University of Chicago
,
Mikaël Mayer
EPFL, Switzerland
,
Justin Lubin
Fri 28 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
Invited Talk 1
Scheme
at
Burlington Route
09:00
60m
Talk
From Scripting to Proving: Gradual Verification with a Scheme
Scheme
David Van Horn
University of Maryland, USA
10:20 - 11:00
Session 1
Scheme
at
Burlington Route
10:20
20m
Talk
Growing Schemes: Twenty Years of Scheme Requests for Implementation
Scheme
Arthur Gleckler
SRFI Editor
10:40
20m
Talk
Loop Patterns: Extension of Kleene Star Operator for More Powerful Pattern Matching against Arbitrary Data Structures
Scheme
Satoshi Egi
Rakuten Institute of Technology
11:20 - 12:00
Session 2
Scheme
at
Burlington Route
11:20
20m
Talk
Temporal Logic, μKanren, and a Time-Traveling RDF Database
Scheme
Nathaniel Rudavsky-Brody
11:40
20m
Talk
A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie
Scheme
Benjamin Boskin
,
Weixi Ma
,
David Thrane Christiansen
Galois, USA
,
Daniel Friedman
Indiana University
13:30 - 14:10
Session 3
Scheme
at
Burlington Route
13:30
20m
Talk
Racets: Faceted Execution in Racket
Scheme
Kristopher Micinski
Haverford College
,
Zhanpeng Wang
Haverford College, USA
,
Thomas Gilray
University of Maryland
13:50
20m
Talk
An Efficient Compiler for the Gradually Typed Lambda Calculus
Scheme
Andre Kuhlenschmidt
Indiana University
,
Deyaaeldeen Almahallawi
Indiana University
,
Jeremy G. Siek
Indiana University, USA
14:30 - 15:10
Session 4
Scheme
at
Burlington Route
14:30
20m
Talk
Schism: A Self-Hosting Scheme to WebAssembly Compiler
Scheme
Eric Holk
Google
14:50
20m
Talk
Tail Calling Between Code Generated by C and Native Backends
Scheme
Laurent Huberdeau
,
Marc Feeley
Université de Montréal
15:30 - 16:10
Invited Talk 2
Scheme
at
Burlington Route
15:30
40m
Talk
Rebuilding Racket on Chez Scheme: An Experience Report
Scheme
Matthew Flatt
University of Utah
Sat 29 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
09:00 - 10:00
Opening & Keynote talk
Erlang
at
Burlington Route
09:00
10m
Day opening
Day Openning
Erlang
C:
Adrian Francalanza
University of Malta
,
C:
Natalia Chechina
Bournemouth University
09:10
50m
Talk
Invited Keynote -- Distributed Erlang: From Datacenter Applications to Planetary Scale Applications
Erlang
K:
Christopher Meiklejohn
Carnegie Mellon University
10:20 - 11:00
Latest News
Erlang
at
Burlington Route
10:20
40m
Product announcement
Latest News from the OTP Team
Erlang
I:
Kenneth Lundin
11:20 - 12:00
Session 1
Erlang
at
Burlington Route
11:20
25m
Full-paper
Understanding Formal Specifications through Good Examples
Erlang
A:
Alex Gerdes
University of Gothenburg, Sweden
,
A:
John Hughes
Chalmers University of Technology, Sweden
,
A:
Nicholas Smallbone
Chalmers University of Technology, Sweden
,
A:
Stefan Hanenberg
University of Duisburg-Essen, Germany
,
A:
Sebastian Ivarsson
Chalmers University of Technology, Sweden
,
A:
Meng Wang
University of Bristol, UK
DOI
11:45
15m
Short-paper
Towards Secure Erlang Systems
Erlang
A:
Alexandre Jorge Barbosa Rodrigues
Klarna Bank, Sweden
,
A:
Viktória Fördős
Klarna Bank, Sweden
DOI
13:30 - 14:30
Session 2
Erlang
at
Burlington Route
13:30
25m
Full-paper
iDeA: An Immersive Debugger for Actors
Erlang
A:
Aman Shankar Mathur
MPI-SWS, Germany
,
A:
Burcu Kulahcioglu Ozkan
MPI-SWS, Germany
,
A:
Rupak Majumdar
MPI-SWS, Germany
DOI
13:55
25m
Full-paper
Automatic Detection of Core Erlang Message Passing Errors
Erlang
A:
Joseph Harrison
University of Kent, UK
DOI
14:20
10m
Coffee break
10 min Coffee break
Erlang
14:30 - 15:10
Session 3
Erlang
at
Burlington Route
14:30
25m
Full-paper
Modelling Distributed Erlang within a Single Node
Erlang
A:
Stavros Aronis
Erlang Solutions, Sweden
,
A:
Viktória Fördős
Klarna Bank, Sweden
,
A:
Dániel Szoboszlay
Klarna Bank, Sweden
DOI
14:55
15m
Short-paper
Modeling Erlang Processes as Petri Nets
Erlang
A:
Jörgen Brandt
Humboldt-Universität zu Berlin, Germany
,
A:
Wolfgang Reisig
Humboldt-Universität zu Berlin, Germany
DOI
15:30 - 16:10
Final talk and Closing
Erlang
at
Burlington Route
15:30
25m
Full-paper
Typing the Wild in Erlang
Erlang
A:
Nachiappan Valliappan
Chalmers University of Technology, Sweden
,
A:
John Hughes
Chalmers University of Technology, Sweden
DOI
15:55
15m
Day closing
Farewell & Closing
Erlang
C:
Adrian Francalanza
University of Malta
,
C:
Natalia Chechina
Bournemouth University
Thu 27 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Burlington Route
ICFP Tutorials
T01: Introduction to Programming and Proving in Cedille
ICFP Tutorials
T02: Direct Manipulation Programming in Sketch-n-Sketch
Fri 28 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Burlington Route
Scheme
Invited Talk 1
Scheme
Session 1
Scheme
Session 2
Scheme
Session 3
Scheme
Session 4
Scheme
Invited Talk 2
Sat 29 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Burlington Route
Erlang
Opening & Keynote talk
Erlang
Latest News
Erlang
Session 1
Erlang
Session 2
Erlang
Session 3
Erlang
Final talk and Closing
Thu 27 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Burlington Route
ICFP Tutorials
T01: Introduction to Programming and Proving in Cedille
09:00 - 12:00
ICFP Tutorials
T02: Direct Manipulation Programming in Sketch-n-Sketch
13:00 - 16:00
Fri 28 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Burlington Route
Scheme
From Scripting to Proving: Gradual Verification with a Scheme
09:00 - 10:00
Scheme
Growing Schemes: Twenty Years of Scheme Requests for Implementation
10:20 - 10:40
Scheme
Loop Patterns: Extension of Kleene Star Operator for More Powerful Patt ...
10:40 - 11:00
Scheme
Temporal Logic, μKanren, and a Time-Traveling RDF Database
11:20 - 11:40
Scheme
A Surprisingly Competitive Conditional Operator: miniKanrenizing the In ...
11:40 - 12:00
Scheme
Racets: Faceted Execution in Racket
13:30 - 13:50
Scheme
An Efficient Compiler for the Gradually Typed Lambda Calculus
13:50 - 14:10
Scheme
Schism: A Self-Hosting Scheme to WebAssembly Compiler
14:30 - 14:50
Scheme
Tail Calling Between Code Generated by C and Native Backends
14:50 - 15:10
Scheme
Rebuilding Racket on Chez Scheme: An Experience Report
15:30 - 16:10
Sat 29 Sep
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Burlington Route
Erlang
Day Openning
09:00 - 09:10
Erlang
Invited Keynote -- Distributed Erlang: From Datacenter Applications to ...
09:10 - 10:00
Erlang
Latest News from the OTP Team
10:20 - 11:00
Erlang
Understanding Formal Specifications through Good Examples
11:20 - 11:45
Erlang
Towards Secure Erlang Systems
11:45 - 12:00
Erlang
iDeA: An Immersive Debugger for Actors
13:30 - 13:55
Erlang
Automatic Detection of Core Erlang Message Passing Errors
13:55 - 14:20
Erlang
10 min Coffee break
14:20 - 14:30
Erlang
Modelling Distributed Erlang within a Single Node
14:30 - 14:55
Erlang
Modeling Erlang Processes as Petri Nets
14:55 - 15:10
Erlang
Typing the Wild in Erlang
15:30 - 15:55
Erlang
Farewell & Closing
15:55 - 16:10
x
Sun 22 Dec 12:15