POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Omni Hotel /

Room information: Rose

VenueOmni Hotel
Room nameRose
Floor0
Room InformationNo extra information available
Program

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 IPADL 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 OptimizationsPADL 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 RulesPADL 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 IIPADL 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 ProgrammingPADL 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 ProgrammingPADL 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

Room13:003014:003015:003016:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room13:0015304514:0015304515:0015304516:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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