EasyChair Smart SlideDocs/Log in
Author: Caterina Urban

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

Static Analysis of Data Science Software

Static Analysis of Data Science Software

Caterina Urban

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

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