POPL 2020 (series) / PADL 2020 (series) /
PADL 2020 Program
This is the PADL 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 20 JanDisplayed time zone: Saskatchewan, Central America change
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 15mDay opening | Opening PADL | ||
08:45 50mTalk | Invited Talk: Logical Engines for Cloud Configurations PADL | ||
09:35 25mTalk | Interactive Text Graph Mining with a Prolog-based Dialog Engine PADL |
10:30 - 12:00 | Answer Set Programming SystemsPADL at Bacchus Chair(s): Neng-Fa Zhou CUNY Brooklyn College and Graduate Center | ||
10:30 25mTalk | AQuA: ASP-based Visual Question Answering PADL | ||
10:55 15mShort-paper | Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report PADL | ||
11:10 15mShort-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 35mOther | 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 25mTalk | On the Effects of Integrating Region-based Memory Managemen and Generational Garbage Collection in ML PADL | ||
13:55 25mTalk | RTMLton: An SML Runtime for Real-Time Systems PADL | ||
14:20 25mTalk | A Timed IO Monad PADL David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University | ||
14:45 15mOther | 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 | |||
15:30 25mTalk | Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming PADL | ||
15:55 25mTalk | On Repairing Web Services Workflows PADL | ||
16:20 40mTalk | Competitive Programming with PiCat PADL Neng-Fa Zhou CUNY Brooklyn College and Graduate Center |
Tue 21 JanDisplayed time zone: Saskatchewan, Central America change
Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change
08:30 - 10:00 | |||
08:30 50mTalk | Invited Talk: Symbolic Reasoning About Machine Learning Systems PADL Adnan Darwiche UCLA | ||
09:20 25mTalk | Exploiting Database Systems and Treewidth for Counting PADL | ||
09:45 15mShort-paper | Whitebox Induction of Default Rules Using High-Utility Itemset Mining PADL |
10:30 - 12:00 | Small Languages and ImplementationPADL at Bacchus Chair(s): James Cheney University of Edinburgh, UK | ||
10:30 25mTalk | Explanations for Dynamic Programming PADL | ||
10:55 25mTalk | A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams PADL | ||
11:20 15mShort-paper | Variability-aware Datalog PADL | ||
11:35 25mOther | 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 30mTalk | Invited Talk: Relational Artificial Intelligence PADL Molham Aref Relational.ai | ||
14:00 30mTalk | Invited Talk: Learning Interpretable Rules from Structured Data PADL Mayur Naik University of Pennsylvania | ||
14:30 30mTalk | 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 30mTalk | Invited Talk: We Are All Poor Schmucks: On the Value of Gradual Types PADL Philip Wadler University of Edinburgh, UK | ||
16:00 45mOther | 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 15mDay closing | Closing PADL |