A Dataflow Architecture for OR-Parallel Execution of Logic Programs. - A. V. S. Sastry; Lalit M. Patnaik (ICPP (1), 1988)

OR-Parallel Evaluation of Logic Programs on a Multi-Ring Dataflow Machine. - A. V. S. Sastry; Lalit M. Patnaik (New Gener. Comput., 1991)

Towards an Efficient Compile-Time Granularity Analysis Algorithm. - Xiaoxiong Zhong; Evan Tick; S. Duvvuru; L. Hansen; A. V. S. Sastry; R. Sundararajan (FGCS, 1992)

Variable Threadedness Analysis for Concurrent Logic Programs. - R. Sundararajan; A. V. S. Sastry; Evan Tick (JICSLP, 1992)

A Compile-Time Memory-Reuse Scheme for Concurrent Logic Programs. - S. Duvvuru; R. Sundararajan; Evan Tick; A. V. S. Sastry; L. Hansen; Xiaoxiong Zhong (IWMM, 1992)

Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates. - A. V. S. Sastry; William D. Clinger; Zena M. Ariola (FPCA, 1993)

Parallel Destructive Updating in Strict Functional Languages. - A. V. S. Sastry; William D. Clinger (LISP and Functional Programming, 1994)

A New Algorithm for Scalar Register Promotion based on SSA Form. - A. V. S. Sastry; Roy Dz-Ching Ju (PLDI, 1998)