Program - POPL 2020

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

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 programSpecify 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 20 Jan
Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00	Morning KeynoteADSL at Conde

09:00 60m Talk		Relational reasoning using concurrent separation logic ADSL A: Robbert Krebbers Delft University of Technology Media Attached File Attached

10:30 - 12:30	Research PapersADSL at Conde

10:30 30m Research paper		Extending the Profile Abstraction for Complete Entailment Checking of Symbolic Heaps of Bounded Treewidth ADSL A: Florian Zuleger TU Vienna, A: Jens Katelaan File Attached
11:00 30m Research paper		Steel: scaling up memory reasoning for F* ADSL Denis Merigoux INRIA, Aymeric Fromherz Carnegie Mellon University File Attached
11:30 30m Research paper		Strong-Separation Logic ADSL A: Florian Zuleger TU Vienna, A: Jens Katelaan File Attached
12:00 30m Research paper		The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions ADSL Mnacho Echenim , Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes, Nicolas Peltier Pre-print File Attached

14:00 - 15:05	Afternoon KeynoteADSL at Conde

14:00 65m Talk		SLEdge: Bounded Model Checking in Separation Logic ADSL A: Josh Berdine Facebook File Attached

15:35 - 17:45	Closing SessionADSL at Conde

15:35 65m Talk		Programs Synthesis with Separation Logic ADSL Nadia Polikarpova University of California, San Diego
16:40 65m Talk		Local Reasoning for Global Graph Properties ADSL Thomas Wies New York University

ADSL 2020 Program

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

ADSL 2020 Program

Switch Program View

Program Display Configuration

Mon 20 JanDisplayed time zone: Saskatchewan, Central America change

Get Calendar (iCal)

Mon 20 Jan
Displayed time zone: Saskatchewan, Central America change