EasyChair Smart SlideUser guide
Author: Alexander J Summers

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

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair