POPL 2020 (series) / ADSL 2020 (series) /
ADSL 2020 Program
This is the ADSL 2020 program - see the full program for POPL 2020 and all affiliated events.
Filter Program
Dates
Mon 20 Jan 2020
Rooms
Conde
Tracks
ADSL
Badges
Nothing to filter
Your Program
Nothing to filter
Mon 20 JanDisplayed time zone: Saskatchewan, Central America change
Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change
09:00 - 10:00 | |||
09:00 60mTalk | Relational reasoning using concurrent separation logic ADSL Media Attached File Attached |
10:30 - 12:30 | |||
10:30 30mResearch paper | Extending the Profile Abstraction for Complete Entailment Checking of Symbolic Heaps of Bounded Treewidth ADSL File Attached | ||
11:00 30mResearch paper | Steel: scaling up memory reasoning for F* ADSL File Attached | ||
11:30 30mResearch paper | Strong-Separation Logic ADSL File Attached | ||
12:00 30mResearch paper | The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions ADSL Pre-print File Attached |
14:00 - 15:05 | |||
14:00 65mTalk | SLEdge: Bounded Model Checking in Separation Logic ADSL File Attached |
15:35 - 17:45 | |||
15:35 65mTalk | Programs Synthesis with Separation Logic ADSL Nadia Polikarpova University of California, San Diego | ||
16:40 65mTalk | Local Reasoning for Global Graph Properties ADSL Thomas Wies New York University |