POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
VenueCurtis Hotel Denver
Room nameKeep Away
Capacity80
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:30
Session 5PADL at Keep Away
Chair(s): Esra Erdem Sabanci University
09:00
60m
Keynote
Invited Talk: Bridging Safety and Performance
PADL
Umut A. Acar Carnegie Mellon University
10:00
30m
Talk
SM-based Semantics for Answer Set Programs Containing Conditional Literals and ArithmeticBest student paper
PADL
Zachary Hansen University of Nebraska Omaha, Yuliya Lierler University of Nebraska
11:00 - 12:30
Session 6PADL at Keep Away
Chair(s): Fang Li Oklahoma Christian University
11:00
30m
Talk
ASP for Language Documentation and Reclamation: A Derivational Stemming Tool for Myaamia
PADL
Daniela Inclezan Miami University, USA, Hunter Lockwood Myaamia Center & Miami University, Anita Baral Miami University, Jitendra Sharma Miami University, Pratiksha Shrestha Miami University
11:30
30m
Talk
A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
PADL
Yan Yan Southeast University, Nanjing, Junru Li Southeast University, Nanjing, Fangzhou Liu Southeast University, Nanjing, Zerong Wang Southeast University, Nanjing, Zhizheng Zhang Southeast University, Nanjing
12:00
30m
Talk
Automated Playing of Survival Video Games with Commonsense Reasoning (short paper)
PADL
Dan Nguyen University of Texas at Dallas, USA, Bryant Hargreaves University of Texas at Dallas, USA, Keegan Kimbrell University of Texas at Dallas, USA, Gopal Gupta
14:00 - 15:30
Session 7PADL at Keep Away
Chair(s): Daniela Inclezan Miami University
14:00
30m
Talk
Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
PADL
Fang Li Oklahoma Christian University, Fei Zuo University of Central Oklahoma, Gopal Gupta
14:30
30m
Talk
Leveraging LLM Reasoning with Dual Horn ProgramsRECORDED
PADL
Paul Tarau University of North Texas
15:00
30m
Talk
Enhancing network diagnosis with reflection in Prolog (extended abstract)RECORDED
PADL
Anduo Wang Temple University, USA
Pre-print
Hide past events

Tue 21 Jan

Displayed time zone: Mountain Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Keep Away
Hide past events