Ben Liblit  Home/Search
Context
Related
| berkeley.edu/proje...blit263report.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/projects/...research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Titanium is a parallel programming language that presents a single global address space for all concurrent computations. To improve performance on distributed memory architectures, programmers may explicitly qualify selected references as local to a single process. This paper proposes a static inference system for automatically applying "local" qualifications wherever possible, within the constraints of the Titanium type system. A partial prototype implementation of the analysis has been... (Update)
Active bibliography (related documents): More All
0.5: Software Cache Coherent Shared Memory under Split-C - Krashinsky, Machnicki (1999) (Correct)
0.2: Borneo 1.0.2 - Adding IEEE 754 floating point support to Java - Darcy (1998) (Correct)
0.2: High-Performance File I/O in Java: Existing Approaches.. - Bonachea, Dickens.. (2000) (Correct)
Similar documents based on text: More All
0.5: Data Sharing Analysis for Titanium - Liblit, al. (2001) (Correct)
0.4: Themis: Enforcing Titanium Consistency on the NOW - Miyamoto, Liblit (1997) (Correct)
0.4: Titanium: A High-Performance Java Dialect - Yelick, Semenzato, Pike.. (1998) (Correct)
BibTeX entry: (Update)
@misc{ liblit-local,
author = "Ben Liblit",
title = "Local Qualification Inference for Titanium",
url = "citeseer.ist.psu.edu/liblit98local.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
112 Supporting dynamic data structures on distributed-memory mac.. - Rogers, Carlisle et al. - 1995
70 Points-to analysis in almost linear time - Steensgaard - 1996
65 Object Distribution in Orca using Compile-Time and Run-Time .. - Bal, Kaashoek - 1993
63 The Java TM Language Specification (context) - Gosling, Joy et al. - 1996
61 Department of Computer Science (context) - Tarditi, Appel et al. - 1994
60 Emerald: A generalpurpose programming language - Raj, Tempero et al. - 1991
47 Distributed data structures in Linda (context) - Carriero, Gelernter et al. - 1986
32 A Toolkit for Constructing Type- and Constraint-Based Progra.. - Aiken, Fahndrich et al. - 1998
28 A lexical analyzer generator for Standard ML (context) - Appel, Mattson et al. - 1994
23 A critique of Standard ML - Appel - 1993
18 Analyses and Optimizations for Shared Address Space Programs - Krishnamurthy - 1995
17 PRELUDE: A system for portable parallel software - Weihl, Brewer et al. - 1992
13 Distributed data access in AC (context) - Carlson, Draper - 1995
11 Interface for Standard ML of New Jersey (context) - Huelsbergen, Portable - 1996
5 An almost linear Robinson unification algorithm (context) - Ruzicka, Prvara - 1989
4 Titanium Language Working Sketch (context) - Hilfinger - 1998
2 Themis: Enforcing Titanium Consistency on the NOW - Miyamoto, Liblit - 1997
1 IEC FDIS 14882 -- Programming Languages -- C (context) - Standards, Broadway et al. - 1997
1 Talk presented at Lawrence Livermore National Laboratories (context) - Yelick, Culler et al. - 1997
1 The Bane Home Page (context) - Aiken - 1998
Documents on the same site (http://www.cs.berkeley.edu/projects/titanium/research.html): More
Themis: Enforcing Titanium Consistency on the NOW - Miyamoto, Liblit (1997) (Correct)
Implementation of a Multilevel Algorithm for Gas Dynamics.. - McCorquodale, Colella (1999) (Correct)
Evaluation of Architectural Support for Global.. - Krishnamurthy.. (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC