ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

1 results

BOBKonf
BOB 2025 Guillaume Allais - Correct by Construction Concurrent Programs in Idris 2

Concurrent programs destructively updating shared memory are notoriously hard to get right. Concurrent separation logics are ...

44:32
BOB 2025 Guillaume Allais - Correct by Construction Concurrent Programs in Idris 2

259 views

8 months ago