ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020

Below is the program for Thursday 23 July. Times are displayed in GMT+02:00 (Amsterdam) time.

FTfJP shall be on Zoom, and can be joined with meeting ID: 945 1730 7570.

Session One
Session Two
14:05 – 14:35: An inductive abstract semantics for coFJ (full paper)
Session Three
15:30 – 16:30: Prusti – Deductive Verification for Rust (invited tutorial)

In case you’d like to try out Prusti locally on your machine and work on the examples live during the tutorial, you need to do the following:

  1. Download Visual Studio Code (free, open-source, all major platforms)
  2. Set up the Prusti Extension by following the instructions here (be careful to install the dependencies listed at the bottom of the page): https://marketplace.visualstudio.com/items?itemName=viper-admin.prusti-assistant

The examples used during the tutorial are here: http://www.cs.ubc.ca/~alexsumm/prusti-tutorial-examples.zip