POPL 2018
Sun 7 - Sat 13 January 2018
Los Angeles, California, United States
Toggle navigation
Attending
Venue: Omni Hotel
Registration
Code of Conduct
Supporting POPL
Childcare
Students
Visa Support Letter
Accessibility
Remote Participation
Program
POPL Program
Your Program
Proceedings
Filter by Day
Sun 7 Jan
Mon 8 Jan
Tue 9 Jan
Wed 10 Jan
Thu 11 Jan
Fri 12 Jan
Sat 13 Jan
Tracks
POPL 2018
Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers
Co-hosted Conferences
CPP
CPP
CPP
VMCAI
Workshops
PPS
CoqPL
NetPL
Off the Beaten Track
PEPM
PLMW
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2018 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
TutorialFest
Student Research Competition
Workshops
Artifact Evaluation
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Invited Tutorial
Organizing Committee
Travel Grants
Program Committee
Workshops
PPS
Program Committee
CoqPL
Organizing Committee
Program Committee
NetPL
Organizing Committee
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Programme Committee
Steering Committee
PLMW
Speakers
Panelists
Organizers
PriSC
Program Committee
Organizing Committee
Co-hosted Symposia
PADL
Publicity Chair
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2018
(
series
) /
Omni Hotel
/
Room information: Crocker
Venue
Omni Hotel
Room name
Crocker
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-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07: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-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05: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-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) 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+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Session 1-1
PEPM
at
Crocker
Chair(s):
Hsiang-Shang ‘Josh’ Ko
National Institute of Informatics, Japan
10:30
60m
Talk
Developments in Property-Based Testing (Invited Talk)
PEPM
Jan Midtgaard
University of Southern Denmark
DOI
11:30
30m
Talk
Selective CPS Transformation for Shift and Reset
PEPM
Kenichi Asai
Ochanomizu University
,
Chihiro Uehara
Ochanomizu University
DOI
14:00 - 15:30
Session 1-2
PEPM
at
Crocker
Chair(s):
Kenichi Asai
Ochanomizu University
14:00
30m
Talk
A Guess-and-Assume Approach to Loop Fusion for Program Verification
PEPM
Akifumi Imanishi
Kyoto University
,
Kohei Suenaga
Graduate School of Informatics, Kyoto University
,
Atsushi Igarashi
Kyoto University, Japan
DOI
14:30
30m
Talk
Gradually Typed Symbolic Expressions
PEPM
David Broman
KTH Royal Institute of Technology
,
Jeremy G. Siek
Indiana University, USA
DOI
15:00
30m
Talk
On the Cost of Type-Tag Soundness
PEPM
Ben Greenman
Northeastern University
,
Zeina Migeed
University of California, Los Angeles
DOI
16:00 - 17:30
Session 1-3
PEPM
at
Crocker
Chair(s):
Frank Pfenning
Carnegie Mellon University, USA
16:00
60m
Talk
The Simple Essence of Automatic Differentiation (Invited Talk)
PEPM
Conal Elliott
Target, USA
Pre-print
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
Session 2-1
PEPM
at
Crocker
Chair(s):
Fritz Henglein
DIKU, Denmark
10:30
60m
Talk
Challenges in the Design and Compilation of Programming Languages for Exascale Machines (Invited Talk)
PEPM
Alex Aiken
Stanford University
11:30
30m
Talk
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
PEPM
Duncan Mitchell
Royal Holloway, University of London
,
L. Thomas van Binsbergen
Royal Holloway University of London
,
Blake Loring
,
Johannes Kinder
Royal Holloway, University of London
DOI
14:00 - 15:30
Session 2-2
PEPM
at
Crocker
Chair(s):
Kohei Suenaga
Graduate School of Informatics, Kyoto University
14:00
30m
Talk
Partially Static Data as Free Extension of Algebras (Short Paper)
PEPM
Jeremy Yallop
University of Cambridge, UK
,
Tamara von Glehn
University of Cambridge
,
Ohad Kammar
University of Oxford
Pre-print
14:30
30m
Talk
Program Generation for ML Modules (Short Paper)
PEPM
Takahisa Watanabe
University of Tsukuba, Japan
,
Yukiyoshi Kameyama
University of Tsukuba, Japan
DOI
15:00
30m
Talk
Recursive Programs in Normal Form (Short Paper)
PEPM
Barry Jay
University of Technology Sydney
DOI
16:00 - 17:30
Session 2-3
PEPM
at
Crocker
Chair(s):
Barry Jay
University of Technology Sydney
16:00
10m
Talk
Towards Language-independent Code Synthesis (Poster/Demo Talk)
PEPM
Jan Bessai
Technical University Dortmund
,
Boris Düdder
University of Copenhagen
,
George Heineman
Worcester Polytechnic Institute
,
Jakob Rehof
Technical University Dortmund
File Attached
16:10
10m
Talk
Dataflow Metaprogramming (Poster/Demo Talk)
PEPM
Dominic Duggan
,
Jianhua Yao
Stevens Institute of Technology
16:20
10m
Talk
An Approach to Generating Text-Based IDEs with Syntax Completion (Poster/Demo Talk)
PEPM
Isao Sasano
Shibaura Institute of Technology
16:30
10m
Talk
Modular Macros (Poster/Demo Talk)
PEPM
Olivier Nicole
,
Leo White
Jane Street
,
Jeremy Yallop
University of Cambridge, UK
File Attached
16:40
10m
Talk
Equations: From Clauses to Splittings to Functions (Poster/Demo Talk)
PEPM
Cyprien Mangin
,
Matthieu Sozeau
Inria
File Attached
16:50
40m
Other
Posters/Demos
PEPM
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
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
Crocker
PEPM
PEPM
Session 1-1
PEPM
Session 1-2
PEPM
Session 1-3
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Crocker
PEPM
PEPM
Session 2-1
PEPM
Session 2-2
PEPM
Session 2-3
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
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
Crocker
PEPM
Developments in Property-Based Testing (Invited Talk)
10:30 - 11:30
PEPM
Selective CPS Transformation for Shift and Reset
11:30 - 12:00
PEPM
A Guess-and-Assume Approach to Loop Fusion for Program Verification
14:00 - 14:30
PEPM
Gradually Typed Symbolic Expressions
14:30 - 15:00
PEPM
On the Cost of Type-Tag Soundness
15:00 - 15:30
PEPM
The Simple Essence of Automatic Differentiation (Invited Talk)
16:00 - 17:00
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
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
Crocker
PEPM
Challenges in the Design and Compilation of Programming Languages for E ...
10:30 - 11:30
PEPM
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
11:30 - 12:00
PEPM
Partially Static Data as Free Extension of Algebras (Short Paper)
14:00 - 14:30
PEPM
Program Generation for ML Modules (Short Paper)
14:30 - 15:00
PEPM
Recursive Programs in Normal Form (Short Paper)
15:00 - 15:30
PEPM
Towards Language-independent Code Synthesis (Poster/Demo Talk)
16:00 - 16:10
PEPM
Dataflow Metaprogramming (Poster/Demo Talk)
16:10 - 16:20
PEPM
An Approach to Generating Text-Based IDEs with Syntax Completion (Poste ...
16:20 - 16:30
PEPM
Modular Macros (Poster/Demo Talk)
16:30 - 16:40
PEPM
Equations: From Clauses to Splittings to Functions (Poster/Demo Talk)
16:40 - 16:50
PEPM
Posters/Demos
16:50 - 17:30
x
Mon 9 Dec 10:33