J. Gregory Morrisett, Andrew Tolmach  Home/Search
Context Related
Links: DBLP | cmu.edu/afs/cs/proj...jgmorrisppopp.ps cornell.edu/info/pe...jgmorrisppopp.ps cmu.edu/project/fox...jgmorrisppopp.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: cmu.edu/afs/cs/project/f...papers (more) From: cmu.edu/project/fox/mosa...papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the platform's design, implementation, and performance. (Update)
Context of citations to this paper: More
...multiprocessors. For example, the experimental concurrent collector implemented at DEC SRC on the Firefly [RTC GC] and the general ML threads package written for SML NJ [ML threads] both use this idea. Giving each thread its own private allocation area does not completely...
.... functional language with list data structures; its parallel extensions provide functionality found in parallel Lisps [9] 16] ML threads [19], or Linda [3] Concurrency is introduced through a spawn operation that creates a lightweight thread to evaluate its input argument....
Cited by: More
LISP AND SYMBOLIC COMPUTATION: An International Journal.. - Ts Scheme Distributed (Correct)
Concurrent Replicating Garbage Collection - James Toole And (1994) (Correct)
A Shared-Memory Multiprocessor Implementation of.. - Suciu, Huelsbergen (1994) (Correct)
Similar documents (at the sentence level):
73.4%: Procs and Locks: A Portable Multiprocessing Platform for.. - Morrisett, Tolmach (1993) (Correct)
Active bibliography (related documents): More All
1.3: A Portable Multiprocessor Interface for Standard ML of New.. - Morrisett, Tolmach (1992) (Correct)
0.3: Adding Threads to Standard ML - Cooper, Morrisett (1990) (Correct)
0.3: Higher-order Concurrency - Reppy (1992) (Correct)
Similar documents based on text: More All
0.2: e ne Resn c n enn r n s - Ornell Niversity Stract (Correct)
0.1: Using Locality Information in Userlevel Scheduling - Steckermeier, Bellosa (1995) (Correct)
0.1: The ASTRAL Specifications of 8 Real-Time Systems - Paul Kolano (1999) (Correct)
Related documents from co-citation: More All
8: Lazy task creation: a technique for increasing the granularity of parallel progr.. - Mohr, Kranz et al. - 1990
8: A High-Performance Parallel Lisp (context) - Kranz, Halstead et al. - 1989
7: Adding threads to Standard ML - Cooper, Morrisett - 1990
BibTeX entry: (Update)
Morrisett, J. G. and Tolmach, A. Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey. In Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 198-207, San Diego, (1993). http://citeseer.ist.psu.edu/morrisett00procs.html More
@inproceedings{ morrisett93procs,
author = "J. Gregory Morrisett and Andrew P. Tolmach",
title = "Procs and locks: a portable multiprocessing platform for Standard {ML} of New Jersey",
booktitle = "Proceedings of the4thSymposium on Principles and Practice of Parallel Programming",
address = "San Diego, CA, USA",
pages = "198--207",
year = "1993",
url = "citeseer.ist.psu.edu/morrisett00procs.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990 ACM
521 Compiling with Continuations (context) - Appel - 1992 ACM
304 Scheduler activations: Effective kernel support for the user.. - Anderson, Bershad et al. - 1991
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
234 Multilisp: A language for concurrent symbolic computation (context) - Halstead - 1985 ACM DBLP
197 The performance of spin lock alternatives for shared memory .. (context) - Anderson - 1990
178 Standard ML of New Jersey - Appel, MacQueen - 1991
159 CML: A higher-order concurrent language (context) - Reppy - 1991 DBLP
123 Simple generational garbage collection and fast allocation - Appel - 1989
115 First-class user-level threads - Marsh, Scott et al. - 1991 ACM
85 Garbage collection can be faster than stack allocation - Appel - 1987
72 A semantics for ML concurrency primitives - Berry, Milner et al. - 1992 ACM DBLP
70 No assembly required: Compiling Standard ML to C - Tarditi, Acharya et al. - 1990 DBLP
69 Typing first-class continuations in ML - Duba, Harper et al. - 1991 ACM DBLP
66 A high-performance parallel Lisp (context) - Kranz, Halstead et al. - 1989
57 Continuation-based multiprocessing - Wand - 1980 ACM DBLP
55 Adding threads to Standard ML - Cooper, Morrisett - 1990
49 The portable common runtime approach to interoperability (context) - Weiser, Demers et al. - 1989 ACM DBLP
37 Lawrence Livermore Laboratory (context) - Crowley, Hendrickson et al. - 1978
33 MultiScheme: A parallel processing system based on MIT Schem.. (context) - Miller - 1987
31 Threads: A system for the support of concurrent programming (context) - Jr - 1987
23 Asynchronous signals in Standard ML - Reppy - 1990
23 The Fox project: Advanced development of systems software - Cooper, Harper et al. - 1991
23 Adaptive bitonic sorting: An optimal parallel algorithm for .. (context) - Bilardi, Nicolau - 1989 ACM DBLP
21 A distributed concurrent implementation of Standard ML (context) - Matthews - 1991
21 A customizable substrate for concurrent languages - Jagannathan, Philbin - 1992
16 Computer Science Department (context) - Cooper, Draves et al. - 1988
14 Department of Computer Science (context) - Ramsey, in et al. - 1990
14 Preliminary results with the initial implementation of Qlisp (context) - Goldman, Gabriel - 1988
11 Dynamic Partitioning of Parallel Lisp Programs (context) - Mohr - 1991
11 An implementation of Portable Standard Lisp on the BBN Butte.. (context) - Swanson, Kessler et al. - 1988 ACM DBLP
11 A foundation for an efficient multi-threaded Scheme system (context) - Jagannathan, Philbin - 1992 ACM DBLP
10 Debuggable concurrency extensions for Standard ML - Tolmach, Appel - 1991 ACM DBLP
10 Debugging Standard ML (context) - Tolmach - 1992 ACM
7 Journal of Lisp and Symbolic Computation (context) - Appel, system - 1990
6 Extensions to Standard ML to support transactions - Wing, Faehndrich et al. - 1992 ACM
4 Computer Science Department (context) - Reppy, PhD - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/afs/cs/project/fox/mosaic/papers.html): More
Program Verification for Optimized Byte Copy - Biagioni (1994) (Correct)
Compiling Polymorphism Using Intensional Type Analysis - Harper, Morrisett (1995) (Correct)
No Assembly Required: Compiling Standard ML to C - Tarditi, Lee, Acharya (1990) (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