Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Communications of the ACM - Special section on computer architecture
The Manchester prototype dataflow computer
Communications of the ACM - Special section on computer architecture
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM - Special issue on computer architecture
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
The Bath concurrent LISP machine
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
On-the-fly garbage collection: an exercise in cooperation
Language Hierarchies and Interfaces, International Summer School
Implementation of multilisp: Lisp on a multiprocessor
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Queue-based multi-processing LISP
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
An open operating system for a single-user machine
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
The Incremental Garbage Collection of Processes
The Incremental Garbage Collection of Processes
Rabbit: A Compiler for Scheme
ACTOR SYSTEMS FOR REAL-TIME COMPUTATION
ACTOR SYSTEMS FOR REAL-TIME COMPUTATION
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
THE DESIGN OF A MULTIPROCESSOR DEVELOPMENT SYSTEM
THE DESIGN OF A MULTIPROCESSOR DEVELOPMENT SYSTEM
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
LISP 1.5 Programmer's Manual
Lisp machine manual
Concert: design of a multiprocessor development system
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
DIB—a distributed implementation of backtracking
ACM Transactions on Programming Languages and Systems (TOPLAS)
Overview of concert multilisp: a multiprocessor symbolic computing system
ACM SIGARCH Computer Architecture News
Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Experience and evolution of concurrent Smalltalk
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Environments as first class objects
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Parallel processors and systems for algebraic manipulation: current work
ACM SIGSAM Bulletin
Functional programming with combinators
Journal of Symbolic Computation
Toward a dataflow/von Neumann hybrid architecture
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Parcel: project for the automatic restructuring and concurrent evaluation of LISP
ICS '88 Proceedings of the 2nd international conference on Supercomputing
An execution model for distributed object-oriented computation
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
An open enviornment for building parallel programming systems
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Restructuring Lisp programs for concurrent execution
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Qlisp: experience and new directions
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Parallel execution of sequential scheme with ParaTran
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
An implementation of portable standard LISP on the BBN butterfly
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Preliminary results with the initial implementation of Qlisp
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
How to write parallel programs: a guide to the perplexed
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Mul-T: a high-performance parallel Lisp
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Process control and scheduling issues for multiprogrammed shared-memory multiprocessors
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Reflective facilities in Smalltalk-80
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
FUTURES: a mechanism for concurrency among objects
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
A parallel virtual machine for efficient scheme compilation
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Continuing into the future: on the interaction of futures and first-class continuations
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Lazy task creation: a technique for increasing the granularity of parallel programs
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Speculative computation in multilisp
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Making asynchronous parallelism safe for the world
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
A methodology for implementing highly concurrent data structures
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Nondeterminism and unification in LogScheme: integrating logic and functional programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Parallel Ada: issues in programming and implementation
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
The interaction of architecture and operating system design
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
ASPLOS IV Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
An experimental approach to a course on parallel and distributed algorithms
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A space-efficient parallel garbage compaction algorithm
ICS '91 Proceedings of the 5th international conference on Supercomputing
Coarse-grain parallel programming in Jade
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Lock-free garbage collection for multiprocessors
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
User-level interprocess communication for shared memory multiprocessors
ACM Transactions on Computer Systems (TOCS)
Scheduler activations: effective kernel support for the user-level management of parallelism
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Debuggable concurrency extensions for standard ML
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
ObjVProlog-D: a reflexive object-oriented logic language for distributed computing
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
The impact of selected concurrent language constructs on the Sam run-time system
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Coordination languages and their significance
Communications of the ACM
Active messages: a mechanism for integrated communication and computation
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
Dynamic program parallelization
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A foundation for an efficient multi-threaded scheme system
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A customizable substrate for concurrent languages
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Scheduler activations: effective kernel support for the user-level management of parallelism
ACM Transactions on Computer Systems (TOCS)
Tlisp: a concurrent Lisp for the transputers
ACM SIGSAM Bulletin
Waiting algorithms for synchronization in large-scale multiprocessors
ACM Transactions on Computer Systems (TOCS)
Procs and locks: a portable multiprocessing platform for standard ML of New Jersey
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Leapfrogging: a portable technique for implementing efficient futures
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
An efficient implementation scheme of concurrent object-oriented languages on stock multicomputers
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Implementing ML on distributed memory multiprocessors
ACM SIGPLAN Notices - Workshop on languages, compilers and run-time environments for distributed memory multiprocessors
Polling efficiently on stock hardware
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
Space-efficient scheduling of multithreaded computations
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Parallel programming with control abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using the run-time sizes of data structures to guide parallel-thread creation
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Analyzing stores and references in a parallel symbolic language
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Reducing cross domain call overhead using batched futures
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
The semantics of future and its use in program optimization
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Supporting dynamic data structures on distributed-memory machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software caching and computation migration in Olden
PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
Cilk: an efficient multithreaded runtime system
PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
Provably efficient scheduling for languages with fine-grained parallelism
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
STAR/MPI: binding a parallel library to interactive symbolic algebra systems
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
ACM SIGPLAN Lisp Pointers
Futures and multiple values in parallel Lisp
ACM SIGPLAN Lisp Pointers
First-class schedules and virtual maps
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A hybrid execution model for fine-grained languages on distributed memory multicomputers
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
Communication optimizations for parallel computing using data access information
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
A design study of the EARTH multiprocessor
PACT '95 Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques
Portable run-time support for dynamic object-oriented parallel processing
ACM Transactions on Computer Systems (TOCS)
Distributed Shared Abstractions (DSA) on Multiprocessors
IEEE Transactions on Software Engineering
First-class synchronization barriers
Proceedings of the first ACM SIGPLAN international conference on Functional programming
pHluid: the design of a parallel functional language implementation on workstations
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Load-sharing in heterogeneous systems via weighted factoring
Proceedings of the eighth annual ACM symposium on Parallel algorithms and architectures
A provably time-efficient parallel implementation of full speculation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Guaranteeing Good Memory Bounds for Parallel Programs
IEEE Transactions on Software Engineering
Decomposition Abstraction in Parallel Rule Languages
IEEE Transactions on Parallel and Distributed Systems
Space-efficient scheduling of parallelism with synchronization variables
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Boundary analysis in the instructional footprint model: an implementation in Linda
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Research Demonstration of a Hardware Reference-Counting Heap
Lisp and Symbolic Computation
Space-efficient implementation of nested parallelism
PPOPP '97 Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed partial evaluation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Abstractions for Portable, Scalable Parallel Programming
IEEE Transactions on Parallel and Distributed Systems
The implementation of the Cilk-5 multithreaded language
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Active messages: a mechanism for integrating communication and computation
25 years of the international symposia on Computer architecture (selected papers)
The design, implementation, and evaluation of Jade
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
StackThreads/MP: integrating futures into calling standards
Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming
On bounding time and space for multiprocessor garbage collection
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Provably efficient scheduling for languages with fine-grained parallelism
Journal of the ACM (JACM)
Lisp and Symbolic Computation
Scheduling threads for low space requirement and good locality
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
Space-efficient scheduling of nested parallelism
ACM Transactions on Programming Languages and Systems (TOPLAS)
A provably time-efficient parallel implementation of full speculation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient logic variables for distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
An architecture for mostly functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Mechanisms for efficient multiprocessor combinator reduction
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Connection Machine Lisp: fine-grained parallel symbolic processing
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
APRIL: a processor architecture for multiprocessing
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Language concepts using dynamic and distributed objects
CSC '91 Proceedings of the 19th annual conference on Computer Science
Evaluating titanium SPMD programs on the Tera MTA
SC '99 Proceedings of the 1999 ACM/IEEE conference on Supercomputing
The design and performance of a scable ORB architecture for COBRA asynchronous messaging
IFIP/ACM International Conference on Distributed systems platforms
The data locality of work stealing
Proceedings of the twelfth annual ACM symposium on Parallel algorithms and architectures
First-class user-level threads
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Proceedings of the thirteenth annual ACM symposium on Parallel algorithms and architectures
A parallel, real-time garbage collector
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Supporting dynamic data structures with Olden
Compiler optimizations for scalable parallel systems
A self interpreter for BaLinda Lisp
ACM SIGPLAN Notices
Designing an Efficient and Scalable Server-side Asynchrony Model for CORBA
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
An on-the-fly reference counting garbage collector for Java
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Asynchrony in parallel computing: from dataflow to multithreading
Progress in computer research
Applying high-level language paradigms to distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Pthreads for dynamic and irregular parallelism
SC '98 Proceedings of the 1998 ACM/IEEE conference on Supercomputing
A scalable mark-sweep garbage collector on large-scale shared-memory machines
SC '97 Proceedings of the 1997 ACM/IEEE conference on Supercomputing
Reducing pause time of conservative collectors
Proceedings of the 3rd international symposium on Memory management
Applying a pattern language to develop application-level gateways
Design patterns in communications software
Asynchrony in parallel computing: from dataflow to multithreading
Progress in computer research
Workflow enactment with continuation and future objects
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient parallel global garbage collection on massively parallel computers
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
Automatic Parallelization of Recursive Procedures
International Journal of Parallel Programming
The Enterprise Model for Developing Distributed Applications
IEEE Parallel & Distributed Technology: Systems & Technology
Multiprocessing Extensions in Spur Lisp
IEEE Software
Qlisp: Parallel Processing in Lisp
IEEE Software
A Parallel Asynchronous Garbage Collection Algorithm for Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs
IEEE Transactions on Parallel and Distributed Systems
Lock-Free Garbage Collection for Multiprocessors
IEEE Transactions on Parallel and Distributed Systems
Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems
IEEE Transactions on Parallel and Distributed Systems
Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor
IEEE Transactions on Parallel and Distributed Systems
Program Structuring for Effective Parallel Portability
IEEE Transactions on Parallel and Distributed Systems
A survey of processors with explicit multithreading
ACM Computing Surveys (CSUR)
Derivatives: A Construct for Internet Programming
ICCL'98 Workshop on Internet Programming Languages
A New Scheduling Algorithm for General Strict Multithreaded Computations
Proceedings of the 13th International Symposium on Distributed Computing
Macroservers: An Object-Based Programming and Execution Model for Processor-in-Memory Arrays
ISHPC '00 Proceedings of the Third International Symposium on High Performance Computing
Executable Specification Language for Parallel Symbolic Computation (Research Note)
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
TACO -- Dynamic Distributed Collections with Templates and Topologies
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
D'Caml: Native Support for Distributed ML Programming in Heterogeneous Environment
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Design and Performance of Asynchronous Method Handling for CORBA
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Towards an Operational Semantics for a Parallel Non-Strict Functional Language
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Gilgamesh: a multithreaded processor-in-memory architecture for petaflops computing
Proceedings of the 2002 ACM/IEEE conference on Supercomputing
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Views on template-based parallel programming
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Enterprise: current status and future directions
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Partial behavioral reflection: spatial and temporal selection of reification
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
A C toolkit to support parallel programming
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Enterprise in context: assessing the usability of parallel programming environments
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel and Distributed Haskells
Journal of Functional Programming
Parallel functional programming on recursively defined data via data-parallel recursion
Journal of Functional Programming
The semantics of future and an application
Journal of Functional Programming
Algorithm + strategy = parallelism
Journal of Functional Programming
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
On bounding time and space for multiprocessor garbage collection
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems
Proceedings of the 26th International Conference on Software Engineering
ACM Transactions on Programming Languages and Systems (TOPLAS)
A high-throughput distributed DNA sequence analysis and database system
IBM Systems Journal - Deep computing for the life sciences
Transparent proxies for java futures
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
History of programming languages---II
Remote method invocation as a first-class citizen
Distributed Computing
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
X10: an object-oriented approach to non-uniform cluster computing
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An on-the-fly reference-counting garbage collector for java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Improving locality with parallel hierarchical copying GC
Proceedings of the 5th international symposium on Memory management
Proceedings of the 33rd annual international symposium on Computer Architecture
DLS '05 Proceedings of the 2005 symposium on Dynamic languages
Ambient references: addressing objects in mobile networks
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
Programming with exceptions in JCilk
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Evolving a language in and for the real world: C++ 1991-2006
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Software behavior oriented parallelization
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Data layouts for object-oriented programs
Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
An object-oriented communication mechanism for parallel systems
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Programming asynchronous layers with CLARITY
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Type-safe higher-order channels in ML-like languages
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Supporting exception handling for futures in Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
A bibliography on multiprocessor Lisp systems and applications
ACM SIGPLAN Lisp Pointers
A study of LISP on a multiprocessor preliminary version
ACM SIGPLAN Lisp Pointers
Incrementally parallelizing database transactions with thread-level speculation
ACM Transactions on Computer Systems (TOCS)
Quasi-static scheduling for safe futures
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Context distribution for supporting composition of applications in ubiquitous computing
Proceedings of the 2008 ACM symposium on Applied computing
Parallel generational-copying garbage collection with a block-structured heap
Proceedings of the 7th international symposium on Memory management
Limits of parallel marking garbage collection
Proceedings of the 7th international symposium on Memory management
The Active XML project: an overview
The VLDB Journal — The International Journal on Very Large Data Bases
Towards a domain-specific aspect language for leasing in mobile ad hoc networks
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages
Lazy argument passing in Java RMI
Proceedings of the 6th international symposium on Principles and practice of programming in Java
A pilot study to compare programming effort for two parallel programming models
Journal of Systems and Software
Online Phase-Adaptive Data Layout Selection
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Active Objects and Distributed Components: Theory and Implementation
Formal Methods for Components and Objects
Serialization sets: a dynamic dependence-based parallel execution model
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Asynchronous sequential processes
Information and Computation
As-if-serial exception handling semantics for Java futures
Science of Computer Programming
Type-safe higher-order channels with channel locality1
Journal of Functional Programming
A new approach to parallelising tracing algorithms
Proceedings of the 2009 international symposium on Memory management
Alchemist: A Transparent Dependence Distance Profiling Infrastructure
Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Beyond nested parallelism: tight bounds on work-stealing overheads for parallel futures
Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Beyond PDP: the frequency modulation neural network architecture
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The design of a task parallel library
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
A data-driven workflow language for grids based on array programming principles
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
Functional Active Objects: Typing and Formalisation
Electronic Notes in Theoretical Computer Science (ENTCS)
PFunc: modern task parallelism for modern high performance computing
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis
Transparent First-class Futures and Distributed Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Generic Pickling and Minimization
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient parallel programming in Poly/ML and Isabelle/ML
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
A comparative evaluation of parallel garbage collector implementations
LCPC'01 Proceedings of the 14th international conference on Languages and compilers for parallel computing
Checking concurrent contracts with aspects
Proceedings of the 2010 ACM Symposium on Applied Computing
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Variant-based competitive parallel execution of sequential programs
Proceedings of the 7th ACM international conference on Computing frontiers
Implementing joins using extensible pattern matching
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Concurrent, parallel, real-time garbage-collection
Proceedings of the 2010 international symposium on Memory management
Writing concurrent desktop applications in an actor-based programming model
Proceedings of the 3rd International Workshop on Multicore Software Engineering
Brief announcement: serial-parallel reciprocity in dynamic multithreaded languages
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Electronic Notes in Theoretical Computer Science (ENTCS)
Scalable hardware support for conditional parallelization
Proceedings of the 19th international conference on Parallel architectures and compilation techniques
Using memory mapping to support cactus stacks in work-stealing runtime systems
Proceedings of the 19th international conference on Parallel architectures and compilation techniques
Recent developments in butterfly™ LISP
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Scripting the cloud with skywriting
HotCloud'10 Proceedings of the 2nd USENIX conference on Hot topics in cloud computing
Recent developments in butterfly™ LISP
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Resource Modeling for Timed Creol Models
Electronic Notes in Theoretical Computer Science (ENTCS)
A hybrid connectionist, symbolic learning system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Implicit invocation meets safe, implicit concurrency
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Back to the futures: incremental parallelization of existing sequential runtime systems
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A time-aware type system for data-race protection and guaranteed initialization
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Concurrency by modularity: design patterns, a case in point
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Babylon v2.0: middleware for distributed, parallel, and mobile java applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Exploiting dynamic proxies in middleware for distributed, parallel, and mobile java applications
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Hierarchical multithreading: programming model and system software
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Efficient system-enforced deterministic parallelism
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Synthesizing concurrent schedulers for irregular algorithms
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
CIEL: a universal execution engine for distributed data-flow computing
Proceedings of the 8th USENIX conference on Networked systems design and implementation
Implicitly threaded parallelism in manticore
Journal of Functional Programming
Proceedings of the twenty-third annual ACM symposium on Parallelism in algorithms and architectures
An automatic parallelization framework for algebraic computation systems
Proceedings of the 36th international symposium on Symbolic and algebraic computation
A contextual semantics for concurrent Haskell with futures
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
First class futures: specification and implementation of update strategies
Euro-Par 2010 Proceedings of the 2010 conference on Parallel processing
Oracle scheduling: controlling granularity in implicitly parallel languages
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Toward a formal semantic framework for deterministic parallel programming
DISC'11 Proceedings of the 25th international conference on Distributed computing
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Analysis of recursively parallel programs
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Handling multiple concurrent exceptions in c++ using futures
Advanced Topics in Exception Handling Techniques
Ambient-Oriented exception handling
Advanced Topics in Exception Handling Techniques
Proceedings of the International Conference on Computer-Aided Design
Internally deterministic parallel algorithms can be fast
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
A concurrent lambda calculus with futures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Modularization of distributed web services using aspects with explicit distribution (AWED)
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
LCPC'09 Proceedings of the 22nd international conference on Languages and Compilers for Parallel Computing
Fastpath speculative parallelization
LCPC'09 Proceedings of the 22nd international conference on Languages and Compilers for Parallel Computing
Dependence analysis for safe futures
Science of Computer Programming
Ambient-Oriented programming in ambienttalk
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
A modal language for the safety of mobile values
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
A theory of speculative computation
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
ASPfun: A typed functional active object calculus
Science of Computer Programming
Optimizing data shuffling in data-parallel computation by understanding user-defined functions
NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation
BaLinda Lisp: Design and implementation
Computer Languages
Memory management for many-core processors with software configurable locality policies
Proceedings of the 2012 international symposium on Memory Management
Scalable concurrent and parallel mark
Proceedings of the 2012 international symposium on Memory Management
Functions as session-typed processes
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Distributed call-tracking for security
Computer Languages, Systems and Structures
Global Futures: A Multithreaded Execution Model for Global Arrays-based Applications
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
Isolating determinism in multi-threaded programs
RV'11 Proceedings of the Second international conference on Runtime verification
Conservative Concurrency in Haskell
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Seeing the futures: profiling shared-memory parallel racket
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Programming parallelism with futures in lustre
Proceedings of the tenth ACM international conference on Embedded software
Spotting code optimizations in data-parallel pipelines through PeriSCOPE
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Parallelism granules aggregation with the T-system
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Variable reassignment in the T++ parallel programming language
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Compositional reasoning about shared futures
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A new concurrency model for Scala based on a declarative dataflow core
Proceedings of the 4th Workshop on Scala
Analysis of Recursively Parallel Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Shared-memory multiprocessing for interactive theorem proving
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Expand, enlarge, and check for branching vector addition systems
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Using HPX and LibGeoDecomp for scaling HPC applications on heterogeneous supercomputers
ScalA '13 Proceedings of the Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems
Well-structured futures and cache locality
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Hi-index | 0.02 |
Multilisp is a version of the Lisp dialect Scheme extended with constructs for parallel execution. Like Scheme, Multilisp is oriented toward symbolic computation. Unlike some parallel programming languages, Multilisp incorporates constructs for causing side effects and for explicitly introducing parallelism. The potential complexity of dealing with side effects in a parallel context is mitigated by the nature of the parallelism constructs and by support for abstract data types: a recommended Multilisp programming style is presented which, if followed, should lead to highly parallel, easily understandable programs.Multilisp is being implemented on the 32-processor Concert multiprocessor; however, it is ultimately intended for use on larger multiprocessors. The current implementation, called Concert Multilisp, is complete enough to run the Multilisp compiler itself and has been run on Concert prototypes including up to eight processors. Concert Multilisp uses novel techniques for task scheduling and garbage collection. The task scheduler helps control excessive resource utilization by means of an unfair scheduling policy; the garbage collector uses a multiprocessor algorithm based on the incremental garbage collector of Baker.