Write a Blog >>
VenueJW Marriott New Orleans
Room nameMuses
Floor8
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Saskatchewan, Central America change

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

Mon 20 Jan
Times are displayed in time zone: Saskatchewan, Central America change