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 Bayboro
Venue
Hilton St. Petersburg Bayfront
Room name
Room Bayboro
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
Mon 18 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:45 - 09:00
Welcome
PADL
at
Room Bayboro
Chair(s):
John Reppy
University of Chicago
09:00 - 10:00
Invited Talk
PADL
at
Room Bayboro
09:00
60m
Talk
Program Synthesis for Direct Manipulation Interfaces
PADL
Ravi Chugh
University of Chicago
10:30 - 12:00
Functional Programming I
PADL
at
Room Bayboro
10:30
30m
Talk
Simplifying Probabilistic Programs Using Computer Algebra
PADL
Jacques Carette
McMaster University
,
Chung-chieh Shan
Indiana University
11:00
30m
Talk
Haskino: A Remote Monad for Programming the Arduino
PADL
Mark Grebe
University of Kansas
,
Andy Gill
University of Kansas
11:30
30m
Talk
From Monads to Effects and Back
PADL
Niki Vazou
UC San Diego
,
Daan Leijen
Microsoft Research
14:00 - 15:30
Constraints
PADL
at
Room Bayboro
14:00
30m
Talk
A GPU implementation of the ASP computation
PADL
Agostino Dovier
University of Udine
,
Andrea Formisano
Università di Perugia
,
Enrico Pontelli
New Mexico State University
,
Flavio Vella
Sapienza University of Rome, Italy
14:30
30m
Talk
Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
PADL
Jan Jelínek
Charles University in Prague
,
Roman Barták
Charles University in Prague
15:00
30m
Talk
The Picat-SAT Compiler
PADL
Neng-Fa Zhou
CUNY Brooklyn College and Graduate Center
,
Håkan Kjellerstrand
CUNY Brooklyn College and Graduate Center
16:00 - 17:00
Logic Programming
PADL
at
Room Bayboro
16:00
30m
Talk
The KB paradigm and its application to interactive configuration
PADL
Pieter Van Hertum
KU Leuven
,
Ingmar Dasseville
KU Leuven
,
Gerda Janssens
KU Leuven
,
Marc Denecker
KU Leuven
16:30
30m
Talk
Default Rules for Curry
PADL
Sergio Antoy
Kiel University
,
Michael Hanus
Kiel University
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Functional Programming II
PADL
at
Room Bayboro
10:30
30m
Talk
Computing with Catalan Families, Generically
PADL
Paul Tarau
University of North Texas
11:00
30m
Talk
A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations
PADL
Paul Tarau
University of North Texas
11:30
30m
Talk
Generic Matching of Tree Regular Expressions over Haskell Data Types
PADL
Alejandro Serrano
Utrecht University
,
Jurriaan Hage
Utrecht University
Mon 18 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Room Bayboro
PADL
Welcome
PADL
Invited Talk
PADL
Functional Programming I
PADL
Constraints
PADL
Logic Programming
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
Room Bayboro
PADL
Functional Programming II
Mon 18 Jan
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
Room Bayboro
PADL
Program Synthesis for Direct Manipulation Interfaces
09:00 - 10:00
PADL
Simplifying Probabilistic Programs Using Computer Algebra
10:30 - 11:00
PADL
Haskino: A Remote Monad for Programming the Arduino
11:00 - 11:30
PADL
From Monads to Effects and Back
11:30 - 12:00
PADL
A GPU implementation of the ASP computation
14:00 - 14:30
PADL
Using Constraint Logic Programming to Schedule Solar Array Operations o ...
14:30 - 15:00
PADL
The Picat-SAT Compiler
15:00 - 15:30
PADL
The KB paradigm and its application to interactive configuration
16:00 - 16:30
PADL
Default Rules for Curry
16:30 - 17:00
Tue 19 Jan
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
Room Bayboro
PADL
Computing with Catalan Families, Generically
10:30 - 11:00
PADL
A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Obje ...
11:00 - 11:30
PADL
Generic Matching of Tree Regular Expressions over Haskell Data Types
11:30 - 12:00
x
Sat 21 Dec 15:59