Write a Blog >>
PADL 2021
Mon 18 - Tue 19 January 2021
Online
co-located with
POPL 2021
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Program
Complete Program
Your Program
Mon 18 Jan
Tue 19 Jan
Track/Call
Organization
PADL 2021 Committees
Track Committees
Programme Chairs
Programme Committee
Contributors
People Index
Search
Series
Series
PADL 2024
PADL 2023
PADL 2022
PADL 2021
PADL 2020
PADL 2019
PADL 2018
PADL 2017
PADL
Sign in
Sign up
POPL 2021
(
series
) /
PADL 2021 (
series
) /
Online (How to POPL in 2021)
/
Room information: PADL
Venue
Online (How to POPL in 2021)
Room name
PADL
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
PADL 2021
at
PADL
Chair(s):
Dominic Orchard
University of Kent, UK
14:30
60m
Keynote
Semantics-based Synthesis in miniKanren
PADL 2021
William E. Byrd
University of Alabama at Birmingham, USA
16:00 - 17:30
Applications of Declarative Languages
PADL 2021
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 2021
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 2021
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 2021
Michael Hanus
Kiel University
18:00 - 19:30
Foundations and Programming Concepts
PADL 2021
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 2021
Paul Tarau
University of North Texas
18:30
30m
Research paper
On Adding Pattern Matching to Haskell-based Deeply Embedded Domain Specific Languages
PADL 2021
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 2
PADL 2021
at
PADL
Chair(s):
José Morales
IMDEA Software Institute
14:30
60m
Keynote
SMT-based Constraint Answer Set Solver EZSMT
PADL 2021
Yuliya Lierler
University of Nebraska
16:00 - 17:30
Declarative Approaches to Testing and Debugging
PADL 2021
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 2021
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 2021
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 2021
Jesus M. Almendros-Jimenez
Universidad de Almeria
,
Antonio Becerra-Teron
University of Almeria
18:00 - 19:30
Foundations and Programming Concepts at Work
PADL 2021
at
PADL
Chair(s):
Mario Alviano
University of Calabria
18:00
30m
Research paper
Synchronous Message-Passing with Priority
PADL 2021
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 2021
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 2021
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
Room
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
PADL
PADL 2021
Keynote 1
PADL 2021
Applications of Declarative Languages
PADL 2021
Foundations and Programming Concepts
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
PADL
PADL 2021
Keynote 2
PADL 2021
Declarative Approaches to Testing and Debugging
PADL 2021
Foundations and Programming Concepts at Work
Mon 18 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
PADL
PADL
Semantics-based Synthesis in miniKanren
14:30 - 15:30
PADL
A Logic Programming Approach to Regression Based Repair of Incorrect In ...
16:00 - 16:30
PADL
Data validation meets Answer Set Programming
16:30 - 17:00
PADL
Lightweight Declarative Server-Side Web Programming
17:00 - 17:30
PADL
A Family of Unification-oblivious Program Transformations and Their App ...
18:00 - 18:30
PADL
On Adding Pattern Matching to Haskell-based Deeply Embedded Domain Spec ...
18:30 - 19:00
Tue 19 Jan
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
PADL
PADL
SMT-based Constraint Answer Set Solver EZSMT
14:30 - 15:30
PADL
ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs
16:00 - 16:30
PADL
Causal-Consistent Reversible Debugging: Improving CauDEr
16:30 - 17:00
PADL
Declarative Debugging of XML Queries
17:00 - 17:30
PADL
Synchronous Message-Passing with Priority
18:00 - 18:30
PADL
Putting gradual types to work
18:30 - 19:00
PADL
Psamathe: A DSL with Flows for Safe Blockchain Assets (extended abstract)
19:00 - 19:30
x
Fri 26 Apr 19:07