Delinearization: An Efficient Way to Break Multiloop Dependence Equations. - Vadim Maslov (PLDI, 1992)

Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise. - Vadim Maslov; William W. Pugh (CONPAR, 1994)

Lazy Array Data-Flow Dependence Analysis. - Vadim Maslov (POPL, 1994)

Enhancing Array Dataflow Dependence Analysis with On-demand Global Value Propagation. - Vadim Maslov (International Conference on Supercomputing, 1995)