Jérôme Dohrau

Inference for Array Programs

Alexander J. Summers, Peter Müller, Caterina Urban, 2018 .

Inference of Progressive Loop Invariants for Array Programs

Jérôme Dohrau, 2020 .

Online Makespan Scheduling with Sublinear Advice

Jérôme Dohrau, Jérôme Dohrau, 2015, SOFSEM.

Permission Inference for Array Programs pdf

Peter Müller, Caterina Urban, Alexander J. Summers, 2018, CAV.