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: Rose
Venue
Omni Hotel
Room name
Rose
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
13:30 - 14:30
Opening & Invited Talk I
PADL
at
Rose
13:30
30m
Day opening
Opening
PADL
14:00
30m
Talk
INVITED TALK: ``Safe'' Languages Require Sequential Consistency
PADL
I:
Todd Millstein
University of California, Los Angeles
14:30 - 15:30
Prolog and Optimizations
PADL
at
Rose
14:30
30m
Talk
Exploiting Term Hiding to Reduce Run-time Checking Overhead
PADL
A:
Nataliia Stulova
IMDEA Software Institute and T.U. of Madrid (UPM)
,
A:
José Morales
IMDEA Software Institute
,
A:
Manuel Hermenegildo
IMDEA Software Institute and T.U. of Madrid (UPM)
15:00
30m
Talk
On k-colored Lambda Terms and their Skeletons
PADL
I:
Paul Tarau
University of North Texas
16:00 - 17:00
Constraint Programming & Business Rules
PADL
at
Rose
16:00
30m
Talk
An Automated Detection of Inconsistencies in SBVR-based Business Rules using Many-sorted Logic
PADL
A:
Kritika Anand
,
A:
Pavan Kumar Chittimalli
,
A:
Ravindra Naik
16:30
30m
Talk
Three is a crowd: SAT, SMT and CLP on a chessboard
PADL
A:
Sebastian Krings
,
A:
Michael Leuschel
University of Düsseldorf
,
A:
Philipp Koerner
,
A:
Stefan Hallerstede
,
A:
Miran Hasanagic
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
change
09:00 - 10:00
Invited Talk II
PADL
at
Rose
09:00
60m
Talk
INVITED TALK: Declarative Algorithms on Big Data: a Logic-Based Solution
PADL
I:
Carlo Zaniolo
File Attached
10:30 - 12:00
Functional Programming
PADL
at
Rose
10:30
30m
Talk
Hygienic Source-Code Generation Using Functors
PADL
A:
Karl Crary
Carnegie Mellon University
11:00
30m
Talk
Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell
PADL
A:
Gordon Stewart
Ohio University
,
A:
Samuel Merten
,
A:
Logan Leland
11:30
30m
Talk
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs
PADL
A:
Florian Biermann
IT University of Copenhagen
,
Wensheng Dou
Institute of Software, Chinese Academy of Sciences, China
,
A:
Peter Sestoft
IT University of Copenhagen
13:30 - 15:30
Answer Set Programming
PADL
at
Rose
13:30
30m
Talk
Automatic Web Services Composition for Phylotastic
PADL
A:
Thanh Nguyen
,
A:
Tran Cao Son
,
A:
Enrico Pontelli
14:00
30m
Talk
Navigating Online Semantic Resources for Entity Set Expansion
PADL
A:
Weronika T. Adrian
,
Marco Manna
University of Calabria
14:30
30m
Talk
A REST-based Development Framework for ASP: Tools and Application
PADL
A:
Gelsomina Catalano
,
A:
Giovanni Laboccetta
,
A:
Kristian Reale
,
A:
Francesco Ricca
,
A:
Pierfrancesco Veltri
15:00
30m
Talk
LoIDE: a a web-based IDE for Logic Programming - Preliminary Report
PADL
A:
Stefano Germano
,
A:
Francesco Calimeri
University of Calabria
,
A:
Eliana Palermiti
16:00 - 18:00
Best Papers
PADL
at
Rose
16:00
30m
Talk
Probabilistic Functional Logic Programming
PADL
A:
Sandra Dylus
University of Kiel, Germany
,
A:
Jan Christiansen
Flensburg University of Applied Sciences, Germany
,
A:
Finn Teegen
University of Kiel, Germany
16:30
30m
Talk
Optimizing Answer Set Computation via Heuristic-Based Decomposition
PADL
A:
Francesco Calimeri
University of Calabria
,
A:
Davide Fuscà
,
A:
Simona Perri
,
A:
Jessica Zangari
17:00
30m
Day closing
Closing
PADL
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
Rose
PADL
Opening & Invited Talk I
PADL
Prolog and Optimizations
PADL
Constraint Programming & Business Rules
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
Rose
PADL
Invited Talk II
PADL
Functional Programming
PADL
Answer Set Programming
PADL
Best Papers
Mon 8 Jan
Displayed time zone:
Tijuana, Baja California
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Rose
PADL
Opening
13:30 - 14:00
PADL
INVITED TALK: ``Safe'' Languages Require Sequential Consistency
14:00 - 14:30
PADL
Exploiting Term Hiding to Reduce Run-time Checking Overhead
14:30 - 15:00
PADL
On k-colored Lambda Terms and their Skeletons
15:00 - 15:30
PADL
An Automated Detection of Inconsistencies in SBVR-based Business Rules ...
16:00 - 16:30
PADL
Three is a crowd: SAT, SMT and CLP on a chessboard
16:30 - 17:00
Tue 9 Jan
Displayed time zone:
Tijuana, Baja California
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
Rose
PADL
INVITED TALK: Declarative Algorithms on Big Data: a Logic-Based Solution
09:00 - 10:00
PADL
Hygienic Source-Code Generation Using Functors
10:30 - 11:00
PADL
Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computi ...
11:00 - 11:30
PADL
Rewriting High-Level Spreadsheet Structures into Higher-Order Functiona ...
11:30 - 12:00
PADL
Automatic Web Services Composition for Phylotastic
13:30 - 14:00
PADL
Navigating Online Semantic Resources for Entity Set Expansion
14:00 - 14:30
PADL
A REST-based Development Framework for ASP: Tools and Application
14:30 - 15:00
PADL
LoIDE: a a web-based IDE for Logic Programming - Preliminary Report
15:00 - 15:30
PADL
Probabilistic Functional Logic Programming
16:00 - 16:30
PADL
Optimizing Answer Set Computation via Heuristic-Based Decomposition
16:30 - 17:00
PADL
Closing
17:00 - 17:30
x
Mon 9 Dec 11:18