Analyzing Ethereum bytecode, rather than the source code from which it was generated, is a
necessity when:(1) the source code is not available (eg, the blockchain only stores the …

Gas is a measurement unit of the computational effort that it will take to execute every single
replicated operation that takes part in the Ethereum blockchain platform. If a transaction …

This article presents parallel cost analysis, a static cost analysis targeting to over-
approximate the cost of parallel execution in distributed systems. In contrast to the standard …

The Barabasi-Albert model (BA) is designed to generate scale-free networks using the
preferential attachment mechanism. In the preferential attachment (PA) model, new nodes …

Efficiency is a fundamental property of any type of program, but it is even more so in the
context of the programs executing on the blockchain (known as smart contracts). This is …

We present a novel static analysis to infer the parallel cost of distributed systems. Parallel
cost differs from the standard notion of serial cost by exploiting the truly concurrent execution …

We propose a static analysis technique that computes upper bounds of virtual machine
usages in a concurrent language with explicit acquire and release operations of virtual …

Static analysis tools, such as resource analyzers, give useful information on software
systems, especially in real-time and safety-critical applications. Therefore, the question of …

By following a rely-guarantee style of reasoning, we present novel termination and cost
analyses for concurrent programs that, in order to prove termination or infer the cost of a …

During the execution of multi-threaded and transactional programs, when new threads are
created or new transactions are started, memory areas called logs are implicitly allocated to …