V
Vijay Saraswat
Researcher at IBM
Publications - 144
Citations - 9090
Vijay Saraswat is an academic researcher from IBM. The author has contributed to research in topics: Constraint programming & Constraint logic programming. The author has an hindex of 45, co-authored 144 publications receiving 8806 citations. Previous affiliations of Vijay Saraswat include AT&T & Stanford University.
Papers
More filters
Proceedings ArticleDOI
X10: an object-oriented approach to non-uniform cluster computing
Philippe Charles,Christian Grothoff,Vijay Saraswat,Christopher Michael Donawa,Allan H. Kielstra,Kemal Ebcioglu,Christoph von Praun,Vivek Sarkar +7 more
TL;DR: 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.
Book
Concurrent constraint programming
Vijay Saraswat,Martin Rinard +1 more
TL;DR: 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.
Proceedings ArticleDOI
Combinatorial sketching for finite programs
TL;DR: 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.
Proceedings ArticleDOI
The semantic foundations of concurrent constraint programming
TL;DR: 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.