PADL 2024
as the organisers put it
PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, databases and constraint programming, and theorem proving. PADL’24 will take place during 15-16 January 2024 as a physical (in-person) event. For each accepted paper at least one author is required to register for the conference and present the paper in person. Registration Unlike previous years, the registration for PADL’24 is handled separately from POP ...
who it's for
programming language researchers, functional programmers, logic programmers, language implementers, machine learning engineers, formal verification engineers, embedded systems engineers
topics
modular higher-order effects; asynchronous modal FRP; parsimonious chase for Datalog+/-; rule-based machine learning (FOLD-SE); answer set programming templates; direct ASP encoding for Declare; neural network verification DSL (Vehicle); kernel-grouping for CNN interpretability; Rhyme query language for nested JSON; OCaml VM on FPGA via synchronous language; marketplace order allocation with ASP; explainable ad hoc teamwork with decision trees
| title | author | length |
|---|---|---|
| Modular Higher-Order Effects | Nicolas Wu | 59m |
An implementation in Haskell called the effective library provides modular higher-order effects: it implements algebraic and scoped (higher-order) operations… | ||
| Asynchronous Reactive Programming with Modal Types in Haskell | Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam | 36m |
Async Rattus is an embedded FRP library plus a GHC compiler plugin that enforces modal typing, performs clock inference, and elaborates user stubs into… | ||
| Explanation and Knowledge Acquisition in Ad Hoc Teamwork | Hasra Dodampegama, Mohan Sridharan | 23m |
Architecture combines non‑monotonic logical reasoning (action language + answer‑set solving) with on‑the‑fly learning of fast and frugal decision trees to… | ||
| Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Archite... | Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger | 24m |
Claims novel streaming-friendly chase variants for Shy and Warded Datalog+/- and implements them in Vadalog, replacing full materialization with parsimonious… | ||
| FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explai... | Huaduo Wang, Gopal Gupta | 37m |
FOLD-SE is a rule learner that outputs default rules as an answer-set-style normal logic program, using a Magic Gini Impurity heuristic, a refined comparison… | ||
| Marketplace Logistic via Answer Set Programming | Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners | 29m |
Implements marketplace order allocation with Answer Set Programming, using ASP Chef prototype for fast encoding and visualization and a production run with the… | ||
| Rethinking Answer Set Programming Templates | Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari | 30m |
Proposes templates for Answer Set Programming that enforce predicate locality via a naming convention and automatic renaming to universally unique identifiers… | ||
| A direct ASP encoding for Declare | Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca | 27m |
Proposes a direct ASP encoding of Declare constraints that implements Declare semantics as ASP rules rather than translating to LTL or automata, manually… | ||
| Whats and Whys of Neural Network Verification (A Declarative Programming Perspec... | Ekaterina Komendantskaya | 59m |
Vehicle is a domain-specific language that specifies neural‑network properties in engineering terms and compiles them down to existing tools; it generates… | ||
| Using Logic Programming and Kernel-Grouping for Improving Interpretability of Co... | Parth Padalkar, Huaduo Wang, Gopal Gupta | 29m |
NeSyFOLD-G converts last-layer CNN kernels into a compact logic program: it clusters similar filters by cosine similarity (kernel-grouping), binarizes each… | ||
| Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures | Supun Abeysinghe, Tiark Rompf | 29m |
Rhyme is an expressive query language implemented as an embedded DSL in JavaScript that targets nested JSON and tensor workloads and compiles to executable JS… | ||
| Hardware implementation of OCaml using a synchronous functional language | Loïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux | 28m |
Éclat compiles a synchronous functional language to FPGA hardware and implements a full OCaml VM as an Éclat function: a stack‑based bytecode interpreter plus… | ||
| Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using B... | Martin Lester | 28m |
Proves that any counterexample to envy-freeness for a bounded finite cake‑cutting protocol can be found using bounded integer arithmetic rather than slow real… | ||
| Automated Interactive Domain-Specific Conversational Agents that Understand Huma... | Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta | 51m |
AutoConcierge maps utterances to structured predicates and back to sentences: uses GPT-3 to convert dialogs into predicates then runs those predicates through… | ||
| nothing matches | ||