O Solar-lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia
Performance of stencil computations can be significantly improved through smart implementations that improve memory locality, computation reuse, or parallelize the computation. Unfortunately,...
O Solar-lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia
Performance of stencil computations can be significantly improved through smart implementations that improve memory locality, computation reuse, or parallelize the computation. Unfortunately,...
Christian Grothoff, Jens Palsberg, Vijay Saraswat
Multicore systems with non-uniform memory are of increasing importance in desktop and server computing. Such systems represent both potentially vast computing power and significant research problems...
Testing concurrent systems: An interpretation of intuitionistic logic (2008)
Radha Jagadeesan, Gopalan Nadathur, Vijay Saraswat
Abstract. We present the natural confluence of higher-order hereditary Harrop formulas (HH formulas) as developed concretely in λProlog, Constraint Logic Programming (CLP, [JL87]), and Concurrent...
Constrained Types for Object-Oriented Languages (2008)
Vijay Saraswat, Nathaniel Nystrom, Jens Palsberg, Christian Grothoff
Abstract. X10 is a modern object-oriented language designed for productivity and performance in concurrent and distributed systems. In this setting, dependent types offer significant opportunities...
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
Synchronous programming. Discrete event driven systems [HP85,Ber89,Hal93] are
O Solar-lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia
Performance of stencil computations can be significantly improved through smart implementations that improve memory locality, computation reuse, or parallelize the computation. Unfortunately,...
O Solar-lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia
Performance of stencil computations can be significantly improved through smart implementations that improve memory locality, computation reuse, or parallelize the computation. Unfortunately,...
O Solar-lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia
Performance of stencil computations can be significantly improved through smart implementations that improve memory locality, computation reuse, or parallelize the computation. Unfortunately,...
Abstract A Theory of Memory Models (Extended Abstract) ∗ (2008)
Vijay Saraswat, Radha Jagadeesan, Maged Michael, Christoph Praun
A memory model for a concurrent imperative programming language specifies which writes to shared variables may be seen by reads performed by other threads. We present a simple mathematical framework...
Determinate Imperative Programming Determinate Imperative Programming (2008)
Vijay Saraswat, Extended Abstract, Radha Jagadeesan, Christoph Von Praun
A clocked interpretation of imperative syntax
Abstract A Theory of Memory Models (2008)
Vijay Saraswat, Radha Jagadeesan, Maged Michael, Christoph Praun
A memory model for a concurrent imperative programming language specifies which writes to shared variables may be seen by reads performed by other threads. We present a simple mathematical framework...
Catuscia Palamidessi, Vijay Saraswat, Frank Valencia, Bjorn Victor
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to conduct our study. We...
Safe Arrays via Regions and Dependent Types (2008)
Christian Grothoff, Jens Palsberg, Vijay Saraswat
Abstract. Arrays over regions of points were introduced in ZPL in the late 1990s and later adopted in Titanium and X10 as a means of simplifying the programming of high-performance software. A region...
Abstract Sketching with Partial Programs (2008)
O Solar-lezama, Liviu Tancau, David Turner, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The synthesizer then...
Testing concurrent systems: An interpretation of intuitionistic logic (2008)
Radha Jagadeesan, Gopalan Nadathur, Vijay Saraswat
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programming (CCP, [Sar93]) as...
18 Automated Reasoning Critical Reasoning (2008)
Olivier Raiman, Johan De Kleer, Vijay Saraswat
Model-based diagnosis algorithms face a combinatorial explosion. To combat this explosion, this paper presents a fundamentally new architecture, IMPLODE, which constructs an abstract representation...
Timed Constraint Programming: A Declarative Approach to Usage Control (2008)
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay Saraswat
This paper focuses on policy languages for (role-based) access control [14, 32], especially in their modern incarnations in the form of trust-management systems [9] and usage control [30, 31]. Any...
4.4 Programming in Timed Concurrent Constraint Languages (2007)
Vijay Saraswat, Radha Jagadeesan, Vinheet Gupta
saraswat parc.xerox. corn The areas of Qualitative Reasoning about physical systems (Weld and de Kleer 1989), reasoning about action and state change (Ginsberg 1987), reactive, realtime computing...
Rajeev Motwani, Rina Panigrahy, Vijay Saraswat, Suresh Venkatasubramanian
Protection systems have provided the formal basis for the study of security and access mechanisms in computer systems for many years and, more recently, in the context of trust management. The main...
Vijay Saraswat, Radha Jagadeesan
We are developing a secure programming language, M, that can be used for programming networked spaces: dynamically extensible, multi-person, networked, persistent, distributed virtual worlds (such as...
Static support for capability-based programming in Java (2007)
Vijay Saraswat, Radha Jagadeesan
We are developing a secure programming language, M, that can be used for programming networked spaces: dynamically extensible, multi-person, networked, persistent, distributed virtual worlds (such as...
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus (2006)
Palamidessi, Catuscia, Saraswat, Vijay, Valencia, Frank, Victor, Bjorn
We present an expressiveness study of linearity and persistence of processes. We choose the pi-calculus, one of the main representatives of process calculi, as a framework to conduct our study. We...
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus (2006)
Palamidessi, Catuscia, Saraswat, Vijay, Valencia, Frank, Victor, Bjorn
We present an expressiveness study of linearity and persistence of processes. We choose the pi-calculus, one of the main representatives of process calculi, as a framework to conduct our study. We...
Combinatorial sketching for finite programs (2006)
O Solar-lezama, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The synthesizer then...
Euler: an applied lcc language for graph rewriting (2004)
We present a simple applied linear concurrent constraint programming (lcc) language, Euler, intended primarily for graph rewriting applications, as in formal molecular biology. The language permits...
Concurrent Constraint-based Memory Machines: A framework for Java Memory Models (2004)
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,AG95,APP99]. Such a...
jcc: Integrating Timed Default Concurrent Constraint Programming Into Java (2003)
Vijay Saraswat, Radha Jagadeesan, Vineet Gupta
This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7].
Patrick Lincoln, Vijay Saraswat
Following the formula-as-state and proof-as-action analogy due to Girard, and using ideas of process testing [dNH84,Hen88], we present the proof-as-concurrent-computation paradigm. Assume given a...
Linear Logic for Meaning Assembly (2002)
Mary Dalrymple, John Lamping, Fernando Pereira, Vijay Saraswat
. Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items, together with composition rules for computing the meanings of larger units from the...
A correction to the definition of hiding in tcc, Default tcc and Hybrid cc (2002)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, P [[a] X
nce in the above example, the sequence (X = 1; true) 2 P [[if (X = 1) else (Y = 2)]]. However (X = 1) 62 P [[if (X = 1) else (Y = 2)]] X , because the sequence (true) 2 P [[if (X = 1) else (Y = 2)]],...
Design, Implementation, and Evaluation of the Constraint Language cc(FD) (1998)
Pascal Van Hentenryck, Vijay Saraswat, Yves Deville
This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD) is a declarative nondeterministic constraint logic language over finite domains based...
cc -- A generic framework for domain specific languges (1997)
cc programming is a general framework for constructing a wide variety of domain-specific languages. In this paper we show how such languages can be easily constructed using cc, and why cc is...
A language is type-safe if the only operations that can be performed on data in the language are those sanctioned by the type of the data. Java is not type-safe, though it was intended to be. A Java...
Probabilistic Concurrent Constraint Programming (1997)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators for default reasoning. We...
Relating Resource-Based Semantics to Categorial Semantics (1997)
Mary Dalrymple, Vineet Gupta, John Lamping, Vijay Saraswat
This paper shows that a significant fragment of the glue approach can be reformulated to separate out the meaning composition in a way that is very similar to that of the categorial approaches....
cc - A Generic Framework for Domain Specific Languages (Extended Abstract) (1997)
) Markus P J Fromherz Vineet Gupta Vijay Saraswat y Abstract cc programming is a general framework for constructing a wide variety of domain-specific languages. In this paper we show how such...
cc -- A generic framework for domain specific languges (1997)
cc programming is a general framework for constructing a wide variety of domain-specific languages. In this paper we show how such languages can be easily constructed using cc, andwhycc is...
Probabilistic concurrent constraint programming (1997)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators for default...
Testing, Generating, and Explaining Control Procedures (1996)
Nasa Grant Nag, Richard Fikes, Yumi Iwasaki, Daniel G. Bobrow, Vijay Saraswat
The economics and power of digital computation make it the medium of choice for integrating and controlling complex systems of electro-mechanical and computational components. However, the modeling,...
Hybrid cc, Hybrid Automata and Program Verification (1996)
Extend Ed, Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
) Vineet Gupta ? Radha Jagadeesan ?? Vijay Saraswat ? 1 Introduction Synchronous programming. Discrete event driven systems [HP85,Ber89,Hal93] are systems that react with their environment at a rate...
Timed Default Concurrent Constraint Programming (1996)
Vijay Saraswat, Radha Jagadeesan, Vineet Gupta
Synchronous programming (Berry (1989)) is a powerful approach to programming reactive systems. Following the idea that "processes are relations extended over time" (Abramsky (1993)), we...
Models for Concurrent Constraint Programming (1996)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneously active), communication...
Constraint (Logic) Programming: A Bibliography (1996)
Michael Jampel, Jean-louis Lassez, Vijay Saraswat, C. Ziegler, M. Surauer
ion for unstructured CSPs. In SARA'92: Proceedings of the Symposium on Abstraction, Reformulation, and Approximation, pages 126--133, 1992. http://www.cs.utexas.edu/users/schrag/SARA.ps. [733]...
Truly Concurrent Constraint Programming (1996)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
. Concurrent Constraint Programming (CCP) is a powerful computation model for concurrencyobtained by internalizing the notion of computation via deduction over (first-order) systems of partial...
Probabilistic Concurrent Constraint Programming (1996)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of Probabilistic cc by synthesizing combinators for default...
Models for Concurrent Constraint Programming (1996)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
. Concurrent constraint programming is a simple but powerful framework for computation basedon four basic computational ideas: concurrency(mul- tiple agents are simultaneouslyactive),...
Quantifiers, Anaphora, and Intensionality (1995)
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay
The relationship between Lexical-Functional Grammar (LFG) {\em functional structures} (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear...
Linear Logic for Meaning Assembly (1995)
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their...
The Semantics of Resource Sharing in Lexical-Functional Grammar (1995)
Kehler, Andrew, Dalrymple, Mary, Lamping, John, Saraswat, Vijay
We argue that the resource sharing that is commonly manifest in semantic accounts of coordination is instead appropriately handled in terms of structure-sharing in LFG f-structures. We provide an...
Programming in Hybrid Constraint Languages (1995)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, Daniel G Bobrow
. We present a language, Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place constraints upon the...
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? (1995)
Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Daniel Bobrow, Vineet Gupta
Many of today's electro-mechanical devices exhibit both continuous and discrete behavior. Modeling these hybrid systems presents special challenges for automated modeling and simulation. We show...
Linear Logic for Meaning Assembly (1995)
Mary Dalrymple, John Lamping, Fernando Pereira, Vijay Saraswat
This paper provides a brief overview of our ongoing investigation in the use of formal deduction to explicate the relationship between syntactic analyses in Lexical-Functional Grammar (LFG) and...
Design, Implementation, and Evaluation of the Constraint Language cc(FD) (1995)
Pascal Van Hentenryck, Vijay Saraswat, Yves Deville
This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD) is a declarative nondeterministic constraint logic language over finite domains based...
The Semantics of Resource Sharing in Lexical-Functional Grammar (1995)
Lexical-functional Grammar, Andrew Kehler, Mary Dalrymple, John Lamping, Vijay Saraswat
We argue that the resource sharing that is commonly manifest in semantic accounts of coordination is instead appropriately handled in terms of structure-sharing in LFG f-structures. We provide an...
Yumi Iwasaki, Adam Farquhar (1995)
Knowledge Systems, Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Daniel Bobrow, Vineet Gupta
Many of today's electro-mechanical devices exhibit both continuous and discrete behavior. Modeling these hybrid systems presents special challenges for automated modeling and simulation. We show...
A Deductive Account of Quantification in LFG (1994)
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay
The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semantic interpretations can be expressed directly in a fragment of linear logic...
Intensional Verbs Without Type-Raising or Lexical Ambiguity (1994)
Dalrymple, Mary, Lamping, John, Pereira, Fernando, Saraswat, Vijay
We present an analysis of the semantic interpretation of intensional verbs such as seek that allows them to take direct objects of either individual or quantifier type, producing both de dicto and de...
Programming in timed concurrent constraint languages (1994)
Vijay Saraswat, Radha Jagadeesan, Vineet Gupta
Advanced Science Institute Series, Series F: Computer and System Sciences, 1994 1
CC Programs with both In- and Non-determinism: A Concurrent Semantics (1994)
Ugo Montanari, Francesca Rossi, Vijay Saraswat
We present a concurrent semantics for concurrent constraint (cc) programming framework with both ("committed choice") indeterminism and ("backtracking") nondeterminism. The...
CC Programs with both In- and Non-determinism: A Concurrent Semantics (1994)
Ugo Montanari, Francesca Rossi, Vijay Saraswat
. We present a concurrent semantics for concurrent constraint (cc) programming framework with both ("committed choice") indeterminism and ("backtracking") nondeterminism. The...
Online Scheduling with Lookahead: Multipass Assembly Lines (1994)
Rajeev Motwani, Vijay Saraswat, Eric Torng
This paper describes our use of competitive analysis and the on-line model of computation in a product development setting; specifically, we use competitive analysis to evaluate on-line scheduling...
Non-Omniscient Scheduling (1994)
Eric Torng, Rajeev Motwani, Vijay Saraswat
The goal of this research is to derive practically meaningful theoretical results which will aid the practitioner in the design and implementation of software and hardware systems. This leads to an...
LFG semantics via constraints (1993)
Mary Dalrymple, John Lamping, Vijay Saraswat
Semantic theories of natural language as-sociate meanings with utterances by pro-viding meanings for lexical items and rules for determining the meaning of larger units given the meanings of their...
LFG semantics via constraints (1993)
Mary Dalrymple, John Lamping, Vijay Saraswat
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their...
A hyperdoctrinal view of constraint systems (1993)
Prakash Panangaden, Vijay Saraswat, Xerox Parc, P. J. Scott
We study a relationship between logic and computation via concurrent constraint programming. In previous papers it has been shown how a simple language for specifying asynchronous concurrent...
Design, Implementation, and Evaluation of the Constraint Language cc(FD) (1993)
Pascal Van Hentenryck, Pascal Van Hentenryck, Vijay Saraswat, Vijay Saraswat, Yves Deville, Yves Deville
This paper describes the design, implementation, and applications of the constraint logic language cc(FD). cc(FD) is a declarative nondeterministic constraint logic language over finite domains based...
A Hyperdoctrinal view of Concurrent Constraint Programming (1992)
Prakash Panangaden, Vijay Saraswat, P. J. Scott
Abstract: We study a relationship between logic and computation via concurrent constraint programming. In previous papers it has been shown how a simple language for specifying asynchronous...
Higher-Order, Linear, Concurrent Constraint Programming (1992)
Vijay Saraswat, Patrick Lincoln
We present a very simple and powerful framework for indeterminate, asynchronous, higher-order computation based on the formula-as-agent and proof-ascomputation interpretation of (higher-order) linear...
Semantic Foundations of Concurrent Constraint Programming (1991)
Vijay Saraswat, Xerox Parc, Prakash Panangaden, Martin Rinard
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. The...
Concurrent constraint programming languages /--Vijay Anand Saraswat. (1989)
"January 20, 1989."
Mary Dalrymple John, John Lamping, Vijay Saraswat
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their...
Hybrid cc, Hybrid Automata and Program Verification (Extended Abstract)
Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
) Vineet Gupta ? Radha Jagadeesan ?? Vijay Saraswat ? 1 Introduction Synchronous programming. Discrete event driven systems [HP85,Ber89,Hal93] are systems that react with their environment at a rate...