Foto del docente

Cosimo Laneve

Full Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Useful contents

SOFTWARE DEVELOPED BY COSIMO's GROUP

  • The STIPULA Project -- Development of a programming language for legal contracts and of its toolchain. The whole toolchain is available here on GitHub. In particular, Adele Veschetti has developed the interpreter, Elia Venturi has prototyped the graphical interface, Samuele Evangelisti has developed the unreachability analyzer,  and Erik Dervishi has realised the web interface integrating the tools.

  • The JaDA Project -- Development of a full-fledged deadlock analyser for the Java programming language. The first release of the Java Deadlock Analyzer is available as a web service at JaDA, Abel Garcia and Cosimo Laneve, October 2016.

  • Static Resource Analyzer -- Static Resource Analyzer for ABS, Abel Garcia, Elena Giachino, Cosimo Laneve, Michael Lienhardt, September 2015. 

  • DF4ABS -- Deadlock Framework for ABS, Abel Garcia, Elena Giachino, Cosimo Laneve, Michael Lienhardt, March 2013 -- April 2014.

  • SDA -- Static Deadlock Analyzer for ABS (OLD SITE), Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, March 2013.

  • The PiDuce Machine, Samuele Carpineti, Cosimo Laneve, Luca Padovani, May 2007.

  • The Java Bytecode Verifier with Structured Locking Checks, Gaetano Bigliardi and Cosimo Laneve, April 2003. Please, read the README file.