• Publications
  • Influence
X10: an object-oriented approach to non-uniform cluster computing
TLDR
A modern object-oriented programming language, X10, is designed for high performance, high productivity programming of NUCC systems and an overview of the X10 programming model and language, experience with the reference implementation, and results from some initial productivity comparisons between the X 10 and Java™ languages are presented. Expand
Concurrent constraint programming
TLDR
This paper presents a new and very rich class of (concurrent) programming languages, based on the notion of computing with partial information, and the concomitant notions of consistency and entailment, and develops the cc family of languages, which is very similar to Milner's CCS. Expand
Combinatorial sketching for finite programs
TLDR
SKETCH is a language for finite programs with linguistic support for sketching and its combinatorial synthesizer is complete for the class of finite programs, guaranteed to complete any sketch in theory, and in practice has scaled to realistic programming problems. Expand
The semantic foundations of concurrent constraint programming
TLDR
The basic ideas involved in giving a coherent semantic account of concurrent constraint programming are developed, including a simple and general formulation of the notion that a constraint system is a system of partial information. Expand
Foundations of timed concurrent constraint programming
TLDR
This work develops a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way and shows how programs may be compiled into finite-state machines with loop-free computations at each state, thus guaranteeing bounded response time. Expand
Concurrent constraint programming languages
TLDR
This thesis develops the framework of concurrent constraint programming, and presents a compiler for a (superset of) Atomic Herbrand, a cc language over the Herbrand constraint system, and a number of constraint systems which may be used to instantiate the cc family of languages. Expand
X10: concurrent programming for modern architectures
TLDR
The tutorial illustrate how common design patterns for concurrency and distribution can be naturally expressed in X10 (wait-free algorithms, data-flow synchronization, streaming parallelism, co-processor Parallelism, hierarchical task-parallelism and phased computations). Expand
LFG Semantics via Constraints
TLDR
This work presents a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature of information in the functional structure of LFG. Expand
Resilient X10: efficient failure-aware programming
TLDR
This paper builds a complete implementation of the X10 language and implementation, capable of executing benchmark applications on hundreds of nodes, and describes the algorithms required to make the language runtime resilient. Expand
Timed Default Concurrent Constraint Programming
TLDR
A complete treatment of hiding, along with a detailed treatment of the model, is presented, which shows that the model is expressive by defining combinators from the synchronous languages and supports the properties of multiform time, orthogonal pre-emption and executable specifications. Expand
...
1
2
3
4
5
...