POPL 2021 (series) / PADL 2021 (series) /
PADL 2021 Program
This is the PADL 2021 program - see the full program for POPL 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 18 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 15:30 | |||
14:30 60mKeynote | Semantics-based Synthesis in miniKanren PADL William E. Byrd University of Alabama at Birmingham, USA |
16:00 - 17:30 | Applications of Declarative LanguagesPADL at PADL Chair(s): Ekaterina Komendantskaya Heriot-Watt University, UK | ||
16:00 30mResearch paper | A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States PADL Fabio Tardivo New Mexico State University, Loc Pham New Mexico State University, Tran Cao Son New Mexico State University, Enrico Pontelli New Mexico State University | ||
16:30 30mResearch paper | Data validation meets Answer Set Programming PADL Mario Alviano University of Calabria, Carmine Dodaro Department of Mathematics and Computer Science, University of Calabria, Arnel Zamayla University of Calabria, Italy | ||
17:00 30mResearch paper | Lightweight Declarative Server-Side Web Programming PADL Michael Hanus Kiel University |
18:00 - 19:30 | |||
18:00 30mResearch paper | A Family of Unification-oblivious Program Transformations and Their Applications PADL Paul Tarau University of North Texas | ||
18:30 30mResearch paper | On Adding Pattern Matching to Haskell-based Deeply Embedded Domain Specific Languages PADL David Young University of Kansas, USA, Mark Grebe University of Central Missouri, USA, Andy Gill University of Kansas, USA |
Tue 19 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 19 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:30 - 15:30 | |||
14:30 60mKeynote | SMT-based Constraint Answer Set Solver EZSMT PADL Yuliya Lierler University of Nebraska |
16:00 - 17:30 | Declarative Approaches to Testing and DebuggingPADL at PADL Chair(s): Paul Tarau University of North Texas | ||
16:00 30mResearch paper | ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs PADL Link to publication | ||
16:30 30mResearch paper | Causal-Consistent Reversible Debugging: Improving CauDEr PADL Juan José González-Abril MiST, VRAIN, Universitat Politecnica de Valencia, German Vidal Universitat Politecnica de Valencia | ||
17:00 30mResearch paper | Declarative Debugging of XML Queries PADL |
18:00 - 19:30 | Foundations and Programming Concepts at WorkPADL at PADL Chair(s): Mario Alviano University of Calabria | ||
18:00 30mResearch paper | Synchronous Message-Passing with Priority PADL Cheng-En Chuang University at Buffalo, Grant Iraci University at Buffalo, Lukasz Ziarek SUNY Buffalo, USA | ||
18:30 30mResearch paper | Putting gradual types to work PADL Bhargav Shivkumar State University of New York - University at Buffalo, Enrique Naudon Bloomberg, Lukasz Ziarek SUNY Buffalo, USA | ||
19:00 30mShort-paper | Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract) PADL Reed Oei University of Illinois at Urbana-Champaign, Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University File Attached |