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

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

Sound Automation of Magic Wands

Sound Automation of Magic Wands

Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Peter Müller and Alexander J. Summers

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: 5
Copyright © 2002 – 2024 EasyChair