Titanium Papers

The Titanium-related research is divided into the following categories: Suggested BiBTeX entries are provided for some of these papers. Slides from selected talks are also available.

Language Design

Titanium Language Reference Manual
P. Hilfinger, D. Bonachea, K. Datta, D. Gay, S. Graham, B. Liblit, G. Pike, J. Su and K. Yelick.
Current Version: Postscript (ps) and Acrobat (pdf) available.
Archival Version (for citation):
U.C. Berkeley Tech Report, UCB/EECS-2005-15, 2005. Acrobat (pdf) available.
Titanium: A High-Performance Java Dialect
Yelick, Semenzato, Pike, Miyamoto, Liblit, Krishnamurthy, Hilfinger, Graham, Gay, Colella, Aiken, ACM 1998 Workshop on Java for High-Performance Network Computing, Stanford, California, February 1998.
Abstract, Postscript available.
Titanium: A High-Performance Java Dialect
K. A. Yelick, L. Semenzato, G. Pike, C. Miyamoto, B. Liblit, A. Krishnamurthy, P. N. Hilfinger, S. L. Graham, D. Gay, P. Colella, and A. Aiken
Concurrency: Practice and Experience, Vol. 10, No. 11-13, September-November 1998. An earlier version was presented at the Workshop on Java for High-Performance Network Computing, Palo Alto, CA, Feb. 1998.
Postscript available.

Memory-Hierarchy Optimizations

Better Tiling and Array Contraction for Compiling Scientific Programs
Geoff Pike and Paul N. Hilfinger, Proceedings of the IEEE/ACM SC2002 Conference.
Postscript and PDF available.
Please download for personal use only. IEEE, the copyright holder, must be consulted before redistribution.
Reordering and Storage Optimizations for Scientific Programs
Geoffrey Roeder Pike, Ph.D. dissertation, January 2002.
Postscript (ps) (ps.gz) and Acrobat (pdf) available.

Compilation of Explicit Parallelism

Compiler Analyses and System Support for Optimizing Shared Address Space Programs
Arvind Krishnamurthy, PhD thesis, 1998.
Postscript available.
Analyses and Optimizations for Shared Address Space Programs
Arvind Krishnamurthy and Katherine Yelick, Journal of Parallel and Distributed Computations, 1996.
Postscript available.
Optimizing Parallel Programs with Explicit Synchronization
Arvind Krishnamurthy and Katherine Yelick, Programming Language Design and Implementation, La Jolla, California, June 1995.
Abstract, Postscript available.
Optimizing Parallel SPMD Programs
Arvind Krishnamurthy and Katherine Yelick, Seventh Annual Workshop on Languages and Compilers for Parallel Computing, Ithaca, New York, August 1994.
Abstract, Postscript available.
Array Prefetching for Irregular Array Accesses in Titanium
Jimmy Su and Katherine Yelick, Sixth Annual Workshop on Java for Parallel and Distributed Computing, Santa Fe, New Mexico, April 2004.
PDF available.
Automatic Support for Irregular Computations in a High-Level Language
Jimmy Su and Katherine Yelick, 19th International Parallel and Distributed Processing Symposium (IPDPS), 2005.
PDF available.
Making Sequential Consistency Practical in Titanium
Amir Kamil, Jimmy Su, and Katherine Yelick, Supercomputing 2005 (SC|05), Seattle, Washington, November 2005.
PDF available.
Concurrency Analysis for Parallel Programs with Textually Aligned Barriers
Amir Kamil and Katherine Yelick, 18th International Workshop on Languages and Compilers for Parallel Computing, Hawthorne, New York, October 2005.
PDF available.
Analysis of Partitioned Global Address Space Programs
Amir Kamil, Master's Report, Computer Science Division, University of California, Berkeley, December 2006.
PDF available.
Hierarchical Pointer Analysis for Distributed Programs
Amir Kamil and Katherine Yelick, The 14th International Static Analysis Symposium (SAS 2007), Kongens Lyngby, Denmark, August 2007.
PDF available.
Automatic Communication Performance Debugging in PGAS Languages
Jimmy Su and Katherine Yelick, 20th International Workshop on Languages and Compilers for Parallel Computing, Urbana, Illinois, October 2007.
PDF available.
Enforcing Textual Alignment of Collectives Using Dynamic Checks
Amir Kamil and Katherine Yelick, 22nd International Workshop on Languages and Compilers for Parallel Computing, Newark, Delaware, October 2009.
PDF available.

Type Systems and Type-Based Analyses

Barrier Inference
Alexander Aiken and David Gay, Principles of Programming Languages, San Diego, California, January 1998. Postscript available.
Barrier Inference
David Gay, Master's Thesis, U.C. Berkeley, 1998.
Postscript available.
Type Systems for Distributed Data Structures
Ben Liblit and Alexander Aiken, Principles of Programming Languages, Boston, Massachusetts, January 2000.
Abstract, PDF, PostScript available.
Data Sharing Analysis for Titanium
Ben Liblit, Alex Aiken, and Katherine Yelick, University of California, Berkeley, Computer Science Division Technical Report, CSD-01-1165, November, 2001.
PDF available.
Type Systems for Distributed Data Sharing
Ben Liblit, Alex Aiken, and Katherine Yelick, International Static Analysis Symposium, San Diego, California, June 2003.
Abstract, PDF available.

Memory Management

Better Static Memory Management: Improving Region-Based Analysis of Higher Order Languages
Alexander Aiken, Manuel Fähndrich, and Raph Levien, Programming Language Design and Implementation, La Jolla, California, June 1995.
Memory Management with Explicit Regions
Alexander Aiken and David Gay, Programming Language Design and Implementation, Montreal, Canada, June 1998.
Postscript available.
Language Support for Regions, D. Gay and A. Aiken,
David Gay and Alexander Aiken, ACM SIGPLAN '01 Conference on Programming Language Design and Implementation, Snowbird, Utah, June 2001.
Postscript available.
Memory Management with Explicit Regions
David Gay, Ph.D. Thesis, U.C. Berkeley, Fall 2001.
Postscript available.

