Ben Liblit, Alexander Aiken  Home/Search
Context Related
| berkeley.edu/~liblit/l...localtypes.ps berkeley.edu/~aiken/public...popl00a.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/~liblit/localtyp... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distinction between local and remote memory, simplifying the programming model at some performance cost. Other languages give the programmer more explicit control, o ering better potential performance but sacri cing both soundness and ease of use. Through a series of progressively richer type systems, we formalize the complex... (Update)
Cited by: More
A Performance Analysis of the Berkeley UPC Compiler - Wei-Yu Chen Dan (2003) (Correct)
Problems with using MPI 1.1 and 2.0 as compilation targets.. - Bonachea, Duell (Correct)
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (Correct)
Similar documents (at the sentence level):
58.1%: Type Systems for Distributed Data Structures - Ben Liblit Liblit (2000) (Correct)
Active bibliography (related documents): More All
0.2: SCALLOP: A Terascale Poisson Solver in Three Dimensions - Balls, Baden, Colella (2003) (Correct)
0.1: MOPS: an Infrastructure for Examining Security Properties of.. - Chen, Wagner (2002) (Correct)
0.1: A General Framework for Hindley/Milner Type Systems with.. - Sulzmann (2000) (Correct)
Similar documents based on text: More All
0.6: Data Sharing Analysis for Titanium - Liblit, al. (2001) (Correct)
0.4: Public Deployment of Cooperative Bug Isolation - Ben Liblit Liblit (2004) (Correct)
0.2: Sampling User Executions for Bug Isolation - Liblit, Aiken, Zheng, Jordan (2003) (Correct)
Related documents from co-citation: More All
8: Titanium Language Reference Manual (context) - Hilfinger - 2001
6: Barrier Inference - Aiken, Gay - 1998
5: Issues in the optimization of parallel programs (context) - Midkiff, Padua - 1990
BibTeX entry: (Update)
A. Aiken and B. Liblit, Type Systems for Distributed Data Structures, ACM Symposium on Principles of Programming Languages, to appear, January 2000. 11 http://citeseer.ist.psu.edu/article/liblit00type.html More
@inproceedings{ liblit00type,
author = "Ben Liblit and Alexander Aiken",
title = "Type Systems for Distributed Data Structures",
booktitle = "Symposium on Principles of Programming Languages",
pages = "199-213",
year = "2000",
url = "citeseer.ist.psu.edu/article/liblit00type.html" }
Citations (may not include all citations):341 Parallel programming in Split-C - Culler, Dusseau et al. - 1993
297 A Multigrid Tutorial (context) - Briggs - 1987
257 forcecalculation algorithm (context) - Barnes, Hut et al. - 1986
222 A fast multilevel implementation of recursive spectral bisec.. - Barnard, Simon - 1993
200 Programming languages for distributed computing systems (context) - Bal, Steiner et al. - 1989
182 A comparison of sorting algorithms for the Connection Machin.. - Blelloch, Leiserson et al. - 1991
71 ScaLAPACK: A portable linear algebra library for distributed.. (context) - Choi, Demmel et al. - 1996
55 Software caching and computation migration in Olden - Carlisle, Rogers - 1995
49 Parallel computing on the Berkeley NOW (context) - Culler, Arpaci-Dusseau et al. - 1997
48 Active message application programming interface and communi.. - Culler, Mainwaring - 1996
31 Olden: Parallelizing Programs with Dynamic Data Structures o.. (context) - Carlisle - 1996
7 A Theory of Type Qualiers (context) - Foster, ahndrich et al. - 1999
7 erence Domain Decomposition Method Using Local Corrections f.. (context) - Balls, Di - 1999
3 Department of Electrical Engineering and Computer Science (context) - Culler, Dusseau et al. - 1996
2 Searcing for the sorting record: Experiences in tuning NOWso.. (context) - Arpaci-Dusseau, Arpaci-Dusseau et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.berkeley.edu/~liblit/local-types/):
Type Systems for Distributed Data Structures - Liblit (2000) (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