Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020
New Orleans, Louisiana, United States
Toggle navigation
Attending
Venue: JW Marriott New Orleans
Restaurant: Palace Cafe
Registration
Online Participation
Travel to the USA
Mentoring Events
Information for Students
Code of Conduct
Supporting POPL
Accessibility
SIGPLAN CARES
Program
Complete Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Tracks
POPL 2020
Research Papers
Artifact Evaluation
Student Research Competition
Workshops and Co-located Events
TutorialFest
POPLmark 15 Year Retrospective Panel
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Co-hosted Conferences
CPP
VMCAI
Workshops
ADSL
CoqPL
HASE
LAFI
(né PPS)
PEPM
PLMW
PLanQC
PriSC
PriSC
Principles of Secure Compilation
- Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing
WGT
Co-hosted Symposia
PADL
Organization
POPL 2020 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifact Evaluation
Student Research Competition
TutorialFest
POPLmark 15 Year Retrospective Panel
Panel
Organizing Committee
Ally Skills Session
LGBTQ Lunch
Mentoring Breakfasts
W@POPL Dinner
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Program Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact-Evaluation Committee
Steering Committee
Workshops
ADSL
Organizing Committee
Program Committee
CoqPL
Invited speakers
Organizing Committee
Program Committee
HASE
Organizing Committee
Program Committee
LAFI
Program Committee
Steering Committee
PEPM
PC Chairs
Program Committee
PLMW
Organizing Committee
Invited speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
WGT
Organizing Committee
Program Committee
Co-hosted Symposia
PADL
Program Chairs
Program Committee
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 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
at
Bacchus
Chair(s):
Ekaterina Komendantskaya
Heriot-Watt University, UK
08:30
15m
Day opening
Opening
PADL
Gopal Gupta
08:45
50m
Talk
Invited Talk: Logical Engines for Cloud Configurations
PADL
I:
Nikolaj Bjørner
Microsoft Research
09:35
25m
Talk
Interactive Text Graph Mining with a Prolog-based Dialog Engine
PADL
Paul Tarau
University of North Texas
,
Eduardo Blanco
10:30 - 12:00
Answer Set Programming Systems
PADL
at
Bacchus
Chair(s):
Neng-Fa Zhou
CUNY Brooklyn College and Graduate Center
10:30
25m
Talk
AQuA: ASP-based Visual Question Answering
PADL
Kinjal Basu
,
Farhad Shakerin
,
Gopal Gupta
10:55
15m
Short-paper
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
PADL
Alex Brik
,
Jeffrey Xu
UCLA
11:10
15m
Short-paper
VRASP: A Virtual Reality Environment for Learning Answer Set Programming
PADL
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
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
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
Martin Elsman
University of Copenhagen, Denmark
,
Niels Hallenberg
13:55
25m
Talk
RTMLton: An SML Runtime for Real-Time Systems
PADL
Bhargav Shivkumar
,
Jeffrey Murphy
,
Lukasz Ziarek
SUNY Buffalo, USA
14:20
25m
Talk
A Timed IO Monad
PADL
David Janin
Bordeaux INP / CNRS LaBRI / Bordeaux University
14:45
15m
Other
Panel: Memory and real-time programming in practice
PADL
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
at
Bacchus
Chair(s):
Alex Brik
15:30
25m
Talk
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming
PADL
Sheung Chi Chan
,
James Cheney
University of Edinburgh, UK
15:55
25m
Talk
On Repairing Web Services Workflows
PADL
Thanh Hai Nguyen
,
Enrico Pontelli
New Mexico State University
,
Tran Cao Son
16:20
40m
Talk
Competitive Programming with PiCat
PADL
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
at
Bacchus
Chair(s):
Y. Annie Liu
Stony Brook University
08:30
50m
Talk
Invited Talk: Symbolic Reasoning About Machine Learning Systems
PADL
Adnan Darwiche
UCLA
09:20
25m
Talk
Exploiting Database Systems and Treewidth for Counting
PADL
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
Farhad Shakerin
,
Gopal Gupta
10:30 - 12:00
Small Languages and Implementation
PADL
at
Bacchus
Chair(s):
James Cheney
University of Edinburgh, UK
10:30
25m
Talk
Explanations for Dynamic Programming
PADL
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
Johannes Eriksson
,
Masoumeh Parsa
11:20
15m
Short-paper
Variability-aware Datalog
PADL
Ramy Shahin
,
Marsha Chechik
University of Toronto
11:35
25m
Other
Panel: Reasoning for machine learning at large
PADL
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
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
Molham Aref
Relational.ai
14:00
30m
Talk
Invited Talk: Learning Interpretable Rules from Structured Data
PADL
Mayur Naik
University of Pennsylvania
14:30
30m
Talk
Invited Talk: An Introduction to the Imandra Automated Reasoning System
PADL
Grant Passmore
Imandra Inc.
15:30 - 17:00
Invited Experience and Direction Session (Continued)
PADL
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
Philip Wadler
University of Edinburgh, UK
16:00
45m
Other
Panel: Experience and Direction
PADL
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
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
Logical Engines and Applications
PADL
Answer Set Programming Systems
PADL
Memory and Real-Time in Functional Programming
PADL
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
Reasoning and Efficient Implementation
PADL
Small Languages and Implementation
PADL
Invited Experience and Direction Session
PADL
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
Wed 9 Oct 15:51