Write a Blog >>
PADL 2020
Mon 20 - Tue 21 January 2020
New Orleans, Louisiana, United States
co-located with
POPL 2020
Toggle navigation
Attending
Venue: JW Marriott New Orleans
Restaurant: Palace Cafe
Program
Complete Program
Your Program
Mon 20 Jan
Tue 21 Jan
Track/Call
Organization
PADL 2020 Committees
Track Committees
Program Chairs
Program Committee
Publicity Chair
Contributors
People Index
Search
Series
Series
PADL 2024
PADL 2023
PADL 2022
PADL 2021
PADL 2020
PADL 2019
PADL 2018
PADL 2017
PADL
Sign in
Sign up
POPL 2020
(
series
) /
PADL 2020 (
series
) /
JW Marriott New Orleans
/
Room information: Bacchus
Venue
JW Marriott New Orleans
Room name
Bacchus
Floor
8
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-06:00) Saskatchewan, Central America
.
Use conference time zone: (GMT-06:00) Saskatchewan, Central America
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-04: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-03: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+12: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 20 Jan
Displayed time zone:
Saskatchewan, Central America
change
08:30 - 10:00
Logical Engines and Applications
PADL 2020
at
Bacchus
Chair(s):
Ekaterina Komendantskaya
Heriot-Watt University, UK
08:30
15m
Day opening
Opening
PADL 2020
Gopal Gupta
08:45
50m
Talk
Invited Talk: Logical Engines for Cloud Configurations
PADL 2020
I:
Nikolaj Bjørner
Microsoft Research
09:35
25m
Talk
Interactive Text Graph Mining with a Prolog-based Dialog Engine
PADL 2020
Paul Tarau
University of North Texas
,
Eduardo Blanco
10:30 - 12:00
Answer Set Programming Systems
PADL 2020
at
Bacchus
Chair(s):
Neng-Fa Zhou
CUNY Brooklyn College and Graduate Center
10:30
25m
Talk
AQuA: ASP-based Visual Question Answering
PADL 2020
Kinjal Basu
,
Farhad Shakerin
,
Gopal Gupta
10:55
15m
Short-paper
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
PADL 2020
Alex Brik
,
Jeffrey Xu
UCLA
11:10
15m
Short-paper
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
PADL 2020
Vinh The Nguyen
Texas Tech University
,
Yuanlin Zhang
,
Kwanghee Jung
,
Wanli Xing
,
Tommy Dang
Texas Tech University
11:25
35m
Other
Panel: Programming with logic for the masses
PADL 2020
Nikolaj Bjørner
Microsoft Research
,
Paul Tarau
University of North Texas
,
Eduardo Blanco
,
Kinjal Basu
,
Farhad Shakerin
,
Gopal Gupta
,
Alex Brik
,
Jeffrey Xu
UCLA
,
Vinh The Nguyen
Texas Tech University
,
Yuanlin Zhang
,
Kwanghee Jung
,
Wanli Xing
,
Tommy Dang
Texas Tech University
13:30 - 15:00
Memory and Real-Time in Functional Programming
PADL 2020
at
Bacchus
Chair(s):
John Hughes
Chalmers University of Technology, Sweden
13:30
25m
Talk
On the Effects of Integrating Region-based Memory Managemen and Generational Garbage Collection in ML
PADL 2020
Martin Elsman
University of Copenhagen, Denmark
,
Niels Hallenberg
13:55
25m
Talk
RTMLton: An SML Runtime for Real-Time Systems
PADL 2020
Bhargav Shivkumar
,
Jeffrey Murphy
,
Lukasz Ziarek
SUNY Buffalo, USA
14:20
25m
Talk
A Timed IO Monad
PADL 2020
David Janin
Bordeaux INP / CNRS LaBRI / Bordeaux University
14:45
15m
Other
Panel: Memory and real-time programming in practice
PADL 2020
Martin Elsman
University of Copenhagen, Denmark
,
Niels Hallenberg
,
Bhargav Shivkumar
,
Jeffrey Murphy
,
Lukasz Ziarek
SUNY Buffalo, USA
,
David Janin
Bordeaux INP / CNRS LaBRI / Bordeaux University
15:30 - 17:00
Answer Set Programming Applications and Competitive programming experience
PADL 2020
at
Bacchus
Chair(s):
Alex Brik
15:30
25m
Talk
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming
PADL 2020
Sheung Chi Chan
,
James Cheney
University of Edinburgh, UK
15:55
25m
Talk
On Repairing Web Services Workflows
PADL 2020
Thanh Hai Nguyen
,
Enrico Pontelli
New Mexico State University
,
Tran Cao Son
16:20
40m
Talk
Competitive Programming with PiCat
PADL 2020
Neng-Fa Zhou
CUNY Brooklyn College and Graduate Center
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
change
08:30 - 10:00
Reasoning and Efficient Implementation
PADL 2020
at
Bacchus
Chair(s):
Y. Annie Liu
Stony Brook University
08:30
50m
Talk
Invited Talk: Symbolic Reasoning About Machine Learning Systems
PADL 2020
Adnan Darwiche
UCLA
09:20
25m
Talk
Exploiting Database Systems and Treewidth for Counting
PADL 2020
Johannes K. Fichte
TU Dresden
,
Markus Hecher
,
Patrick Thier
,
Stefan Woltran
09:45
15m
Short-paper
Whitebox Induction of Default Rules Using High-Utility Itemset Mining
PADL 2020
Farhad Shakerin
,
Gopal Gupta
10:30 - 12:00
Small Languages and Implementation
PADL 2020
at
Bacchus
Chair(s):
James Cheney
University of Edinburgh, UK
10:30
25m
Talk
Explanations for Dynamic Programming
PADL 2020
Martin Erwig
Oregon State University
,
Prashant Kumar
,
Alan Fern
10:55
25m
Talk
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams
PADL 2020
Johannes Eriksson
,
Masoumeh Parsa
11:20
15m
Short-paper
Variability-aware Datalog
PADL 2020
Ramy Shahin
,
Marsha Chechik
University of Toronto
11:35
25m
Other
Panel: Reasoning for machine learning at large
PADL 2020
Adnan Darwiche
UCLA
,
Johannes K. Fichte
TU Dresden
,
Markus Hecher
,
Patrick Thier
,
Stefan Woltran
,
Farhad Shakerin
,
Gopal Gupta
,
Martin Erwig
Oregon State University
,
Prashant Kumar
,
Alan Fern
,
Johannes Eriksson
,
Masoumeh Parsa
,
Ramy Shahin
,
Marsha Chechik
University of Toronto
13:30 - 15:00
Invited Experience and Direction Session
PADL 2020
at
Bacchus
Chair(s):
Konstantinos (Kostis) Sagonas
Uppsala University, Sweden
,
David Warren
Stony Brook University
13:30
30m
Talk
Invited Talk: Relational Artificial Intelligence
PADL 2020
Molham Aref
Relational.ai
14:00
30m
Talk
Invited Talk: Learning Interpretable Rules from Structured Data
PADL 2020
Mayur Naik
University of Pennsylvania
14:30
30m
Talk
Invited Talk: An Introduction to the Imandra Automated Reasoning System
PADL 2020
Grant Passmore
Imandra Inc.
15:30 - 17:00
Invited Experience and Direction Session (Continued)
PADL 2020
at
Bacchus
Chair(s):
Y. Annie Liu
Stony Brook University
,
Konstantinos (Kostis) Sagonas
Uppsala University, Sweden
,
David Warren
Stony Brook University
15:30
30m
Talk
Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types
PADL 2020
Philip Wadler
University of Edinburgh, UK
16:00
45m
Other
Panel: Experience and Direction
PADL 2020
I:
Molham Aref
Relational.ai
,
I:
Mayur Naik
University of Pennsylvania
,
I:
Grant Passmore
Imandra Inc.
,
I:
Philip Wadler
University of Edinburgh, UK
16:45
15m
Day closing
Closing
PADL 2020
Ekaterina Komendantskaya
Heriot-Watt University, UK
,
Y. Annie Liu
Stony Brook University
Mon 20 Jan
Displayed time zone:
Saskatchewan, Central America
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
Bacchus
PADL 2020
Logical Engines and Applications
PADL 2020
Answer Set Programming Systems
PADL 2020
Memory and Real-Time in Functional Programming
PADL 2020
Answer Set Programming Applications and Competitive programming experience
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
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
Bacchus
PADL 2020
Reasoning and Efficient Implementation
PADL 2020
Small Languages and Implementation
PADL 2020
Invited Experience and Direction Session
PADL 2020
Invited Experience and Direction Session (Continued)
Mon 20 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
8:00
15
30
45
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
Bacchus
PADL
Opening
08:30 - 08:45
PADL
Invited Talk: Logical Engines for Cloud Configurations
08:45 - 09:35
PADL
Interactive Text Graph Mining with a Prolog-based Dialog Engine
09:35 - 10:00
PADL
AQuA: ASP-based Visual Question Answering
10:30 - 10:55
PADL
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
10:55 - 11:10
PADL
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
11:10 - 11:25
PADL
Panel: Programming with logic for the masses
11:25 - 12:00
PADL
On the Effects of Integrating Region-based Memory Managemen and Generat ...
13:30 - 13:55
PADL
RTMLton: An SML Runtime for Real-Time Systems
13:55 - 14:20
PADL
A Timed IO Monad
14:20 - 14:45
PADL
Panel: Memory and real-time programming in practice
14:45 - 15:00
PADL
Flexible Graph Matching and Graph Edit Distance Using Answer Set Progra ...
15:30 - 15:55
PADL
On Repairing Web Services Workflows
15:55 - 16:20
PADL
Competitive Programming with PiCat
16:20 - 17:00
Tue 21 Jan
Displayed time zone:
Saskatchewan, Central America
change
Room
8:00
15
30
45
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
Bacchus
PADL
Invited Talk: Symbolic Reasoning About Machine Learning Systems
08:30 - 09:20
PADL
Exploiting Database Systems and Treewidth for Counting
09:20 - 09:45
PADL
Whitebox Induction of Default Rules Using High-Utility Itemset Mining
09:45 - 10:00
PADL
Explanations for Dynamic Programming
10:30 - 10:55
PADL
A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams
10:55 - 11:20
PADL
Variability-aware Datalog
11:20 - 11:35
PADL
Panel: Reasoning for machine learning at large
11:35 - 12:00
PADL
Invited Talk: Relational Artificial Intelligence
13:30 - 14:00
PADL
Invited Talk: Learning Interpretable Rules from Structured Data
14:00 - 14:30
PADL
Invited Talk: An Introduction to the Imandra Automated Reasoning System
14:30 - 15:00
PADL
Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types
15:30 - 16:00
PADL
Panel: Experience and Direction
16:00 - 16:45
PADL
Closing
16:45 - 17:00
x
Thu 25 Apr 09:07