Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:30
Keynote 1PADL at PADL
Chair(s): Dominic Orchard University of Kent, UK
14:30
60m
Keynote
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
30m
Research 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
30m
Research 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
30m
Research paper
Lightweight Declarative Server-Side Web Programming
PADL
Michael Hanus Kiel University
18:00 - 19:30
Foundations and Programming ConceptsPADL at PADL
Chair(s): Dominic Orchard University of Kent, UK
18:00
30m
Research paper
A Family of Unification-oblivious Program Transformations and Their Applications
PADL
Paul Tarau University of North Texas
18:30
30m
Research 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 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:30 - 15:30
Keynote 2PADL at PADL
Chair(s): José Morales IMDEA Software Institute
14:30
60m
Keynote
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
30m
Research paper
ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs
PADL
Sumit Padhiyar Indian Institue Of Technology, Madras, KC Sivaramakrishnan IIT Madras
Link to publication
16:30
30m
Research 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
30m
Research paper
Declarative Debugging of XML Queries
PADL
Jesus M. Almendros-Jimenez Universidad de Almeria, Antonio Becerra-Teron University of Almeria
18:00 - 19:30
Foundations and Programming Concepts at WorkPADL at PADL
Chair(s): Mario Alviano University of Calabria
18:00
30m
Research 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
30m
Research 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
30m
Short-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

Mon 18 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change