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 number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 20 Jan

POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Building Program Reasoning Tools using LLVM and Z3 (I) at Muses
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Elizabeth DinellaUniversity of Pennsylvania, Pardis PashakhanlooUniversity of Pennsylvania, Anthony Canino, Mayur NaikUniversity of Pennsylvania
Pre-print
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Building Program Reasoning Tools using LLVM and Z3 (II) at Muses
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Elizabeth DinellaUniversity of Pennsylvania, Pardis PashakhanlooUniversity of Pennsylvania, Anthony Canino, Mayur NaikUniversity of Pennsylvania
Pre-print
POPL-2020-tutorialfest
14:00 - 15:05: TutorialFest - Proving Semantic Type Soundness in Iris (I) at Muses
POPL-2020-tutorialfest14:00 - 15:05
Tutorial
Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven
Link to publication File Attached
POPL-2020-tutorialfest
15:35 - 17:35: TutorialFest - Proving Semantic Type Soundness in Iris (II) at Muses
POPL-2020-tutorialfest15:35 - 17:35
Tutorial
Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven
Link to publication File Attached