Foto del docente

Cosimo Laneve

Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

News

Home > News > Latest research papers

Latest research papers

Cosimo Laneve: A lightweight deadlock analysis for programs with threads and reentrant locks, January 2018. The extended abstract (e.g. the first 16 pages) will appear in the Proceedings of FM 2018.

Cosimo Laneve and Abel Garcia: Deadlock detection of Java bytecode, November 2017. The extended abstract (e.g. the first 16 pages) will appear in the Proceedings of LOPSTR 2017.

Published on: January 24 2018