Publications by Year
2013
2012
-
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.
2011
-
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.
2009
-
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.
2007
-
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.
-
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.
2006
-
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.
-
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.
-
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.
-
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 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.
-
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.
-
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.
-
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.
2005
-
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.
-
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.
-
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.
-
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.
2004
-
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.
-
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.
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.
-
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.
-
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.
-
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.
-
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.
-
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.
2003
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
2002
-
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.
-
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.
-
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.
-
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.
-
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.
2001
-
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.
-
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.
-
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.
-
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.
-
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.
2000
- 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.
-
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.
-
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.
- 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.
1999
-
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.
-
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.
1998
- Education in Electronic Systems at the Ohio State University
G. Rizzoni, A. Keyhani, G.N. Washington, B. Chandrasekaran,
G. Baumgartner.
In Proceedings of the ASME Dynamic Systems and Control
Division,
1998 International Mechanical Engineering Congress &
Exposition,
15-20 November 1998, Anaheim, California, American Society of
Mechanical Engineers, DSC-Vol. 64, pp. 389-396.
-
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.
1997
-
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.
1996
1995
- 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.
-
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.
1994
- 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.
- 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.
1990
- 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.
1988
- 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.
1987
- 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.