Write a Blog >>
PADL 2020
Mon 20 - Tue 21 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameMuses
Floor8
Room InformationNo extra information available
Program

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
Building Program Reasoning Tools using LLVM and Z3 (I)POPL TutorialFest at Muses
09:00
60m
Tutorial
[T1] Building Program Reasoning Tools using LLVM and Z3
POPL TutorialFest
Elizabeth Dinella University of Pennsylvania, Pardis Pashakhanloo University of Pennsylvania, Anthony Canino , Mayur Naik University of Pennsylvania
Pre-print
10:30 - 12:30
Building Program Reasoning Tools using LLVM and Z3 (II)POPL TutorialFest at Muses
10:30
2h
Tutorial
[T1] Building Program Reasoning Tools using LLVM and Z3
POPL TutorialFest
Elizabeth Dinella University of Pennsylvania, Pardis Pashakhanloo University of Pennsylvania, Anthony Canino , Mayur Naik University of Pennsylvania
Pre-print
14:00 - 15:05
Proving Semantic Type Soundness in Iris (I)POPL TutorialFest at Muses
14:00
65m
Tutorial
[T4] Proving Semantic Type Soundness in Iris
POPL TutorialFest
Derek Dreyer MPI-SWS, Robbert Krebbers Delft University of Technology, Amin Timany imec-Distrinet KU-Leuven
Link to publication File Attached
15:35 - 17:35
Proving Semantic Type Soundness in Iris (II)POPL TutorialFest at Muses
15:35
2h
Tutorial
[T4] Proving Semantic Type Soundness in Iris
POPL TutorialFest
Derek Dreyer MPI-SWS, Robbert Krebbers Delft University of Technology, Amin Timany imec-Distrinet KU-Leuven
Link to publication File Attached

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change