EasyChair Smart SlideHelp/Log in
Author: Peter Müller

This page shows all presentations of this author published in EasyChair Smart Slide.

Permission Inference for Array Programs

Permission Inference for Array Programs

Jérôme Dohrau, Alexander J Summers, Caterina Urban, Severin Münger and Peter Müller

Permission Inference for Array Programs

Permission Inference for Array Programs

Jérôme Dohrau, Alexander J Summers, Caterina Urban, Severin Münger and Peter Müller

MaxSMT-Based Type Inference for Python 3

MaxSMT-Based Type Inference for Python 3

Mostafa Hassan, Caterina Urban, Marco Eilers and Peter Müller

Nagini: A Static Verifier for Python

Nagini: A Static Verifier for Python

Marco Eilers and Peter Müller

Presentations in this collection: 4
Copyright © 2002 – 2021 EasyChair