POPL 2025
Sun 19 - Sat 25 January 2025
Denver, Colorado, United States
Toggle navigation
Attending
Venue: Curtis Hotel Denver
Supporting POPL
Registration
Information for Virtual Attendees
Information for Presenters
Requesting a Visa
POPL Live Streams
Code of Conduct
Program
POPL Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Tracks
POPL 2025
Artifact Evaluation
POPL
Student Research Competition
Student Volunteers
Tutorials
Workshops and Co-located Events
Co-hosted Conferences
CPP
VMCAI
Workshops
CoqPL
Dafny
LAFI
PEPM
PLMW @ POPL
PLanQC
PriSC
TPSA
WAW
WITS
Co-hosted Symposia
PADL
Organization
POPL 2025 Committees
Organizing Committee
AV Committee
Student Volunteers
Track Committees
Artifact Evaluation
POPL
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Program Committee
Dafny
Program Committee Chairs
Program Committee
Steering Committee Chairs
LAFI
Program Committee
Steering Committee
PEPM
Chairs
Program Committee Members
PLMW @ POPL
Organizing Committee
Speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
TPSA
Organizing Committee
Program Committee
WAW
Organizers
Program Committee
WITS
Program Committee
Co-hosted Symposia
PADL
Programme Chairs
Program Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2025
(
series
) /
Curtis Hotel Denver
/
Room information: Duck, Duck Goose
Venue
Curtis Hotel Denver
Room name
Duck, Duck Goose
Floor
3
Capacity
60
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Mountain Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
PADL
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
10:00
30m
Talk
Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Elimination
Best Student Paper –Honorable Mention
PADL
Kento Takyu
Waseda University
,
Kazunori Ueda
Waseda University
File Attached
11:00 - 12:30
Session 2
PADL
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
12:00
30m
Talk
The Scenic Route to Deforestation
PADL
Steven Libby
,
Vincent Robinson
University of Portland
14:00 - 15:30
Session 3
PADL
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 4
PADL
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 5
PADL
at
Duck, Duck Goose
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 Arithmetic
Best student paper
PADL
Zachary Hansen
University of Nebraska Omaha
,
Yuliya Lierler
University of Nebraska
11:00 - 12:30
Session 6
PADL
at
Duck, Duck Goose
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 7
PADL
at
Duck, Duck Goose
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 Programs
RECORDED
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
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
12:00 - 13:20
PLMW Steering Committee Lunch
Catering
at
Duck, Duck Goose
12:00
80m
Lunch
PLMW Steering Committee Lunch
Catering
Thu 23 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
12:00 - 13:20
LGBTQ+ Lunch
Catering
at
Duck, Duck Goose
12:00
80m
Lunch
LGBTQ+ Lunch
Catering
Fri 24 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
12:00 - 13:20
URM Lunch
Catering
at
Duck, Duck Goose
12:00
80m
Lunch
URM Lunch
Catering
Sat 25 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
09:00 - 10:30
Session 1
WITS
at
Duck, Duck Goose
09:00
60m
Keynote
Invited Talk: Type inference in OCaml and GHC using Levels
WITS
Richard A. Eisenberg
Jane Street
10:00
30m
Talk
Towards Generic Higher-Order Unification Implementations in Haskell
Remote
WITS
Nikolai Kudasov
Innopolis University
,
Artem Starikov
Innopolis University
,
Fedor Ivanov
Innopolis University
,
Damir Alfiatonov
Innopolis University
File Attached
11:00 - 12:30
Session 2
WITS
at
Duck, Duck Goose
11:00
30m
Talk
Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax
Remote
WITS
Nikolai Kudasov
Innopolis University
,
Anastasia Smirnova
Innopolis University
,
Vladislav Deryabkin
Innopolis University
,
Diana Tomilovskaia
Innopolis University
,
Ekaterina Maksimova
Innopolis University
File Attached
11:30
30m
Talk
McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef Type Theory
WITS
Junyoung Jang
McGill University
,
Jason Z.S. Hu
Amazon Web Services, USA
,
Antoine Gaulin
McGill University
,
Brigitte Pientka
McGill University
Pre-print
File Attached
12:00
30m
Talk
Eta conversion for the unit type (is still not that simple)
Remote
WITS
András Kovács
University of Gothenburg and Chalmers University of Technology
File Attached
14:00 - 15:30
Session 3
WITS
at
Duck, Duck Goose
14:00
30m
Other
Collaboration Time 1
WITS
14:30
30m
Talk
Semantic Analysis of Normalisation for Directional Logic Programming
Remote
WITS
Vikraman Choudhury
Università di Bologna & Inria OLAS
,
Neel Krishnaswami
University of Cambridge
,
Ariadne Si Suo
University of Cambridge
File Attached
15:00
30m
Talk
Incremental Bidirectional Typing via Order Maintenance
WITS
Thomas J. Porter
University of Michigan
,
Marisa Kirisame
University of Utah
,
Liam Mulcahy
University of Michigan
,
Pavel Panchekha
University of Utah
,
Cyrus Omar
University of Michigan
File Attached
16:00 - 17:30
Session 4
WITS
at
Duck, Duck Goose
16:00
30m
Other
Collaboration Time 2
WITS
16:30
30m
Talk
Formalizing locally nameless syntax with cofinite quantification
WITS
Elif Uskuplu
Indiana University, Bloomington
File Attached
17:00
30m
Other
Closing
WITS
Hide past events
Mon 20 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duck, Duck Goose
PADL
Session 1
PADL
Session 2
PADL
Session 3
PADL
Session 4
Tue 21 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duck, Duck Goose
PADL
Session 5
PADL
Session 6
PADL
Session 7
PADL
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
30
13:00
30
Duck, Duck Goose
Catering
PLMW Steering Committee Lunch
Thu 23 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
30
13:00
30
Duck, Duck Goose
Catering
LGBTQ+ Lunch
Fri 24 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
30
13:00
30
Duck, Duck Goose
Catering
URM Lunch
Sat 25 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Duck, Duck Goose
WITS
Session 1
WITS
Session 2
WITS
Session 3
WITS
Session 4
Hide past events
Mon 20 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Duck, Duck Goose
PADL
Invited Talk: Solvers, unite! A simple unified semantics for reasoning ...
09:00 - 10:00
PADL
Best Student Paper –Honorable Mention
Enhancing a Hierarchical Graph Rewriting Language based on MELL Cut Eli ...
10:00 - 10:30
PADL
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System
11:00 - 11:30
PADL
Haskell Based Spreadsheets
11:30 - 12:00
PADL
The Scenic Route to Deforestation
12:00 - 12:30
PADL
A practical approach to handling tabular data in logic
14:00 - 14:30
PADL
C3G: Causally Constrained Counterfactual Generation
14:30 - 15:00
PADL
On Bridging Prolog and Python to Enhance an Inductive Logic Programming ...
15:00 - 15:30
PADL
MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Embe ...
16:00 - 16:30
PADL
Checking Concurrency Coding Rules
16:30 - 17:00
PADL
Can Logic Programming Be Liberated from Predicates and Backtracking? (L ...
17:00 - 17:10
PADL
Logic Programming with Extensible Types (Lightning talk)
17:10 - 17:20
Tue 21 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Duck, Duck Goose
PADL
Invited Talk: Bridging Safety and Performance
09:00 - 10:00
PADL
Best student paper
SM-based Semantics for Answer Set Programs Containing Conditional Liter ...
10:00 - 10:30
PADL
ASP for Language Documentation and Reclamation: A Derivational Stemming ...
11:00 - 11:30
PADL
A Weighted Bipolar Argumentation Framework and its ASP-based Implementation
11:30 - 12:00
PADL
Automated Playing of Survival Video Games with Commonsense Reasoning (s ...
12:00 - 12:30
PADL
Exploring Answer Set Programming for Provenance Graph-Based Cyber Threa ...
14:00 - 14:30
PADL
RECORDED
Leveraging LLM Reasoning with Dual Horn Programs
14:30 - 15:00
PADL
RECORDED
Enhancing network diagnosis with reflection in Prolog (extended abstract)
15:00 - 15:30
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Duck, Duck Goose
POPL Catering
PLMW Steering Committee Lunch
12:00 - 13:20
Thu 23 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Duck, Duck Goose
POPL Catering
LGBTQ+ Lunch
12:00 - 13:20
Fri 24 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Duck, Duck Goose
POPL Catering
URM Lunch
12:00 - 13:20
Sat 25 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Duck, Duck Goose
WITS
Invited Talk: Type inference in OCaml and GHC using Levels
09:00 - 10:00
WITS
Remote
Towards Generic Higher-Order Unification Implementations in Haskell
10:00 - 10:30
WITS
Remote
Towards Generic Type Checking Implementations in Haskell via Second-Ord ...
11:00 - 11:30
WITS
McTT: Building A Correct-By-Construction Proof Checker For Martin-Loef ...
11:30 - 12:00
WITS
Remote
Eta conversion for the unit type (is still not that simple)
12:00 - 12:30
WITS
Collaboration Time 1
14:00 - 14:30
WITS
Remote
Semantic Analysis of Normalisation for Directional Logic Programming
14:30 - 15:00
WITS
Incremental Bidirectional Typing via Order Maintenance
15:00 - 15:30
WITS
Collaboration Time 2
16:00 - 16:30
WITS
Formalizing locally nameless syntax with cofinite quantification
16:30 - 17:00
WITS
Closing
17:00 - 17:30
Hide past events
x
Mon 20 Jan 21:53