POPL 2023 (series) / PADL 2023 (series) /
PADL 2023 Program
This is the PADL 2023 program - see the full program for POPL 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 16 JanDisplayed time zone: Eastern Time (US & Canada) change
Mon 16 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mTalk | Towards Declarative Content Generation for Creativity Support Tools PADL Chris Martens Northeastern University |
10:00 - 10:30 | |||
10:00 30mTalk | Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL PADL |
11:00 - 12:30 | Domain Specific LanguagesPADL at The Loft Chair(s): Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research | ||
11:00 30mTalk | Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper) PADL | ||
11:30 30mTalk | SwitchLog: A Logic Programming Language for Network Switches PADL Vaibhav Mehta Princeton University, Devon Loehr Princeton University, John Sonchack University of Pennsylvania, USA, David Walker Princeton University | ||
12:00 30mTalk | Formalizing and Reasoning about Contracts between Agents PADL Dylan Flynn , Chasity Nadeau , Jeannine Shantz , Marcello Balduccini Saint Joseph's University, USA, Tran Cao Son New Mexico State University, Edward Griffor |
14:00 - 15:30 | Applications of Answer Set Programming (I)PADL at The Loft Chair(s): Wolfgang Faber Alpen-Adria-Universität, Austria | ||
14:00 30mTalk | Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming PADL Zesheng Xu The University of Texas at Dallas, Gopal Gupta University of Texas at Dallas, USA, Elmer Salazar The University of Texas at Dallas, Joaquín Arias Universidad Rey Juan Carlos, Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research | ||
14:30 30mTalk | Solving Vehicle Equipment Specification Problems with Answer Set Programming PADL Raito Takeuchi Nagoya University, Mutsunori Banbara Nagoya University, Naoyuki Tamura Kobe University, JAPAN, Torsten Schaub University of Potsdam | ||
15:00 30mTalk | Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling PADL Anssi Yli-Jyrä Tampere University, Masood Feyzbakhsh Rankooh Tampere University, Tomi Janhunen Tampere University |
Tue 17 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 17 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | |||
09:00 60mTalk | Modern Macros PADL Robert Bruce Findler Northwestern University |
10:00 - 10:30 | |||
10:00 30mTalk | Automatic Rollback Suggestions for Incremental Datalog Evaluation PADL David Zhao The University of Sydney, Pavle Subotic Microsoft Azure, Mukund Raghothaman University of Southern California, Bernhard Scholz University of Sydney |
11:00 - 12:30 | Functional (Logic) ProgrammingPADL at The Loft Chair(s): William E. Byrd University of Alabama at Birmingham, USA | ||
11:00 30mTalk | RICE: An Optimizing Curry Compiler PADL Steven Libby University of Portland | ||
11:30 30mTalk | Embedding Functional Logic Programming in Haskell via a Compiler Plugin PADL Kai-Oliver Prott University of Kiel, Germany, Finn Teegen University of Kiel, Germany, Jan Christiansen Flensburg University of Applied Sciences, Germany DOI File Attached | ||
12:00 30mTalk | Program Synthesis Using Example Propagation PADL Niek Mulleners Utrecht University, Johan Jeuring Utrecht University, Bastiaan Heeren Open University of the Netherlands, Netherlands |
14:00 - 15:30 | |||
14:00 30mTalk | Execution Time Program Verification With Tight Bounds PADL Ana Carolina Silva FCUP, Manuel Barbosa HASLab - INESC TEC and FCUP, Mario Florido Universidade do Porto | ||
14:30 30mTalk | From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting PADL DOI File Attached | ||
15:00 30mTalk | Multiple Query Satisfiability of Constrained Horn Clauses PADL Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI |
16:00 - 17:30 | |||
16:00 30mTalk | Dynamic slicing of Reaction Systems based on assertions and monitors PADL Linda Brodo Università di Sassari, Roberto Bruni University of Pisa, Moreno Falaschi Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche, University of Siena | ||
16:30 30mTalk | Linear Algebraic Abduction with Partial Evaluation PADL DOI File Attached |