Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online

Conference Dates
Conference Dates are in time zone (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Mon 18 Jan

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

14:30 - 15:30
Keynote 1PADL at PADL
Chair(s): Dominic OrchardUniversity of Kent, UK
14:30
60m
Keynote
Semantics-based Synthesis in miniKanren
PADL
William E. ByrdUniversity of Alabama at Birmingham, USA
16:00 - 17:30
Applications of Declarative LanguagesPADL at PADL
Chair(s): Ekaterina KomendantskayaHeriot-Watt University, UK
16:00
30m
Research paper
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States
PADL
Fabio TardivoNew Mexico State University, Loc PhamNew Mexico State University, Tran Cao SonNew Mexico State University, Enrico PontelliNew Mexico State University
16:30
30m
Research paper
Data validation meets Answer Set Programming
PADL
Mario AlvianoUniversity of Calabria, Carmine DodaroDepartment of Mathematics and Computer Science, University of Calabria, Arnel ZamaylaUniversity of Calabria, Italy
17:00
30m
Research paper
Lightweight Declarative Server-Side Web Programming
PADL
Michael HanusKiel University
18:00 - 19:30
Foundations and Programming ConceptsPADL at PADL
Chair(s): Dominic OrchardUniversity of Kent, UK
18:00
30m
Research paper
A Family of Unification-oblivious Program Transformations and Their Applications
PADL
Paul TarauUniversity of North Texas
18:30
30m
Research paper
On Adding Pattern Matching to Haskell-based Deeply Embedded Domain Specific Languages
PADL
David YoungUniversity of Kansas, USA, Mark GrebeUniversity of Central Missouri, USA, Andy GillUniversity of Kansas, USA

Conference Day
Tue 19 Jan

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

14:30 - 15:30
Keynote 2PADL at PADL
Chair(s): José MoralesIMDEA Software Institute
14:30
60m
Keynote
SMT-based Constraint Answer Set Solver EZSMT
PADL
Yuliya LierlerUniversity of Nebraska
16:00 - 17:30
Declarative Approaches to Testing and DebuggingPADL at PADL
Chair(s): Paul TarauUniversity of North Texas
16:00
30m
Research paper
ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs
PADL
Sumit PadhiyarIndian Institue Of Technology, Madras, KC SivaramakrishnanIIT Madras
Link to publication
16:30
30m
Research paper
Causal-Consistent Reversible Debugging: Improving CauDEr
PADL
Juan José González-AbrilMiST, VRAIN, Universitat Politecnica de Valencia, German VidalUniversitat Politecnica de Valencia
17:00
30m
Research paper
Declarative Debugging of XML Queries
PADL
Jesus M. Almendros-JimenezUniversidad de Almeria, Antonio Becerra-TeronUniversity of Almeria
18:00 - 19:30
Foundations and Programming Concepts at WorkPADL at PADL
Chair(s): Mario AlvianoUniversity of Calabria
18:00
30m
Research paper
Synchronous Message-Passing with Priority
PADL
Cheng-En ChuangUniversity at Buffalo, Grant IraciUniversity at Buffalo, Lukasz ZiarekSUNY Buffalo, USA
18:30
30m
Research paper
Putting gradual types to work
PADL
Bhargav ShivkumarState University of New York - University at Buffalo, Enrique NaudonBloomberg, Lukasz ZiarekSUNY Buffalo, USA
19:00
30m
Short-paper
Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
PADL
Reed OeiUniversity of Illinois at Urbana-Champaign, Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University
File Attached