Distributed execution of functional programs using serial combinators
IEEE Transactions on Computers
Memory coherence in shared virtual memory systems
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Distrbution and Abstract Types in Emerald
IEEE Transactions on Software Engineering - Special issue on distributed systems
Parallel logic programming languages
Proceedings on Third international conference on logic programming
Parallel programming in a virtual object space
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
Communications of the ACM
The Balance Multiprocessor System
IEEE Micro
Large-scale parallel programming: experience with BBN butterfly parallel processor
PPEALS '88 Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
The Amber system: parallel programming on a network of multiprocessors
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
The VAL Language: Description and Analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Distributed data structures in Linda
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automated Protocol Implementation with RTAG
IEEE Transactions on Software Engineering
Parallel programming with coordination structures
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A dynamic scheduling method for irregular parallel programs
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Orchestrating interactions among parallel computations
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Coordinating functional processes with Haskell#
Proceedings of the 2002 ACM symposium on Applied computing
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
A tale of two planners: modular robotic planning with LDP
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Hi-index | 0.00 |
Parallel programs consist of a group of sequentially executing sub-computations which cooperate to solve a problem. To exploit existing sequential code and available optimization tools, programmers usually choose to write these sub-computations in traditional imperative languages such as C and Fortran. A coordination language expresses data exchange and synchronization among such sub-computations. Current coordination languages support a variety of interaction models. Delirium introduces a new, more restrictive coordination model that provides the benefit of deterministic execution without requiring programmers to re-write large amounts of code. Current coordination languages are embedded; they work through the insertion of coordination primitives within a host language. Delirium is the first example of an embedding coordination language. A Delirium program is a compact representation of a framework for accomplishing a task in parallel.