1 citations · 1 across the 6 of their papers we have counts for
3 papers · 1 filter
Serverless Scheduling Policies based on Cost Analysis
Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve +3
Current proprietary and open-source serverless platforms follow opinionated, hardcoded scheduling policies to deploy the functions to be executed over the available workers. Such p…
Pacta sunt servanda: legal contracts in Stipula
Silvia Crafa, Cosimo Laneve, Giovanni Sartor
There is a growing interest in running legal contracts on digital systems, at the same time, it is important to understand to what extent software contracts may capture legal conte…
Deadlock detection of Java Bytecode
Abel Garcia, Cosimo Laneve
This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the…