This page shows all presentations of this author published in EasyChair Smart Slide.
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
Mostafa Hassan, Caterina Urban, Marco Eilers and Peter Müller
Nagini: A Static Verifier for Python
Marco Eilers and Peter Müller