Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021
Online
Toggle navigation
Attending
Venue: Online (How to POPL in 2021)
Supporting POPL
Student Volunteers
Code of Conduct
Registration
FAQ
Program
POPL Program
Your Program
Sun 17 Jan
Mon 18 Jan
Tue 19 Jan
Wed 20 Jan
Thu 21 Jan
Fri 22 Jan
Tracks
POPL 2021
POPL
Artifact Evaluation
Workshops and Co-located Events
TutorialFest
Student Research Competition
Student Volunteers
POPL Meetups
Co-hosted Conferences
CPP
CPP
CPP
Lightning Talks
PLMW
VMCAI
Workshops
CoqPL
LAFI
PEPM
PriSC
Co-hosted Symposia
PADL
Organization
POPL 2021 Committees
Organizing Committee
Track Committees
POPL
Artifact Evaluation
TutorialFest
Student Research Competition
Student Volunteers
Contributors
People Index
Co-hosted Conferences
CPP
Organization Committee
Program Committee
Steering Committee
PLMW
Invited Speakers
Panelists
Organizing Committee
VMCAI
Invited Speakers
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Invited speaker
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PriSC
Program Committee
Steering Committee
Co-hosted Symposia
PADL
Programme Chairs
Programme Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 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
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 Languages
PADL
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 Concepts
PADL
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 2
PADL
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 Debugging
PADL
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 Work
PADL
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
Room
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
PADL
PADL
Keynote 1
PADL
Applications of Declarative Languages
PADL
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
Keynote 2
PADL
Declarative Approaches to Testing and Debugging
PADL
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
Thu 21 Nov 10:12