Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts:
full-fledged inter-communicating programs that capture the transaction logic of an account …

In today's agile world, developers often rely on continuous integration pipelines to help build
and validate their changes by executing tests in an efficient manner. One of the significant …

Pointer analysis is a fundamental static program analysis, with a rich literature and wide
applications. The goal of pointer analysis is to compute an approximation of the set of …

The rise of smart contracts-autonomous applications running on blockchains-has led to a
growing number of threats, necessitating sophisticated program analysis. However, smart …

Java Virtual Machine (JVM) provides the runtime environment for Java programs, which
allows Java to be" write once, run anywhere". JVM plays a decisive role in the correctness of …

Testing multithreaded programs is a hard problem, because it is challenging to expose
those rare interleavings that can trigger a concurrency bug. We propose a new thread …

We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded
programs. Our technique runs in two stages. In the first stage, we use an imprecise dynamic …

Context sensitivity is an essential technique for ensuring high precision in Java pointer
analyses. It has been observed that applying context sensitivity partially, only on a select …

Ethereum is a distributed blockchain platform, serving as an ecosystem for smart contracts:
full-fledged intercommunicating programs that capture the transaction logic of an account. A …

Context sensitivity is an essential technique for ensuring high precision in static analyses. It
has been observed that applying context sensitivity partially, only on a select subset of the …