Publications by Type

Journal Publications

• Empirical Performance-Model Driven Data Layout Optimization and Library Call Selection for Tensor Contraction Expressions
  Q. Lu, X. Gao, S. Krishnamoorthy, G. Baumgartner, J. Ramanujam, P. Sadayappan. Journal of Parallel and Distributed Computing, Vol. 72, No. 3, March 2012, pp. 338-352, doi: 10.1016/j.jpdc.2011.09.006.
• Memory-Optimal Evaluation of Expression Trees Involving Large Objects
  C. Lam, T. Rauber, G. Baumgartner, D. Cociorva, P. Sadayappan. Computer Languages, Systems & Structures, Vol. 37, No. 2, July 2011, pp. 63-75, doi: 10.1016/j.cl.2010.09.003.
• Performance Optimization of Tensor Contraction Expressions for Many-Body Methods in Quantum Chemistry
  A. Hartono, Q. Lu, T. Henretty, S. Krishnamoorthy, H. Zhang, G. Baumgartner, D.E. Bernholdt, M. Nooijen, R.M. Pitzer, J. Ramanujam, P. Sadayappan. Journal of Physical Chemistry A, Vol. 113, No. 45, September 2009, pp. 12715-12723.
• Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations
  X. Gao, S. Krishnamoorthy, S.K. Sahoo, C. Lam, G. Baumgartner, J. Ramanujam, P. Sadayappan. Concurrency and Computation: Practice and Experience, Vol. 19, No. 18, December 2007, pp. 2425-2443.
• Layout Transformation Support for the Disk Resident Arrays Framework
  S. Krishnamoorthy, G. Baumgartner, C. Lam, J. Nieplocha, P. Sadayappan. Journal of Supercomputing, Vol. 36, No. 2, May 2006, pp. 153-170.
• Efficient Synthesis of Out-of-Core Algorithms Using a Nonlinear Optimization Solver
  S. Krishnan, S. Krishnamoorthy, G. Baumgartner, C. Lam, J. Ramanujam, P. Sadayappan, V. Choppella. Journal of Parallel and Distributed Computing, Vol. 66, No. 5, May 2006, pp. 659-673.
• Efficient Parallel Out-of-Core Matrix Transposition
  S. Krishnamoorthy, G. Baumgartner, D. Cociorva, C. Lam, P. Sadayappan. International Journal on High Performance Computing and Networking, Vol. 2, No. 2/3/4, 2006, pp. 110-119.
• Automatic Code Generation for Many-Body Electronic Structure Methods: The Tensor Contraction Engine
  A. Auer, G. Baumgartner, D.E. Bernholdt, A. Bibireata, V. Choppella, D. Cociorva, X. Gao, R.J. Harrison, A. Hartono, S. Krishnamoorthy, S. Krishnan, C. Lam, Q. Lu, M. Nooijen, R.M. Pitzer, J. Ramanujam, P. Sadayappan, A. Sibiryakov. Molecular Physics, Vol. 104, No. 2, January 2006, pp. 211-228.
• Self-Organizing Scheduling on the Organic Grid
  A.J. Chakravarti, G. Baumgartner, M. Lauria. International Journal on High-Performance Computing Applications, Vol. 20, No. 1, January 2006, pp. 115-130.
• The Organic Grid: Self-Organizing Computation on a Peer-to-Peer Network
  A.J. Chakravarti, G. Baumgartner, M. Lauria. IEEE Transactions on Systems, Man, and Cybernetics, Part A, Vol. 35, No. 3, May 2005, pp. 373-384.
• Synthesis of High-Performance Parallel Programs for a Class of Ab Initio Quantum Chemistry Models
  G. Baumgartner, A. Auer, D.E. Bernholdt, A. Bibireata, V. Choppella, D. Cociorva, X. Gao, R.J. Harrison, S. Hirata, S. Krishnamoorthy, S. Krishnan, C. Lam, Q. Lu, M. Nooijen, R.M. Pitzer, J. Ramanujam, P. Sadayappan, A. Sibiryakov. Proceedings of the IEEE, Vol. 93, No. 2, February 2005, pp. 276-292.