Runtime Support

Bulk File I/O Extensions to Java
Dan Bonachea. ACM Java Grande 2000 Conference.
PDF, Postscript available.
This copy is posted by permission of ACM and may not be redistributed. The definitive version of this paper is located here.
High-Performance File I/O in Java: Existing Approaches and Bulk I/O Extensions
Dan Bonachea, Phil Dickens and Rajeev Thakur. Concurrency and Computation:Practice and Experience Vol 13, Issue 9, June 28, 2001.
Postscript available.

High-Performance Communication and Networking

GASNet Specification, v1.1
Dan Bonachea. UCB Tech Report CSD-02-1207, November 2002.
PDF available.
    For the most up-to-date version of the spec, see the GASNet web page.
An Evaluation of Current High-Performance Networks
C. Bell, D. Bonachea, Y. Cote, J. Duell, P. Hargrove, P. Husbands, C. Iancu, M. Welcome, K. Yelick. 17th International Parallel and Distributed Processing Symposium (IPDPS), 2003.
PDF, Postscript available.
A New DMA Registration Strategy for Pinning-Based High Performance Networks
C. Bell and D. Bonachea. Workshop on Communication Architecture for Clusters (CAC'03), 2003.
PDF available.
Problems with using MPI 1.1 and 2.0 as compilation targets for parallel language implementations
D. Bonachea and J. Duell. 2nd Workshop on Hardware/Software Support for High Performance Scientific and Engineering Computing, SHPSEC-PACT03 (also to appear in the International Journal on High Performance Computing and Networking (IJHPCN)), 2003.
PDF, Postscript available.
The Titanium language borrows several ideas from the Split-C language and shared a common runtime layer on distributed memory platforms. The papers given below describe Split-C and this runtime layer. Split-C home page for more details on Split-C and software releases.
Towards a Theory of Optimal Communication Pipelines
R. Wang, A. Krishnamurthy, R. Martin, T. Anderson, and D. Culler. SIGMETRICS '98/ PERFORMANCE '98 Joint International Conference on Measurement and Modeling of Computer Systems.
Evaluation of Architectural Support for Global Address-Based Communication in Large Scale Parallel Machines
A. Krishnamurthy, K. Schauser, C. Scheiman, R. Wang, D. Culler, and K. Yelick, Architectural Support for Programming Languages and Operating Systems, 1996.
Postscript available.
Empirical Evaluation of the CRAY-T3D: A Compiler Perspective
Remzi H. Arpaci, David E. Culler, Arvind Krishnamurthy, Steve G. Steinberg, and Katherine Yelick, International Symposium on Computer Architecture, Santa Margherita Ligure, Italy, June 1995.
Abstract, Postscript available.
Parallel Programming in Split-C
D. Culler, A. Dusseau, S. Goldstein, A. Krishnamurthy, S. Lumetta, T. von Eicken, and K. Yelick, Supercomputing, Portland, Oregon, November 1993.
Abstract, Postscript available.

Applications Developed with Titanium

A Finite Difference Domain Decomposition Method Using Local Corrections for the Solution of Poisson's Equation
Gregory T. Balls and Phillip Colella. Journal of Computational Physics, Volume 180, Issue 1, pp. 25-53 (July 2002).
Abstract, GZipped Postscript available.
Parallel 3D Adaptive Mesh Refinement in Titanium
Geoff Pike, Luigi Semenzato, Phillip Colella, and Paul N. Hilfinger, Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, San Antonio, Texas, March 1999.
Postscript available.
Distributed Immersed Boundary Simulation in Titanium
E. Givelberg and K. Yelick, Submitted
PDF and Postscript available.
Implementation of a Multilevel Algorithm for Gas Dynamics in a High-Performance Java Dialect
Peter McCorquodale and Phillip Colella, International Parallel Computational Fluid Dynamics Conference (CFD'99), 1999.
Postscript available.
Experiences in Using Titanium for Simulation of Immersed Boundary Biological Systems
Siu Man Yau, Masters Report, Computer Science Division, University of California Berkeley, May 2002.
PDF available.
Analysis of a Contractile Torus Simulation in Titanium
Sabrina Merchant, Masters Report, Computer Science Division, University of California Berkeley, August 2003.
PDF available.
Adaptive Mesh Refinement in Titanium
Tong Wen and Phillip Colella. 19th International Parallel and Distributed Processing Symposium (IPDPS), 2005.
PDF and Postscript available, also PDF talk slides.
Titanium Performance and Potential: an NPB Experimental Study
Kaushik Datta, Dan Bonachea and Katherine Yelick. Languages and Compilers for Parallel Computing (LCPC), 2005.
PDF and slides available.
The NAS Parallel Benchmarks in Titanium
Kaushik Datta, Masters Report, Computer Science Division, University of California Berkeley, December 2005.
PDF available.
Poster: The Performance and Productivity Benefits of Global Address Space Languages
Dan O Bonachea, Christian Bell, Rajesh Nishtala, Kaushik Datta, Parry Husbands, Paul Hargrove, Katherine Yelick, SuperComputing (SC), 2005.
PDF available.
An Adaptive Mesh Refinement Benchmark for Modern Parallel Programming Languages
Tong Wen, Jimmy Su, Phillip Colella, Katherine Yelick, and Noel Keen. Supercomputing 2007 (SC|07), Reno, Neveda, November 2007.
PDF


Back to main page
Last updated Tuesday May 04, 2010
Comments to Titanium developers