Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Additional informationThere is no additional information of this room 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
Times are displayed in 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 - 15:30
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 - 16:30
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 - 17:00
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 - 17:30
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 - 18:30
Research paper
A Family of Unification-oblivious Program Transformations and Their Applications
PADL
Paul TarauUniversity of North Texas
18:30 - 19:00
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

Tue 19 Jan
Times are displayed in 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 - 15:30
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 - 16:30
Research paper
ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs
PADL
Sumit PadhiyarIndian Institue Of Technology, Madras, KC SivaramakrishnanIIT Madras
16:30 - 17:00
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 - 17:30
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 - 18:30
Research paper
Synchronous Message-Passing with Priority
PADL
Cheng-En ChuangUniversity at Buffalo, Grant IraciUniversity at Buffalo, Lukasz ZiarekSUNY Buffalo, USA
18:30 - 19:00
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 - 19:30
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

Mon 18 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 19 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change