• An Integrated Virtual Learning System for the Development of Motor Drive Systems
  A. Keyhani, M.N. Marwali, L.E. Higuera, G. Athalye, G. Baumgartner. IEEE Transactions on Power Systems, Vol. 17, No. 1, February 2002, pp. 1-6.
• Safe Structural Conformance for Java
  K. Läufer, G. Baumgartner, V.F. Russo. Computer Journal, Vol. 43, No. 6, 2000, pp. 469-481. Also available as Technical Report OSU-CISRC-6/98-TR20, Dept. of Computer and Information Science, The Ohio State University, June 1998.
• Implementing Signatures for C++
  G. Baumgartner, V.F. Russo. ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 19, No. 1, January 1997, pp. 153-187.
• Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++
  G. Baumgartner, V.F. Russo. Software - Practice & Experience, Vol. 25, No. 8, pp. 863-889, August 1995. Also available as Technical Report CSD-TR-95-051, Dept. of Computer Sciences, Purdue University, August 1995.

Conference Publications

• Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations
  A. Hartono, Q. Lu, X. Gao, S. Krishnamoorthy, M. Nooijen, G. Baumgartner, D.E. Bernholdt, V. Choppella, R.M. Pitzer, J. Ramanujam, A. Rountev, P. Sadayappan. In V.N. Alexandrov, G.D. van Albada, P.M.A. Sloot, J.J. Dongarra (eds.): Proceedings of the International Conference on Computational Science 2006 (ICCS '06), Part I, Reading, United Kingdom, 28-31 May 2006. Lecture Notes in Computer Science, Vol. 3991, Springer-Verlag, 2006, pp. 267-275.
• Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations
  X. Gao, S. Krishnamoorthy, S.K. Sahoo, C. Lam, G. Baumgartner, J. Ramanujam, P. Sadayappan. In E. Ayguadé, G. Baumgartner, J. Ramanujam, P. Sadayappan (eds.), Proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing (LCPC '05), Hawthorne, New York, 20-22 October 2005. Lecture Notes in Computer Science, Vol. 4339, Springer-Verlag, 2006, pp. 215-229.
• Performance Modeling and Optimization of Parallel Out-of-Core Tensor Contractions
  X. Gao, S.K. Sahoo, Q. Lu, G. Baumgartner, C. Lam, J. Ramanujam, P. Sadayappan. In Proceedings of the ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP '05), Chicago, Illinois, 15-17 June 2005, pp. 266-276.
• Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations
  A. Hartono, A. Sibiryakov, M. Nooijen, G. Baumgartner, D.E. Bernholdt, S. Hirata, C. Lam, R.M. Pitzer, J. Ramanujam, P. Sadayappan, In Proceedings of the International Conference on Computational Science 2005 (ICCS '05), Atlanta, Georgia, 22-25 May 2005, Part I. Lecture Notes in Computer Science, Vol. 3514, Springer-Verlag, pp. 155-164.
• Efficient Layout Transformation Support for Disk-based Multidimensional Arrays
  S. Krishnamoorthy, G. Baumgartner, C. Lam, J. Nieplocha, P. Sadayappan. In L. Bougé, V.K. Prasanna (eds.), Proceedings of the 11th Annual International Conference on High-Performance Computing (HiPC '04), Bangalore, India, 19-22 December 2004. In Lecture Notes in Computer Science, Vol. 3296, Springer-Verlag, pp. 386-398.
• Application-Specific Scheduling for the Organic Grid
  A.J. Chakravarti, G. Baumgartner, M. Lauria. In Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing (Grid '04), Pittsburgh, Pennsylvania, 8 November 2004, pp. 146-155.
  Also available as Technical Report OSU-CISRC-4/04-TR23, Dept. of Computer and Information Science, The Ohio State University, April 2004.
• Empirical Performance-Model Driven Data Layout Optimization
  Q. Lu, X. Gao, S. Krishnamoorthy, G. Baumgartner, J. Ramanujam, P. Sadayappan. In R. Eigenmann, Z. Li, S. Midkiff (eds.), Proceedings of the 17th International Workshop on Languages and Compilers for Parallel Computing (LCPC '04), West Lafayette, Indiana, 22-25 September 2004. Lecture Notes in Computer Science, Vol. 3602, Springer-Verlag, 2005, pp. 72-86.
• The Organic Grid: Self-Organizing Computation on a Peer-to-Peer Network
  A.J. Chakravarti, G. Baumgartner, M. Lauria. In Proceedings of the First International Conference on Autonomic Computing (ICAC '04), New York, NY, 17-18 May 2004, IEEE Computer Society Press, pp. 96-103.
  An extended version of this paper is available as Technical Report OSU-CISRC-10/03-TR55, Dept. of Computer and Information Science, The Ohio State University, October 2003.
• Efficient Synthesis of Out-of-Core Algorithms Using a Nonlinear Optimization Solver
  S. Krishnan, S. Krishnamoorthy, G. Baumgartner, C. Lam, J. Ramanujam, P. Sadayappan, V. Choppella. In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS '04), Santa Fe, New Mexico, 26-30 April 2004. IEEE Computer Society Press, Abstract p. 34b, 10 pages. Best paper award.
• Data Locality Optimization for Synthesis of Efficient Out-of-Core Algorithms
  S. Krishnan, S. Krishnamoorthy, G. Baumgartner, D. Cociorva, C. Lam, P. Sadayappan, J. Ramanujam, D.E. Bernholdt, V. Choppella. In Proceedings of the International Conference on High-Performance Computing (HiPC '03), Hyderabad, India, 17-20 December 2003. Lecture Notes in Computer Science, Vol. 2913, Springer-Verlag, pp. 406-417. Best paper award.
• Efficient Parallel Out-of-Core Matrix Transposition
  S. Krishnamoorthy, G. Baumgartner, D. Cociorva, C. Lam, P. Sadayappan. In Proceedings of the IEEE International Conference on Cluster Computing (Cluster '03), Hong Kong, China, 1-4 December 2003. IEEE Computer Society Press, pp. 300-307.
• Implementation of Strong Mobility for Multi-Threaded Agents in Java
  A.J. Chakravarti, X. Wang, J.O. Hallstrom, G. Baumgartner. In Proceedings of the 2003 International Conference on Parallel Processing (ICPP '03), Koahsiung, Taiwan, 6-9 October 2003, IEEE Computer Society Press, pp. 321-330.
  An extended version of this paper is available as Technical Report OSU-CISRC-2/03-TR06, Dept. of Computer and Information Science, The Ohio State University, October 2003.
• Memory-Constrained Data Locality Optimization for Tensor Contractions
  A. Bibireata, S. Krishnan, G. Baumgartner, D. Cociorva, C. Lam, P. Sadayappan, J. Ramanujam, D.E. Bernholdt, V. Choppella. In L. Rauchwerger (ed.), Proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing (LCPC '03), College Station, Texas, 2-4 October 2003. Lecture Notes in Computer Science, Vol. 2958, Springer-Verlag, 2004, pp. 93-108.
• Global Communication Optimization for Tensor Contraction Expressions under Memory Constraints
  D. Cociorva, X. Gao, S. Krishnan, G. Baumgartner, C. Lam, P. Sadayappan, J. Ramanujam. In Proceedings of the 2003 International Parallel and Distributed Processing Symposium (IPDPS '03), Nice, France, 22-26 April 2003. IEEE Computer Society Press, Abstract p. 37b, 8 pages.
• A High-Level Approach to Synthesis of High-Performance Codes for Quantum Chemistry
  G. Baumgartner, D.E. Bernholdt, D. Cociorva, R.J. Harrison, S. Hirata, C. Lam, M. Nooijen, R.M. Pitzer, J. Ramanujam, P. Sadayappan. In Proceedings of Supercomputing 2002, Baltimore, Maryland, 16-22 November 2002. IEEE Computer Society Press, Abstract p. 5, 10 pages.
• Memory-Constrained Communication Minimization for a Class of Array Computations
  D. Cociorva, G. Baumgartner, C. Lam, P. Sadayappan, J. Ramanujam. In B. Pugh, C. Tseng (eds.), Proceedings of the 15th International Workshop on Languages and Compilers for Parallel Computing (LCPC '02), College Park, Maryland, 25-27 July 2002. Lecture Notes in Computer Science, Vol. 2481, Springer-Verlag, 2005, pp. 1-15.
• Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations
  D. Cociorva, G. Baumgartner, C. Lam, P. Sadayappan, J. Ramanujam, M. Nooijen, D.E. Bernholdt, R.J. Harrison. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI '02), Berlin, Germany, 17-19 June 2002, pp. 177-186.
• A Performance Optimization Framework for Compilation of Tensor Contraction Expressions into Parallel Programs
  G. Baumgartner, D.E. Bernholdt, D. Cociorva, R.J. Harrison, C. Lam, M. Nooijen, J. Ramanujam, P. Sadayappan. 7th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS '02), In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS '02), Fort Lauderdale, Florida, 15 April 2002, IEEE Computer Society, pp. 106-114.
• Towards Automatic Synthesis of High-Performance Codes for Electronic Structure Calculations: Data Locality Optimization
  D. Cociorva, J. Wilkins, G. Baumgartner, P. Sadayappan, J. Ramanujam, M. Nooijen, D.E. Bernholdt, R.J. Harrison. In Proceedings of the International Conference on High-Performance Computing (HiPC '01), Hyderabad, India, 17-21 December 2001. Lecture Nodes in Computer Science, Vol. 2228, Springer-Verlag, pp. 237-248.
• Loop Optimizations for a Class of Memory-Constrained Computations
  D. Cociorva, J. Wilkins, C. Lam, G. Baumgartner, P. Sadayappan, J. Ramanujam. In Proceedings of the 15th ACM International Conference on Supercomputing (ICS '01), Sorrento, Italy, 16-21 June 2001, pp. 103-113.
• Compiler and Tool Support for Debugging Object Protocols
  S. Butkevich, M. Renedo, G. Baumgartner, M. Young. In Proceedings of the 8th International Symposium on the Foundations of Software Engineering (FSE-8/ACM SIGSoft 2000), San Diego, California, 6-10 November 2000, pp. 50-59.
• Memory-Optimal Evaluation of Expression Trees Involving Large Objects
  C. Lam, D. Cociorva, G. Baumgartner, P. Sadayappan. In Proceedings of the 1999 International Conference on High Performance Computing (HiPC '99), Calcutta, India, 17-20 December 1999, IEEE Computer Society. Lecture Notes in Computer Science, Vol. 1745, Springer-Verlag, pp. 103-110.
• Optimization of Memory Usage Requirement for a Class of Loops Implementing Multi-Dimensional Integrals
  C. Lam, D. Cociorva, G. Baumgartner, P. Sadayappan, In J. Ferrante, L. Carter (eds.), Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing (LCPC '99), San Diego, California, 4-6 August 1999. Lecture Notes in Computer Science, Vol. 1863, Springer-Verlag, pp. 350-364.
• Implementing Signatures for C++
  G. Baumgartner, V.F. Russo. In Proceedings of the 1994 USENIX C++ Conference, 11-14 April 1994, Cambridge, Massachusetts, USENIX Association, pp. 37-56.

Workshop Publications

• Model-Driven Search-Based Loop Fusion Optimization for Handwritten Code
  A. Panyala, P. Bhattacharya, G. Baumgartner, J. Ramanujam. In Proceedings of the 17th Workshop on Compilers for Parallel Computing (CPC '13), Lyon, France, 3-5 July 2013.
• Memory Minimization for Tensor Contractions using Integer Linear Programming
  A. Allam, J. Ramanujam, G. Baumgartner, P. Sadayappan. In Proceedings of the Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL '06), Rhodes Island, Greece, 29 April 2006. In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS '02), IEEE Computer Society Press, 8 pages.
• Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations
  X. Gao, S. Krishnamoorthy, S.K. Sahoo, C. Lam, G. Baumgartner, J. Ramanujam, P. Sadayappan. In Proceedings of the 12th Workshop on Compilers for Parallel Computers (CPC '06), A Coruña, Spain, 9-11 January 2006, 15 pages.
• Layout Transformation Support for the Disk Resident Arrays Framework
  S. Krishnamoorthy, G. Baumgartner, C. Lam, J. Nieplocha, P. Sadayappan. In Proceedings of the Los Alamos Computer Science Initiative Symposium (LACSI '04). Santa Fe, New Mexico. 12-14 October 2004, 14 pages.
• A High-Level Approach to Synthesis of High-Performance Codes for Quantum Chemistry: The Tensor Contraction Engine
  G. Baumgartner, D.E. Bernholdt, V. Choppella, J. Ramanujam, P. Sadayappan. In Proceedings of the 11th Workshop on Compilers for Parallel Computers (CPC '04), Chiemsee, Germany, 7-9 July 2004, pp. 281-290.
• Compile-Time Optimizations for Tensor Contraction Expressions
  G. Baumgartner, D. Cociorva, C. Lam, P. Sadayappan, J. Ramanujam. In Proceedings of the Workshop on Compilers for Parallel Computers (CPC '03), Amsterdam, The Netherlands, 8-10 January, 2003, pp 281-290.
• Automatic Synthesis of High-Performance Codes for Quantum Chemistry Applications
  G. Baumgartner, D.E. Bernholdt, D. Cociorva, R.J. Harrison, C. Lam, M. Nooijen, J. Ramanujam, P. Sadayappan. In Proceedings of the Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL '02), New York, New York, 22 June 2002, 10 pages.
• Support for Functional Programming in Brew
  G. Baumgartner, M. Jansche, C.D. Peisert. In Kei Davis, Yannis Smaragdakis, Jörg Striegnitz: Proceedings of the Multiparadigm Programming with Object-Oriented Languages, 1st International Workshop (MPOOL '01), Budapest, Hungary, 18 June 2001, Publication Series of the John von Neumann Institute for Computing, Vol. 7, pp. 111-125.
• Reliability Through Strong Mobility
  X. Wang, J. Hallstrom, G. Baumgartner. In Proceedings of the 7th ECOOP Workshop on Mobile Object Systems: Development of Robust and High Confidence Agent Applications (MOS '01), Budapest, Hungary, 18 June 2001, pp. 1-13.
• A Virtual Embedded Systems Testbed for Instruction and Design
  G. Baumgartner, A. Keyhani. In Proceedings of the Digital Signal Processing (DSPS) Fest, 2-4 August 2000, Houston, Texas, Texas Instruments, poster presentation.
• A Virtual DSP System for Design Instruction of Power Converters
  A. Keyhani, M.N. Marwali, G. Baumgartner. In Proceedings of the Digital Signal Processing (DSPS) Fest, 4-6 August 1999, Houston, Texas, Texas Instruments.

Edited Book

• Languages and Compilers for Parallel Computing
  Proceedings of the 18th International Workshop (LCPC '05), Hawthorne, New York, 20-22 October 2005, E. Ayguadé, G. Baumgartner, J. Ramanujam, P. Sadayappan (eds.). Lecture Notes in Computer Science, Vol. 4339, Springer-Verlag, 2006.

Book Chapters

• Self-Organizing Scheduling on the Organic Grid
  A.J. Chakravarti, G. Baumgartner, M. Lauria. In Manish Parashar, Salim Hariri (eds.), Autonomic Computing: Concepts, Infrastructure, and Applications, CRC Press, 2007, Chapter 19, pp. 389-411.
• The Organic Grid: Self-Organizing Computational Biology on Desktop Grids
  A.J. Chakravarti, G. Baumgartner, M. Lauria. In Albert Zomaya (ed.), Parallel Computing for Bioinformatics and Computational Biology: Models, Enabling Technologies, and Case Studies, John Wiley & Sons, February 2006, Chapter 27. pp. 671-703.

Technical Reports

• Automated Operation Minimization of Tensor Contraction Expressions in Electronic Structure Calculations
  A. Hartono, A. Sibiryakov, M. Nooijen, G. Baumgartner, D.E. Bernholdt, S. Hirata, C. Lam, R.M. Pitzer, J. Ramanujam, P. Sadayappan, Technical Report No. OSU-CISRC-2/05-TR10, Dept. of Computer Science and Engineering, The Ohio State University, February 2005.
• Compiler Techniques for Efficient Parallelization of Out-of-Core Tensor Contractions
  X. Gao, S.K. Sahoo, Q. Lu, G. Baumgartner, C. Lam, J. Ramanujam, P. Sadayappan. Technical Report No. OSU-CISRC-12/04-TR67, Dept. of Computer Science and Engineering, The Ohio State University, December 2004.
• Application-Specific Scheduling for the Organic Grid
  A.J. Chakravarti, G. Baumgartner, M. Lauria. Technical Report OSU-CISRC-4/04-TR23, Dept. of Computer and Information Science, The Ohio State University, April 2004.
• The Organic Grid: Self-Organizing Computation on a Peer-to-Peer Network
  A.J. Chakravarti, G. Baumgartner, M. Lauria. Technical Report OSU-CISRC-10/03-TR55, Dept. of Computer and Information Science, The Ohio State University, October 2003.
• On Efficient Out-of-Core Matrix Transposition
  S. Krishnamoorthy, G. Baumgartner, D. Cociorva, C. Lam, P. Sadayappan. Technical Report OSU-CISRC-9/03-TR52, Dept. of Computer and Information Science, The Ohio State University, September 2003.
• Implementation of Strong Mobility for Multi-Threaded Agents in Java
  A.J. Chakravarti, X. Wang, J.O. Hallstrom, G. Baumgartner. Technical Report OSU-CISRC-2/03-TR06, Dept. of Computer and Information Science, The Ohio State University, March 2003.
• Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations
  D. Cociorva, G. Baumgartner, C. Lam, P. Sadayappan, J. Ramanujam, M. Nooijen, D.E. Bernholdt, R.J. Harrison. Technical Report No. OSU-CISRC-11/01-TR24, Dept. of Computer and Information Science, The Ohio State University, November 2001.
• Half & Half: Multiple Dispatch and Retroactive Abstraction for Java
  G. Baumgartner, M. Jansche, K. Läufer. Technical Report No. OSU-CISRC-5/01-TR08, Dept. of Computer and Information Science, The Ohio State University, March 2002.
• Compiler and Tool Support for Debugging Object Protocols
  S. Butkevich, M. Renedo, G. Baumgartner, M. Young. Technical Report OSU-CISRC-3/00-TR10, Dept. of Computer and Information Science, The Ohio State University, March 2000. An improved version appears in Proceedings of the 8th International Symposium on the Foundations of Software Engineering (FSE-8/ACM SIGSoft 2000), San Diego, California, 6-10 November 2000, pp. 50-59.
• Memory-Optimal Evaluation of Expression Trees Involving Large Objects
  C. Lam, D. Cociorva, G. Baumgartner, P. Sadayappan. Technical Report No. OSU-CISRC-5/99-TR13, Dept. of Computer and Information Science, The Ohio State University, May 1999, updated March 2001.
• Safe Structural Conformance for Java
  K. Läufer, G. Baumgartner, V.F. Russo. Technical Report OSU-CISRC-6/98-TR20, Dept. of Computer and Information Science, The Ohio State University, June 1998.
• On the Interaction of Object-Oriented Design Patterns and Programming Languages
  G. Baumgartner, K. Läufer, V.F. Russo. Technical Report CSD-TR-96-020, Dept. of Computer Sciences, Purdue University, February 1996.
• Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++
  G. Baumgartner, V.F. Russo. Technical Report CSD-TR-95-051, Dept. of Computer Sciences, Purdue University, August 1995.
• Implementing Signatures for C++
  G. Baumgartner, V.F. Russo. Technical Report CSD-TR-95-025, Dept. of Computer Sciences, Purdue University, August 1995. An improved version appears in ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 19, No. 1, January 1997, pp. 153-187.
• Signatures: A C++ Extension for Type Abstraction and Subtype Polymorphism
  G. Baumgartner, V.F. Russo. Technical Report CSD-TR-93-059, Dept. of Computer Sciences, Purdue University, December 1994. Superseded by Technical Report CSD-TR-95-051, Dept. of Computer Sciences, Purdue University, August 1995.
• A Proposal to Study Type Systems for Computer Algebra
  G. Baumgartner, R.D. Stansifer, RISC-Linz Report 90-87.0, Research Institute for Symbolic Computation, University of Linz, Austria, March 1990.
• EUREKA-Project OASIS: Proposal for Research Activities in Symbolic Computation and Parallelization
  G. Baumgartner, F. Lichtenberger, RISC-Linz Report 88-30.0, Research Institute for Symbolic Computation, University of Linz, Austria, July 1988.
• Floating Slash Arithmetic: An Implementation in Common Lisp
  G. Baumgartner, RISC-Linz Report 87-39.0, Research Institute for Symbolic Computation, University of Linz, Austria, January 1988.