Write a Blog >>
POPL 2016
Wed 20 - Sat 23 January 2016
St. Petersburg, Florida, United States
Toggle navigation
Attending
Venue: Hilton St. Petersburg Bayfront
Registration
Accommodation
Student Volunteers
Financial Support
Travel
Visas
Conduct
Program
POPL Program
Your Program
Filter by Day
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Wed 20 Jan
Thu 21 Jan
Fri 22 Jan
Sat 23 Jan
Tracks
POPL 2016
Invited Speakers
Artifact Evaluation
Tutorials
Research Papers
SRC
Co-hosted Conferences
CPP
CPP
CPP
VMCAI
VMCAI
VMCAI
Workshops
CoqPL
CoqPL
CoqPL
Off the Beaten Track
Off the Beaten Track
Off the Beaten Track
PEPM
PEPM
PEPM
Invited Talks
PEPM
PLMW
PLMW
PLMW
PPS
PPS
PPS
Co-hosted Symposia
PADL
PADL
PADL
Organization
POPL 2016 Committees
Organizing Committee
Program Committee
External Reviewing Committee
Steering Committee
Track Committees
Artifact Evaluation
Tutorials
Research Papers
Program Committee
External Reviewing Committee
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Program Chairs
Program Committee
Organizing Committee
Steering Committee
Workshops
CoqPL
Organizing Committee
Program Committee
Off the Beaten Track
Organizing Committee
Program Committee
PEPM
Program Committee
PLMW
Organizing Committee
PPS
Program Committee
Co-hosted Symposia
PADL
Organizers
Program Committee
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 2016
(
series
) /
Hilton St. Petersburg Bayfront
/
Room information: Room Harbor View
Venue
Hilton St. Petersburg Bayfront
Room name
Room Harbor View
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-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:30) 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+06: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+10: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
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Parsing & Domain-Specific Languages I
PEPM
at
Room Harbor View
Chair(s):
Kenichi Asai
Ochanomizu University
10:30
30m
Talk
Practical, General Parser Combinators
PEPM
Anastasia Izmaylova
Centrum Wiskunde & Informatica
,
Ali Afroozeh
Centrum Wiskunde & Informatica
,
Tijs van der Storm
CWI
DOI
Pre-print
11:00
30m
Talk
Operator Precedence for Data-Dependent Grammars
PEPM
Ali Afroozeh
Centrum Wiskunde & Informatica
,
Anastasia Izmaylova
Centrum Wiskunde & Informatica
DOI
Pre-print
11:30
30m
Talk
Everything Old Is New Again: Quoted Domain-Specific Languages
PEPM
Shayan Najd
,
Sam Lindley
University of Edinburgh
,
Josef Svenningsson
Chalmers University of Technology, Sweden
,
Philip Wadler
University of Edinburgh
DOI
14:00 - 15:30
Domain-Specific Languages II
PEPM
at
Room Harbor View
Chair(s):
Sebastian Erdweg
TU Darmstadt, Germany
14:00
30m
Talk
BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming
PEPM
Hsiang-Shang ‘Josh’ Ko
National Institute of Informatics
,
Tao Zan
Sokendai, Japan
,
Zhenjiang Hu
National Institute of Informatics
DOI
Pre-print
14:30
30m
Talk
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
PEPM
Hendrik van Antwerpen
Delft University of Technology, Netherlands
,
Pierre Neron
TU Delft
,
Andrew Tolmach
Portland State University
,
Eelco Visser
Delft University of Technology
,
Guido Wachsmuth
Delft University of Technology
Link to publication
DOI
Pre-print
15:00
30m
Talk
Finally, Safely-Extensible and Efficient Language-Integrated Query
PEPM
Kenichi Suzuki
University of Tsukuba, Japan
,
Oleg Kiselyov
,
Yukiyoshi Kameyama
DOI
16:00 - 17:40
Staging
PEPM
at
Room Harbor View
Chair(s):
Jacques Carette
McMaster University
16:00
30m
Talk
Staging Generic Programming
PEPM
Jeremy Yallop
University of Cambridge, UK
DOI
16:30
30m
Talk
Removing Runtime Overhead for Optimized Object Queries
PEPM
Jon Brandvein
,
Y. Annie Liu
Stony Brook University, USA
DOI
17:00
20m
Talk
Toward Introducing Binding-Time Analysis to MetaOCaml
PEPM
Kenichi Asai
Ochanomizu University
DOI
17:20
20m
Talk
Staging beyond Terms: Prospects and Challenges
PEPM
Jun Inoue
National Institute of Advanced Industrial Science and Technology, Japan
,
Oleg Kiselyov
,
Yukiyoshi Kameyama
DOI
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Room Harbor View
PEPM
Parsing & Domain-Specific Languages I
PEPM
Domain-Specific Languages II
PEPM
Staging
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Room Harbor View
PEPM
Practical, General Parser Combinators
10:30 - 11:00
PEPM
Operator Precedence for Data-Dependent Grammars
11:00 - 11:30
PEPM
Everything Old Is New Again: Quoted Domain-Specific Languages
11:30 - 12:00
PEPM
BiGUL: A Formally Verified Core Language for Putback-Based Bidirectiona ...
14:00 - 14:30
PEPM
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
14:30 - 15:00
PEPM
Finally, Safely-Extensible and Efficient Language-Integrated Query
15:00 - 15:30
PEPM
Staging Generic Programming
16:00 - 16:30
PEPM
Removing Runtime Overhead for Optimized Object Queries
16:30 - 17:00
PEPM
Toward Introducing Binding-Time Analysis to MetaOCaml
17:00 - 17:20
PEPM
Staging beyond Terms: Prospects and Challenges
17:20 - 17:40
x
Thu 21 Nov 09:32