PEPM 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
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
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
10:55
15m
Short-paper
Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report
PADL
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
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

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