POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
POPL 2025 (series) / PADL 2025 (series) /

PADL 2025 Program

This is the PADL 2025 program - see the full program for POPL 2025 and all affiliated events.
Detailed TableSession TimelineDetailed Timeline
Get Calendar (iCal)

Dates
Mon 20 Jan 2025
Tue 21 Jan 2025
Rooms
Duck, Duck Goose
Keep Away
Scissors
Tracks
PADL
PEPM
Badges
Best Student Paper –Honorable Mention
Best student paper
RECORDED
Remote
Your Program
Nothing to filter
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: Mountain Time (US & Canada) change

09:00 - 10:30
Session 1PADL at Duck, Duck Goose
Chair(s): German Vidal Universitat Politecnica de Valencia
09:00
60m
Keynote
Invited Talk: Solvers, unite! A simple unified semantics for reasoning with assurance and agreement
PADL
Y. Annie Liu Stony Brook University
File Attached
10:00
30m
Talk
Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut EliminationBest Student Paper –Honorable Mention
PADL
Kento Takyu Waseda University, Kazunori Ueda Waseda University
File Attached
11:00 - 12:30
Session 2PADL at Duck, Duck Goose
Chair(s): Michael Hanus Kiel University
11:00
30m
Talk
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System
PADL
Jim Newton EPITA / LRE https://www.lre.epita.fr
11:30
30m
Talk
Haskell Based Spreadsheets
PADL
Ignacio Ballesteros IMDEA Software Institute and Universidad Politécnica de Madrid, Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
File Attached
12:00
30m
Talk
The Scenic Route to Deforestation
PADL
Steven Libby , Vincent Robinson University of Portland
14:00 - 15:30
Session 3PADL at Duck, Duck Goose
Chair(s): Kazunori Ueda Waseda University
14:00
30m
Talk
A practical approach to handling tabular data in logic
PADL
Robin De Vogelaere KU Leuven, Kylian Van Dessel Leuven.AI, Belgium, Joost Vennekens KU Leuven
14:30
30m
Talk
C3G: Causally Constrained Counterfactual Generation
PADL
Sopam Dasgupta , Farhad Shakerin Microsoft, Joaquín Arias Universidad Rey Juan Carlos, Elmer Salazar The University of Texas at Dallas, Gopal Gupta
15:00
30m
Talk
On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
PADL
Vitor Santos Costa University of Porto, Portugal, Miguel Areias University of Porto, Portugal
16:00 - 17:30
Session 4PADL at Duck, Duck Goose
Chair(s): Vitor Santos Costa University of Porto, Portugal
16:00
30m
Talk
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embedded DSLs
PADL
Felipe Gorostiaga IMDEA Software Institute, Martin Ceresa IMDEA Software Institute, César Sánchez IMDEA Software Institute
16:30
30m
Talk
Checking Concurrency Coding Rules
PADL
Lars-Åke Fredlund Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
17:00
10m
Talk
Can Logic Programming Be Liberated from Predicates and Backtracking? (Lightning talk)
PADL
Michael Hanus Kiel University
17:10
10m
Talk
Logic Programming with Extensible Types (Lightning talk)
PADL
Ivan Perez NASA Ames Research Center, Ángel Herranz Universidad Politécnica de Madrid, P: Julio Mariño Universidad Politécnica de Madrid

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
09:00 - 10:30
High-level abstraction and automationPEPM at Scissors
Chair(s): Sam Lindley The University of Edinburgh
09:00
10m
Day opening
Welcome
PEPM
Y. Annie Liu Stony Brook University
09:10
50m
Keynote
The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)
PEPM
Satnam Singh Groq
DOI
10:00
30m
Research paper
A Type Safe Calculus for Generating Syntax-Directed EditorsRemote
PEPM
Andreas Tor Mortensen Department of Computer Science, Aalborg University, Benjamin Bennetzen Department of Computer Science, Aalborg University, Nikolaj Rossander Kristensen Department of Computer Science, Aalborg University, Peter Buus Steffensen Department of Computer Science, Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University, Sune Skaanning Engtorp Department of Computer Science, University of Copenhagen
DOI
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
11:00 - 12:30
Language design, pedagogical tool, and staged interpreterPEPM at Scissors
Chair(s): Michael Hanus Kiel University
11:00
45m
Keynote
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)
PEPM
William J. Bowman University of British Columbia
DOI Pre-print File Attached
11:45
30m
Research paper
Algebraic Stepper for Simple Modules
PEPM
Kenichi Asai Ochanomizu University, Hinano Akiyama Ochanomizu University
DOI
12:15
15m
Short-paper
Collapsing Towers for Side-Channel Security (Short Paper)
PEPM
Cameron Wong Harvard SEAS, Muhammad Abdullah MIT, Yuheng Yang MIT, Mengjia Yan MIT, Adam Chlipala Massachusetts Institute of Technology, Nada Amin Harvard University
File Attached
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
14:00 - 15:30
Types and meta theoryPEPM at Scissors
Chair(s): Kenichi Asai Ochanomizu University
14:00
45m
Keynote
A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract)
PEPM
Brigitte Pientka McGill University
DOI
14:45
30m
Research paper
Typed Program Analysis without Encodings
PEPM
Barry Jay
DOI
15:15
15m
Short-paper
A Fuelled Self-Reducer for System T (Short Paper)
PEPM
Greg Brown University of Edinburgh
File Attached
16:00 - 17:30
Macros, lenses, and LLMsPEPM at Scissors
Chair(s): Y. Annie Liu Stony Brook University
16:00
15m
Short-paper
Type-Sensitive Algebraic Macros (Short Paper)Remote
PEPM
April Gonçalves University of Strathclyde, Robert Atkey University of Strathclyde
File Attached
16:15
30m
Research paper
Characterizations of Partial Well-Behaved Lenses
PEPM
Keishi HASHIBA The University of Osaka, Keisuke Nakano Tohoku University, Kazuyuki Asada Tohoku University, Kentaro Kikuchi Tohoku University
DOI
16:45
40m
Panel
Semantics-based program manipulation in the age of LLMs
PEPM
William J. Bowman University of British Columbia, Brigitte Pientka McGill University, Satnam Singh Groq, Sam Lindley The University of Edinburgh
17:25
5m
Day closing
Farewell
PEPM
Y. Annie Liu Stony Brook University
:
: