CUFP 2016
Sun 18 - Sat 24 September 2016
Nara, Japan
co-located with
ICFP 2016
Toggle navigation
Attending
Venue: Nara Kasugano International Forum
Program
CUFP Program
Your Program
Filter by Day
Sun 18 Sep
Mon 19 Sep
Tue 20 Sep
Wed 21 Sep
Thu 22 Sep
Fri 23 Sep
Sat 24 Sep
Track/Call
Organization
CUFP 2016 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
CUFP 2017
CUFP 2016
Sign in
Sign up
ICFP 2016
(
series
) /
CUFP 2016 (
series
) /
Nara Kasugano International Forum
/
Room information: Conference Room 5
Venue
Nara Kasugano International Forum
Room name
Conference Room 5
Floor
2
Room number
5
Capacity
132
Room Information
Annex
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
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+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
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 10:15
1
PLMW
at
Conference Room 5
Chair(s):
Amal Ahmed
Northeastern University
09:15
30m
Talk
Welcome to ICFP!
PLMW
Kathleen Fisher
Tufts University
Media Attached
File Attached
09:45
30m
Talk
Rust: PL research in industry
PLMW
Aaron Turon
MPI-SWS
10:45 - 12:15
2
PLMW
at
Conference Room 5
Chair(s):
Amal Ahmed
Northeastern University
10:45
45m
Talk
Basic Mechanics of Operational Semantics
PLMW
David Van Horn
University of Maryland, USA
Link to publication
11:30
45m
Talk
Some Types of Types
PLMW
Philip Wadler
University of Edinburgh
File Attached
14:00 - 15:00
3
PLMW
at
Conference Room 5
Chair(s):
Robert Bruce Findler
Northwestern University
14:00
30m
Talk
Analyzing JavaScript Web Applications in the Wild (Mostly) Statically
PLMW
Sukyoung Ryu
KAIST
File Attached
14:30
30m
Talk
Introduction to Dependent Types
PLMW
Daniel R. Licata
Wesleyan University
Link to publication
15:30 - 16:30
4
PLMW
at
Conference Room 5
Chair(s):
Atsushi Igarashi
Kyoto University
15:30
30m
Talk
Program Transformations for Developing Efficient and Correct Programs with Ease
PLMW
Akimasa Morihata
University of Tokyo, Japan
File Attached
16:00
30m
Talk
How to Write Papers So People Can Read Them
PLMW
Derek Dreyer
MPI-SWS, Germany
File Attached
17:00 - 18:00
5
PLMW
at
Conference Room 5
Chair(s):
Atsushi Igarashi
Kyoto University
17:00
30m
Talk
Principle and Practice of OCaml Type Debugger
PLMW
Kenichi Asai
Ochanomizu University
File Attached
17:30
30m
Talk
Unaccustomed as I am to public speaking
PLMW
John Hughes
Chalmers University of Technology
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 12:45
T2
ICFP Tutorials
at
Conference Room 5
09:15
3h30m
Talk
T2: Extensible Effects: understanding them, implementing them, using them
ICFP Tutorials
Oleg Kiselyov
Tohoku University
Pre-print
14:00 - 17:30
T4
ICFP Tutorials
at
Conference Room 5
14:00
3h30m
Talk
T4: An Introduction to to Type-Level and Generic Programming in Haskell
ICFP Tutorials
Andres Löh
Well-Typed LLP
Pre-print
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:15 - 12:45
T6
ICFP Tutorials
at
Conference Room 5
09:15
3h30m
Talk
T6: LiquidHaskell: Verification of Haskell Programs with SMTs
ICFP Tutorials
Niki Vazou
UC San Diego
Pre-print
14:00 - 17:30
T8
ICFP Tutorials
at
Conference Room 5
14:00
3h30m
Talk
T8: Transforming data into GUI: a new style graphical user interface library for Haskell
ICFP Tutorials
Fumiaki Kinoshita
Tsuru Capital
Pre-print
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 5
PLMW
1
PLMW
2
PLMW
3
PLMW
4
PLMW
5
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 5
ICFP Tutorials
T2
ICFP Tutorials
T4
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 5
ICFP Tutorials
T6
ICFP Tutorials
T8
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 5
PLMW
Welcome to ICFP!
09:15 - 09:45
PLMW
Rust: PL research in industry
09:45 - 10:15
PLMW
Basic Mechanics of Operational Semantics
10:45 - 11:30
PLMW
Some Types of Types
11:30 - 12:15
PLMW
Analyzing JavaScript Web Applications in the Wild (Mostly) Statically
14:00 - 14:30
PLMW
Introduction to Dependent Types
14:30 - 15:00
PLMW
Program Transformations for Developing Efficient and Correct Programs w ...
15:30 - 16:00
PLMW
How to Write Papers So People Can Read Them
16:00 - 16:30
PLMW
Principle and Practice of OCaml Type Debugger
17:00 - 17:30
PLMW
Unaccustomed as I am to public speaking
17:30 - 18:00
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 5
ICFP Tutorials
T2: Extensible Effects: understanding them, implementing them, using them
09:15 - 12:45
ICFP Tutorials
T4: An Introduction to to Type-Level and Generic Programming in Haskell
14:00 - 17:30
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
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
Conference Room 5
ICFP Tutorials
T6: LiquidHaskell: Verification of Haskell Programs with SMTs
09:15 - 12:45
ICFP Tutorials
T8: Transforming data into GUI: a new style graphical user interface li ...
14:00 - 17:30
x
Thu 21 Nov 13:16