We present a novel technique for static race detection in Java programs, comprised of a
series of stages that employ a combination of static analyses to successively reduce the …

In runtime monitoring, a programmer specifies a piece of code to execute when a trace of
events occurs during program execution. Our work is based on tracematches, an extension …

We introduce an alternative Lempel-Ziv text parsing, LZ-End, that converges to the entropy
and in practice gets very close to LZ77. LZ-End forces sources to finish at the end of a …

X10 is a modern object-oriented programming language designed for high performance,
high productivity programming of parallel and multi-core computer systems. Compared to …

We present a core calculus with two of X10's key constructs for parallelism, namely async
and finish. Our calculus forms a convenient basis for type systems and static analyses for …

The allocation of lock objects to critical sections in concurrent programs affects both
performance and correctness. Recent work explores automatic lock allocation, aiming …

Modeling of runtime threads in static analysis of concurrent programs plays an important role
in both reducing the complexity and improving the precision of the analysis. Modeling based …

We present a new algorithm for checking probabilistic noninterference in concurrent
programs. The algorithm, named RLSOD, is based on the Low-Security Observational …

This paper presents a may-happen-in-parallel (MHP) analysis for OO languages based on
concurrent objects. In this concurrency model, objects are the concurrency units such that …

We present two scalable algorithms for identifying program locations that access thread-
shared data in concurrent programs. The static algorithm, though simple, and without …