• Publications
  • Influence
X10: an object-oriented approach to non-uniform cluster computing
TLDR
We have designed a modern object-oriented programming language, X10, for high performance, high productivity programming of Non-Uniform Cluster Computing (NUCC) systems. Expand
  • 1,468
  • 142
  • PDF
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. cc(↓, →) is (intentionally!) very similar to Milner's CCS, but for the radically different underlying concept of communication. Expand
  • 908
  • 80
  • PDF
Combinatorial sketching for finite programs
TLDR
We develop SKETCH, a language for finite programs with linguistic support for sketching. Expand
  • 595
  • 71
  • PDF
The semantic foundations of concurrent constraint programming
TLDR
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of store-as-constraint and process as information transducer. Expand
  • 483
  • 63
  • PDF
Concurrent constraint programming languages
This thesis develops the framework of concurrent constraint programming. In this paradigm, concurrently executing agents interact by placing, checking and instantiating constraints on sharedExpand
  • 326
  • 26
Foundations of timed concurrent constraint programming
TLDR
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. Expand
  • 167
  • 26
  • PDF
X10: concurrent programming for modern architectures
TLDR
X10 is a second generation OO language designed to address both programmer productivity and parallel performance for modern architectures. Expand
  • 94
  • 16
LFG Semantics via Constraints
TLDR
We present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature of information in the functional structure. Expand
  • 80
  • 13
  • PDF
Timed Default Concurrent Constraint Programming
TLDR
We provide compositional semantics to the non-monotonic version of concurrent constraint programming (Default cc) obtained by changing the underlying logic from intuitionistic logic to Reiter's default logic. Expand
  • 136
  • 10
  • PDF
Resilient X10: efficient failure-aware programming
Scale-out programs run on multiple processes in a cluster. In scale-out systems, processes can fail. Computations using traditional libraries such as MPI fail when any component process fails. TheExpand
  • 52
  • 10
  • PDF