Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / JW Marriott New Orleans /

Room information: Bacchus

VenueJW Marriott New Orleans
Room nameBacchus
Floor8
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 20 Jan

Displayed time zone: Saskatchewan, Central America change

08:30 - 10:00
Logical Engines and ApplicationsPADL 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 SystemsPADL 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 ProgrammingPADL 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 experiencePADL 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 ImplementationPADL 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 ImplementationPADL 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 SessionPADL 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

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

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

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

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