Vadim Maslov

The Omega Library interface guide

William Pugh, Tatiana Shpeisman, Vadim Maslov, 1995 .

Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise

William Pugh, Vadim Maslov, W. Pugh, 1994, CONPAR.

Lazy array data-flow dependence analysis

Vadim Maslov, Vadim Maslov, 1994, POPL '94.

Delinearization: an efficient way to break multiloop dependence equations

Vadim Maslov, Vadim Maslov, 1992, PLDI '92.