• Next-generation Generic Programming
• Exploiting Memory Hierarchies
• Program Analysis
• Error-correcting Codes
• Project Reports

Publications

Generic programming for sparse matrix computations:

• Next-generation Generic Programming and its Application to Sparse Matrix Computations. [PS] [PDF] International Conference on Supercomputing, ACM SIGARCH, Santa Fe, New Mexico, May 2000. (With V. Kotlyar, K. Pingali and P. Stodghill.)

 
• A Framework for Sparse Matrix Code Synthesis from High-level Specifications. [PS] [PDF] SC2000, Dallas, TX, November 2000. (With N. Ahmed, K. Pingali and P. Stodghill.)

• A Generic Programming Case Study: Sparse Matrix Computations. [PS] [PDF] Submitted for publication. (With K. Pingali and P. Stodghill.)

• The Bernoulli Generic Matrix Library. [PS] [PDF] Technical Report TR2000-1808, Cornell University, Computer Science, August 2000. (With K. Pingali and P. Stodghill.)

Exploiting memory hierarchies:

Synthesizing Transformations for Locality Enhancement of Imperfectly-nested Loop Nests. [PS] [PDF] International Conference on Supercomputing, ACM SIGARCH, Santa Fe, New Mexico, May 2000. (With N. Ahmed and K. Pingali.)

 

Tiling Imperfectly-nested Loop Nests. [PS] [PDF] SC2000, Dallas, TX, November 2000. (With N. Ahmed and K. Pingali.)

 

An Analysis of Data Access Patterns in Integer Benchmarks. [PS] [PDF] HP Labs Internal Report, November 1997. (With P. Faraboschi and G. Brown.)

Program analysis:

• Left-looking to Right-looking and vice versa: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring. [PS] [PDF] European Conference on Parallel Computing, Munich (Germany), August 2000. (With V. Menon and K. Pingali.) A more detailed technical report version is also available. [PS] [PDF]

• Fractal Symbolic Analysis. [PS] [PDF] Submitted for publication. (With V. Menon and K. Pingali.)

Error-correcting codes:

Covering Radii and Weight Distribution of Coset Leaders of Binary Linear Codes. [PS] [PDF] M.S. Thesis, Department of Mathematics and Informatics, Sofia University, Bulgaria, June 1994. (In Bulgarian, thesis advisor K. Manev.)

 

On the Weight Distribution of the Leaders of Cosets for Some Linear Binary Codes. In Proceedings of the Third International Workshop on Algebraic and Combinatorial Coding Theory, Voneshta Voda, Bulgaria, June 1992. (With K. Manev.)

Project Reports

Watermarking MPEG / JPEG. (With L. Zhou.)

 

Algorithms for Control Dependence and SSA Form. (With L. Zhou.)