# Vijay A. Saraswat

## contact information

Research Staff Member and Manager

Thomas J. Watson Research Center, Yorktown Heights, NY USA

+19149453307

Thomas J. Watson Research Center, Yorktown Heights, NY USA

+19149453307

## links

### Professional Associations

**Professional Associations:**ACM | ACM SIGPLAN

### more information

**More information:**My personal web site (need to update it!)

**2015**

A resilient framework for iterative linear algebra applications in X10

Sara S Hamouda, Josh Milthorpe, Peter E Strazdins, Vijay Saraswat

Sara S Hamouda, Josh Milthorpe, Peter E Strazdins, Vijay Saraswat

*Parallel and Distributed Processing Symposium Workshop (IPDPSW), 2015 IEEE International*,*pp. 970--979*
Logical conditional preference theories

Cristina Cornelio, Andrea Loreggia, Vijay Saraswat

Cristina Cornelio, Andrea Loreggia, Vijay Saraswat

*arXiv preprint arXiv:1504.06374*, 2015
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization

Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, Philippe Codognet

Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, Philippe Codognet

*29th AAAI Conference on Artificial Intelligence*, 2015
A Local Search Algorithm for SMTI and its extension to HRT Problems

Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, Philippe Codognet

Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, Philippe Codognet

*3rd International Workshop on Matching Under Preferences*, 2015
Deep Learning for Algorithm Portfolios

Andrea Loreggia, Yuri Malitsky, Horst Samulowitz, Vijay Saraswat

2015 - cs.toronto.edu

Andrea Loreggia, Yuri Malitsky, Horst Samulowitz, Vijay Saraswat

2015 - cs.toronto.edu

**2014**

Parallel combinatorial optimization with decision diagrams

David Bergman, Andre A Cire, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, Willem-Jan van Hoeve

David Bergman, Andre A Cire, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, Willem-Jan van Hoeve

*Integration of AI and OR Techniques in Constraint Programming*,*pp. 351--367*, Springer, 2014
From Sentiment Analysis to Preference Aggregation.

Gr, Umberto i, Andrea Loreggia, Francesca Rossi, Vijay A Saraswat

Gr, Umberto i, Andrea Loreggia, Francesca Rossi, Vijay A Saraswat

*ISAIM*, 2014
X10 and APGAS at petascale

Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, M Vaziri, ana

Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, M Vaziri, ana

*ACM SIGPLAN Notices*,*pp. 53--66*, 2014
Resilient X10: Efficient failure-aware programming

David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay Saraswat, Mikio Takeuchi, Olivier Tardieu

David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay Saraswat, Mikio Takeuchi, Olivier Tardieu

*ACM SIGPLAN Notices**49*(*8*), 67--80, ACM, 2014
GLB: Lifeline-based Global Load Balancing Library in X10

Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay Saraswat, Mikio Takeuchi

Abstract

Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay Saraswat, Mikio Takeuchi

*Proceedings of the First Workshop on Parallel Programming for Analytics Applications*,*pp. 31--40*, ACM, 2014Abstract

Semantics of (Resilient) X10

Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar, Olivier Tardieu

Abstract

Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar, Olivier Tardieu

*European Conference on Object-Oriented Programming (ECOOP)*,*pp. 670--696*, Springer, 2014Abstract

**2013**

Report on the Programming Language X10. Version 2.3

Vijay Saraswat, Bard Bloom, Igor Peshansky, Olivier Tardieu, David Grove

2013 - Feb, Feb

Vijay Saraswat, Bard Bloom, Igor Peshansky, Olivier Tardieu, David Grove

2013 - Feb, Feb

Parallel SAT Solver SatX10-GlCi 1.1

Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, George Katsirelos, Laurent Simon

Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat, George Katsirelos, Laurent Simon

*Proceedings of SAT Competition 2013; Solver and*, 83
A brief introduction to X10 (for the high performance programmer)

V Saraswat, Olivier Tardieu, David Grove, David Cunningham, Mikio Takeuchi, Benjamin Herta

2013 - Citeseer, Citeseer

V Saraswat, Olivier Tardieu, David Grove, David Cunningham, Mikio Takeuchi, Benjamin Herta

2013 - Citeseer, Citeseer

Java interoperability in managed X10

Mikio Takeuchi, David Cunningham, David Grove, Vijay Saraswat

Mikio Takeuchi, David Cunningham, David Grove, Vijay Saraswat

*Proceedings of the third ACM SIGPLAN X10 Workshop*,*pp. 39--46*, ACM, 2013
Array dataflow analysis for polyhedral X10 programs

Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, Vijay Saraswat

Abstract

Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, Vijay Saraswat

*Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming*,*pp. 23-34*, 2013Abstract

Checking Race Freedom of Clocked X10 Programs

Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, Vijay Saraswat

arXiv preprint arXiv: â€¦, 2013 - arxiv.org

Abstract Submitted 18 Nov, 2013

Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye, Vijay Saraswat

arXiv preprint arXiv: â€¦, 2013 - arxiv.org

Abstract Submitted 18 Nov, 2013

**2012**

Parallel SAT Solver SatX10-EbMiMiGlCiCo 1.0

Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat

Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat

*Proceedings of SAT Challenge 2012; Solver and*, 56
SatX10: A Scalable Plug&Play Parallel SAT Framework

Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat

Abstract

Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay Saraswat

*Theory and Applications of Satisfiability Testing -- SAT 2012, Lecture Notes in Computer Science*,*pp. 463-468*, SpringerAbstract

Constrained kinds

O. Tardieu, N. Nystrom, I. Peshansky, V. Saraswat

Abstract

O. Tardieu, N. Nystrom, I. Peshansky, V. Saraswat

*Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPSLA'12*,*pp. 811--830*, ACM, 2012Abstract

Object initialization in X10

Yoav Zibin, David Cunningham, Igor Peshansky, Vijay Saraswat

Abstract

Yoav Zibin, David Cunningham, Igor Peshansky, Vijay Saraswat

*ECOOP 2012--Object-Oriented Programming*,*pp. 207--231*, Springer Berlin HeidelbergAbstract

X10 for productivity and performance at scale

Olivier Tardieu, David Grove, Bard Bloom, David Cunningham, Benjamin Herta, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri

received the best performance award

Olivier Tardieu, David Grove, Bard Bloom, David Cunningham, Benjamin Herta, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri

*A Submission to the 2012 HPC Class II Challenge*received the best performance award

M3R: increased performance for in-memory Hadoop jobs

Avraham Shinnar, David Cunningham, Vijay Saraswat, Benjamin Herta

Abstract

Avraham Shinnar, David Cunningham, Vijay Saraswat, Benjamin Herta

*Proceedings of the VLDB Endowment**5*(*12*), 1736--1747, VLDB Endowment, 2012Abstract

**2011**

GPU Programming in a High Level Language: compiling X10 to CUDA

Dave Cunningham, Rajesh Bordawekar, Vijay Saraswat

Abstract

Dave Cunningham, Rajesh Bordawekar, Vijay Saraswat

*Proceedings of the ACM SIGPLAN X10'11 Workshop*, ACM, 2011Abstract

A Performance Model for X10 Applications

David Grove, Olivier Tardieu, David Cunningham, Ben Herta, Igor Peshansky, Vijay Saraswat

Abstract

David Grove, Olivier Tardieu, David Cunningham, Ben Herta, Igor Peshansky, Vijay Saraswat

*Proceeding X10 '11 Proceedings of the 2011 ACM SIGPLAN X10 Workshop*Abstract

Lifeline-based global load balancing

Vijay A Saraswat, Prabhanjan Kambadur, Sreedhar Kodali, David Grove, Sriram Krishnamoorthy

Abstract

Vijay A Saraswat, Prabhanjan Kambadur, Sreedhar Kodali, David Grove, Sriram Krishnamoorthy

*Proceedings of the 16th ACM symposium on Principles and Practice of Parallel Programming (PPoPP)*,*pp. 201--212*, ACM, 2011Abstract

**2010**

Fast PGAS implementation of distributed graph algorithms

Guojing Cong, George Almasi, Vijay Saraswat

Guojing Cong, George Almasi, Vijay Saraswat

*Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis*,*pp. 1--11*
The Asynchronous Partitioned Global Address Space Model

V. Saraswat, G. Almasi, G. Bikshandi, C. Cascaval, D. Cunningham, D. Grove, S. Kodali, I. Peshansky, O. Tardieu

V. Saraswat, G. Almasi, G. Bikshandi, C. Cascaval, D. Cunningham, D. Grove, S. Kodali, I. Peshansky, O. Tardieu

*AMP'10: Proceedings of The First Workshop on Advances in Message Passing*, 2010**2009**

Concurrency refactoring for x10

R Fuhrer, Vijay Saraswat

R Fuhrer, Vijay Saraswat

*3rd ACM Workshop on Refactoring Tools*,*pp. 1--4*, 2009
Efficient, portable implementation of asynchronous multi-place programs

Ganesh Bikshandi, Jose G Castanos, Sreedhar B Kodali, V Krishna Nandivada, Igor Peshansky, Vijay A Saraswat, Sayantan Sur, Pradeep Varma, Tong Wen

Abstract

Ganesh Bikshandi, Jose G Castanos, Sreedhar B Kodali, V Krishna Nandivada, Igor Peshansky, Vijay A Saraswat, Sayantan Sur, Pradeep Varma, Tong Wen

*ACM Symposium on Principles and Practice of Parallel Programming (PPoPP)*,*pp. 271--282*, ACM, 2009Abstract

Idempotent work stealing

Maged M Michael, Martin T Vechev, Vijay A Saraswat

Abstract

Maged M Michael, Martin T Vechev, Vijay A Saraswat

*PPoPP, ACM Sigplan Notices*,*pp. 45--54*, ACM, 2009Abstract

Fast PGAS connected components algorithms

Guojing Cong, Gheorghe Almasi, Vijay Saraswat

Guojing Cong, Gheorghe Almasi, Vijay Saraswat

*Proceedings of the Third Conference on Partitioned Global Address Space Programing Models*,*pp. 13*, 2009**2008**

Constrained types for object-oriented languages

N Nystrom, V Saraswat, J Palsberg, C Grothoff

Abstract

N Nystrom, V Saraswat, J Palsberg, C Grothoff

*OOPSLA*,*pp. 457-474*, ACM, 2008Abstract

Type inference for locality analysis of distributed data structures

S. Chandra, V. Saraswat, V. Sarkar, R. Bodik

Abstract

S. Chandra, V. Saraswat, V. Sarkar, R. Bodik

*ACM Symposium on Principles and Practice of Parallel Programming (PPOPP)*,*pp. 11--22*, ACM, 2008Abstract

**2007**

An annotation and compiler plugin system for X10

Nathaniel Nystrom, Vijay Saraswat

Technical Report, Technical Report RC24198, IBM TJ Watson Research Center, 2007

Nathaniel Nystrom, Vijay Saraswat

Technical Report, Technical Report RC24198, IBM TJ Watson Research Center, 2007

Sketching stencils

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Ratislav Bodik, Vijay Saraswat, Sanjit Seshia

Abstract

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Ratislav Bodik, Vijay Saraswat, Sanjit Seshia

*PLDI*,*pp. 167--178*, ACM, 2007Abstract

X10: concurrent programming for modern architectures

VA Saraswat, V Sarkar, C von Praun

Abstract Tutorial

VA Saraswat, V Sarkar, C von Praun

*Proceeding PPoPP '07 Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming*,*pp. 271 - 271*, 2007Abstract Tutorial

A Theory of Memory Models

Vijay Saraswat, Radha Jagadeesan, Maged M Michael, Christoph von Praun

Abstract

Vijay Saraswat, Radha Jagadeesan, Maged M Michael, Christoph von Praun

*ACM Symposium on Principles and Practice of Parallel Programming (PPoPP)*, ACM, 2007Abstract

An annotation and compiler plugin system for X10: A High-level Design Document

Nathaniel Nystrom, Vijay Saraswat

Technical Report, Technical Report RC24198, IBM TJ Watson Research Center, 2007

Abstract

Nathaniel Nystrom, Vijay Saraswat

Technical Report, Technical Report RC24198, IBM TJ Watson Research Center, 2007

Abstract

**2006**

On the expressiveness of linearity vs persistence in the asychronous pi-calculus

Catuscia Palamidessi, Vijay Saraswat, Frank D Valencia, Bj{"o}rn Victor

Catuscia Palamidessi, Vijay Saraswat, Frank D Valencia, Bj{"o}rn Victor

*Logic in Computer Science, 2006 21st Annual IEEE Symposium on*,*pp. 59--68*
On the expressiveness of linearity vs persistence in the asynchronous pi-calculus

C Palamidessi, V Saraswat, FD Valencia, B Victor

Abstract

C Palamidessi, V Saraswat, FD Valencia, B Victor

*21st Annual IEEE Symposium on Logic in Computer Science (LICS '06)*, IEEE Computer Society, 2006Abstract

Report on the programming language X10

V Saraswat

Technical report, IBM TJ Watson Research Center, 2006

V Saraswat

Technical report, IBM TJ Watson Research Center, 2006

Combinatorial Sketching for Finite Programs

Armando Solar-Lezama, Liviu Tancau, Ratislav Bodik, Sanjit Seshia, Vijay Saraswat

Abstract

Armando Solar-Lezama, Liviu Tancau, Ratislav Bodik, Sanjit Seshia, Vijay Saraswat

*ASPLOS*, ACM New York, 2006Abstract

**2005**

Multi-agent modeling and analysis of the brazilian food-poisoning scenario

Venkatesh Mysore, Ofer Gill, Raoul-Sam Daruwala, Marco Antoniotti, Vijay Saraswat, Bud Mishra

Venkatesh Mysore, Ofer Gill, Raoul-Sam Daruwala, Marco Antoniotti, Vijay Saraswat, Bud Mishra

*The Agent Conference*, 2005
Timed constraint programming: a declarative approach to usage control

Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay Saraswat

Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay Saraswat

*Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming*,*pp. 164--175*, 2005
X10: an object-oriented approach to non-uniform cluster computing

Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph Von Praun, Vivek Sarkar

Abstract

Philippe Charles, Christian Grothoff, Vijay Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph Von Praun, Vivek Sarkar

*Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications*,*pp. 519--538*, ACM, 2005Abstract

X10: an experimental language for high productivity programming of scalable systems

Kemal Ebcioglu, Vijay Saraswat, Vivek Sarkar

Abstract One of the first external presentations on X10

Kemal Ebcioglu, Vijay Saraswat, Vivek Sarkar

*Proceedings of the Second Workshop on Productivity and Performance in High-End Computing (PPHEC-05)*, 2005Abstract One of the first external presentations on X10

Testing Concurrent Systems: An Interpretation of Intuitionistic Logic

R Jagadeesan, G Nadathur, V Saraswat

Abstract

R Jagadeesan, G Nadathur, V Saraswat

*FSTTCS 2005*, Springer VerlagAbstract

Concurrent Clustered Programming

V Saraswat, R Jagadeesan

Abstract

V Saraswat, R Jagadeesan

*Concur 2005 - Concurrency Theory: 16th International Conference*,*pp. 353--367*Abstract

Timed constraint programming: a declarative approach to usage control

R Jagadeesan, W Marrero, C Pitcher, V Saraswat

Abstract

R Jagadeesan, W Marrero, C Pitcher, V Saraswat

*PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming*, ACM, 2005Abstract

**2004**

Concurrent constraint-based memory machines: a framework for java memory models (summary)

Vijay Saraswat

Vijay Saraswat

*Advances in Computer Science-ASIAN 2004. Higher-Level Decision Making*,*pp. 494--508*, Springer
X10: Programming for hierarchical parallelism and non-uniform data access

Kemal Ebcioglu, Vijay Saraswat, Vivek Sarkar

Kemal Ebcioglu, Vijay Saraswat, Vivek Sarkar

*Proceedings of the International Workshop on Language Runtimes, OOPSLA*, 2004
The IBM PERCS Project and New Opportunities for Compiler-Driven Performance via a New Programming &hell

K Ebcioglu, V Saraswat, V Sarkar

Compiler-Driven Performance Workshop (CASCON 2004)(October …

K Ebcioglu, V Saraswat, V Sarkar

Compiler-Driven Performance Workshop (CASCON 2004)(October …

http://www.cs.ualberta.ca/~amaral/cascon/CDP04/slides/sarkar.pdf

K Ebcioglu, V Saraswat, V Sarkar

3rd Workshop on Compiler-Driven Performance, 2004 - cs.ualberta.ca

K Ebcioglu, V Saraswat, V Sarkar

3rd Workshop on Compiler-Driven Performance, 2004 - cs.ualberta.ca

http://www.aurorasoft.net/workshops/lar04/Author_Files/Papers/Vivek_Sarkar_LaR_04_Paper_V1.pdf

K Ebcioglu, V Saraswat, V Sarkar

3rd International Workshop on Language Runtimes, 2004 - aurorasoft.net

K Ebcioglu, V Saraswat, V Sarkar

3rd International Workshop on Language Runtimes, 2004 - aurorasoft.net

The IBM PERCS Project and New Opportunities for Compiler-Driven Performance via a New Programming &hell

K Ebcioglu, V Saraswat, V Sarkar

2004 - October

K Ebcioglu, V Saraswat, V Sarkar

2004 - October

Concurrent Constraint-based Memory Machines: A framework for Java Memory Models

V Saraswat

Abstract

V Saraswat

*ASIAN*,*pp. 494-508*, Springer, 2004Abstract

**2003**

Advances in Computing Science -- Asian 2003, Programming Languages and Distributed Computation

VA Saraswat

VA Saraswat

*Lecture Notes in Computer Science*,*pp. 243-259*, Springer, 2003**2002**

Truly concurrent constraint programming

Vineet Gupta, Radha Jagadeesan, Vijay A Saraswat

Vineet Gupta, Radha Jagadeesan, Vijay A Saraswat

*Theoretical computer science**278*(*1*), 223--255, Elsevier, 2002**2000**

On the decidability of accessibility problems

Rajeev Motwani, Rina Panigrahy, Vijay Saraswat, Suresh Ventkatasubramanian

Rajeev Motwani, Rina Panigrahy, Vijay Saraswat, Suresh Ventkatasubramanian

*Proceedings of the thirty-second annual ACM symposium on Theory of computing*,*pp. 306--315*, 2000
On the decidability of accessibility problems (extended abstract)

R Motwani, R Panigrahy, V Saraswat, S Venkatasubramaniam

Abstract

R Motwani, R Panigrahy, V Saraswat, S Venkatasubramaniam

*Proceeding STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing*,*pp. 306--315*, 2000Abstract

**1999**

Model-based computing: Developing flexible machine control software

Markus PJ Fromherz, Vijay A Saraswat, Daniel G Bobrow

Markus PJ Fromherz, Vijay A Saraswat, Daniel G Bobrow

*Artificial Intelligence**114*(*1*), 157--202, Elsevier, 1999
Relating resource-based semantics to categorial semantics

Mary Dalrymple, Vaneet Gupta, John Lamping, Vijay Saraswat

Mary Dalrymple, Vaneet Gupta, John Lamping, Vijay Saraswat

*Semantics and syntax in Lexical Functional Grammar: the resource logic approach*, 261--280, 1999
Quantification, anaphora, and intensionality

Mary Dalrymple, John Lamping, Fern Pereira, o, Vijay Saraswat

Mary Dalrymple, John Lamping, Fern Pereira, o, Vijay Saraswat

*Dalrymple (1999)*, 39--89
Resource Sharing in Glue Language Semantics

A Kehler, M Dalrymple, J Lamping, V Saraswat

A Kehler, M Dalrymple, J Lamping, V Saraswat

*Semantics and Syntax in Lexical Functional Grammar*,*pp. 191-208*, Bradford Books, 1999
Quantifiers, Anaphora and Intensionality

M Dalrymple, J Lamping, F Pereira, V Saraswat

M Dalrymple, J Lamping, F Pereira, V Saraswat

*Semantics and Syntax in Lexical Functional Grammar*,*pp. 39-90*, A Bradford Book, 1999
Realting Resource-Based Semantics to Categorial Semantics

M Dalrymple, V Gupta, J Lamping, V Saraswat

M Dalrymple, V Gupta, J Lamping, V Saraswat

*Semantics and Syntax in Lexical Functional Grammar*,*pp. 261-280*, 1999
Quantifiers, Anaphora and Intensionality

M Dalrymple, J Lamping, F Pereira, V Saraswat

M Dalrymple, J Lamping, F Pereira, V Saraswat

*Semantics and Syntax in Lexical Functional Grammar*, 1999
Model-based computing: Developing flexible machine-control software

MPJ Fromherz, VA Saraswat, DG Bobrow

Abstract

MPJ Fromherz, VA Saraswat, DG Bobrow

*Artificial Intelligence**114*(*1-2*), 157-202, 1999Abstract

**1998**

Design requirements for network spaces

V Saraswat

V Saraswat

*Workshop on Modeling and Reasoning in Virtual Worlds, Virtual Worlds and Simulation Conference*, 1998
Online Scheduling with Lookahead: Multipass Assembly Lines

R Motwani, V Saraswat, E Torng

Abstract

R Motwani, V Saraswat, E Torng

*INFORMS Journal on Computing**10*(*3*), 331-340, 1998Abstract

Computing with continuous change

V Gupta, R Jagadeesan, VA Saraswat

Abstract

V Gupta, R Jagadeesan, VA Saraswat

*Science of Computer Programming -- Special issues on Concurrent Constraint Programming**30*(*1-2*), 3-49, Elsevier North-Holland, 1998Abstract

Design, implementation, and evaluation of the constraint language cc(FD)

P Van Hentenryck, V Saraswat, Y Deville

Abstract

P Van Hentenryck, V Saraswat, Y Deville

*Journal of Logic Programming**37*(*1-3*), 139-164, 1998Abstract

**1997**

Special Issue on Strategic Directions in Constraint Programming

Pascal Van Hentenryck, Vijay Saraswat, Peter Wegner, Jon Doyle

1997 - Kluwer Academic Publishers, Kluwer Academic Publishers

Pascal Van Hentenryck, Vijay Saraswat, Peter Wegner, Jon Doyle

1997 - Kluwer Academic Publishers, Kluwer Academic Publishers

ccâ€”A generic framework for domain-specific languages

Markus Fromherz, Vineet Gupta, Vijay Saraswat

Markus Fromherz, Vineet Gupta, Vijay Saraswat

*Kamin [43]*, 89--96, Citeseer, 1997
Constraint Programming: Strategic Directions

P Van Hentenryck, V Saraswat

P Van Hentenryck, V Saraswat

*Constraints: An International Journal**2*(*1*), 7-33, Kluwer Academic Publishers, 1997
The Java bytecode verification problem

V Saraswat

Web page at http://www. research. att. com/vj/main. html, 1997

Abstract

V Saraswat

Web page at http://www. research. att. com/vj/main. html, 1997

Abstract

Java is not type-safe

V Saraswat

AT&T Research, 1997 - cs.ucsb.edu

Abstract An unpublished web-note that pointed out that classloaders rendered Java not type-safe. These problems were fixed in the JDK 1.3 revision, see paper by Sheng Liang and Gilad Bracha. This note has been copied to several websites.

V Saraswat

AT&T Research, 1997 - cs.ucsb.edu

Abstract An unpublished web-note that pointed out that classloaders rendered Java not type-safe. These problems were fixed in the JDK 1.3 revision, see paper by Sheng Liang and Gilad Bracha. This note has been copied to several websites.

Probabilistic Concurrent Constraint Programming

V Gupta, R Jagadeesan, V Saraswat

Abstract

V Gupta, R Jagadeesan, V Saraswat

*Concur '97: Concurrency Theory*,*pp. 243--257*, Springer, 1997Abstract

Quantifiers, Anaphora and Intensionality

M Dalrymple, J Lamping, F Pereira, V Saraswat

Abstract

M Dalrymple, J Lamping, F Pereira, V Saraswat

*Journal of Logic, Language and Information**6*(*3*), 219-273, 1997Abstract

**1996**

Models for concurrent constraint programming

V Gupta, R Jagadeesan, V Saraswat

Abstract

V Gupta, R Jagadeesan, V Saraswat

*Proceedings of Concur '96 -- Concurrency Theory*,*pp. 66-83*, Springer Berlin Heidelberg, 1996Abstract

Timed Default Concurrent Constraint Programming

V SARASWAT, R JAGADEESAN, V GUPTA

Abstract

V SARASWAT, R JAGADEESAN, V GUPTA

*Journal of Symbolic Computation**22*(*5-6*), 475-520, 1996Abstract

Intensional Verbs without Type-Raising or Lexical Ambiguity

M Dalrymple, J Lamping, FCN Pereira, V Saraswat

Abstract Also in Proceedings of the Conference on Information-Oriented Approaches to Logic, Language and Computation/Fourth Conference on Situation Theory and its Applications, Saint Mary's College of California, Moraga, California. June 1994.

M Dalrymple, J Lamping, FCN Pereira, V Saraswat

*Logic, Language and Computation**1*, 167-182, CSLI Publications, 1996Abstract Also in Proceedings of the Conference on Information-Oriented Approaches to Logic, Language and Computation/Fourth Conference on Situation Theory and its Applications, Saint Mary's College of California, Moraga, California. June 1994.

Strategic directions in constraint programming

P Van Hentenryck, V Saraswat

P Van Hentenryck, V Saraswat

*ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research**28*(*4*), 701-726, 1996
Community Designers

Vicki L. O'Day, Daniel G. Bobrow, Billie Hughes, Kimberly Bobrow, Vijay Saraswat, Jo Talazus, Jim Walters, Cynde Welbes

Abstract

Vicki L. O'Day, Daniel G. Bobrow, Billie Hughes, Kimberly Bobrow, Vijay Saraswat, Jo Talazus, Jim Walters, Cynde Welbes

*Proceedings of the 4th Biennial Participatory Design Conference 1996, November 13 - November 16, 1996. Edited by Jeanette Blomberg, Finn Kensing and Elizabeth Dykstra-Erickson*,*pp. 3-13*Abstract

Hybrid cc, hybrid automata and program verification

V Gupta, R Jagadeesan, V Saraswat

V Gupta, R Jagadeesan, V Saraswat

*Hybrid Systems III, Lecture Notes in Computer Science*,*pp. 52-63*, Springer Berlin Heidelberg, 1996**1995**

Control-based programming of electro-mechanical controllers

H Chi Wong, Markus Fromherz, Vineet Gupta, Vijay Saraswat

H Chi Wong, Markus Fromherz, Vineet Gupta, Vijay Saraswat

*IJCAI Workshop on Executable Temporal Logics*, 1995
The semantics of resource sharing in lexical-functional grammar

Andrew Kehler, Mary Dalrymple, John Lamping, Vijay Saraswat

Andrew Kehler, Mary Dalrymple, John Lamping, Vijay Saraswat

*Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics*,*pp. 31--38*, 1995
Model-based computing: constructing constraint-based software for electro-mechanical systems

M Fromherz, Vijay A Saraswat

M Fromherz, Vijay A Saraswat

*Proc. Conf. on Practical Applications of Constraint Technology (PACT95)*, 1995
Principles and practice of constraint programming: the Newport papers

Vijay Saraswat, Pascal Van Hentenryck

1995 - books.google.com, Mit Press

Vijay Saraswat, Pascal Van Hentenryck

1995 - books.google.com, Mit Press

Linear logic for meaning assembly

Mary Dalrymple, John Lamping, Fern Pereira, o, Vijay Saraswat

Mary Dalrymple, John Lamping, Fern Pereira, o, Vijay Saraswat

*arXiv preprint cmp-lg/9504012*, 1995
Default timed concurrent constraint programming

Vijay A Saraswat, Radha Jagadeesan, Vineet Gupta

Vijay A Saraswat, Radha Jagadeesan, Vineet Gupta

*Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages*,*pp. 272--285*, 1995
Modeling Time in Hybrid Systems: How Fast Is" Instantaneous"?

Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Daniel Bobrow, Vineet Gupta

Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Daniel Bobrow, Vineet Gupta

*IJCAI*,*pp. 1773--1781*, 1995
Constraint Processing in cc (FD), Chapter in Constraint Programming: Basics and Trends,(A. Podelski, &he

P van Hentenryck, VA Saraswat, Y Deville

1995 - Springer LNCS

P van Hentenryck, VA Saraswat, Y Deville

1995 - Springer LNCS

Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation

MPJ Fromherz, VA Saraswat

Abstract

MPJ Fromherz, VA Saraswat

*Proceeding CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming*,*pp. 629-635*, Springer-Verlag London, 1995Abstract

http://citeseer.ist.psu.edu/dalrymple02linear.html

D Mary, J Lamping, F Pereira, V Saraswat

1995 - citeseer.ist.psu.edu

D Mary, J Lamping, F Pereira, V Saraswat

1995 - citeseer.ist.psu.edu

http://www.springerlink.com/index/y276612p463mut77.pdf

V Gupta, R Jagadeesan, V Saraswat, DG Bobrow

LECTURE NOTES IN COMPUTER SCIENCE, 1995 - Springer

V Gupta, R Jagadeesan, V Saraswat, DG Bobrow

LECTURE NOTES IN COMPUTER SCIENCE, 1995 - Springer

Building intentional networked learning communities

D Bobrow, VODay, V Saraswat, B Hughes, J Walters

Presentation to the American Anthropological Association, …, 1995

D Bobrow, VODay, V Saraswat, B Hughes, J Walters

Presentation to the American Anthropological Association, …, 1995

http://acl.ldc.upenn.edu/E/E95/E95-1005.pdf

A Kehler, M Dalrymple, J Lamping, V Saraswat

Proceedings of the 1995 meeting of the European Chapter of …, 1995 - acl.ldc.upenn.edu

A Kehler, M Dalrymple, J Lamping, V Saraswat

Proceedings of the 1995 meeting of the European Chapter of …, 1995 - acl.ldc.upenn.edu

http://www.qrg.northwestern.edu/papers/Files/qr-workshops/QR95/Iwasaki_1995_Modeling_Time_Hybri

Y Iwasaki, A Farquhar, V Saraswat, D Bobrow, V …

INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 1995 - qrg.northwestern.edu

Y Iwasaki, A Farquhar, V Saraswat, D Bobrow, V …

INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 1995 - qrg.northwestern.edu

A Model of a Photocopier Paper Path

V Gupta, V Saraswat, P Struss

Abstract

V Gupta, V Saraswat, P Struss

*Proceedings of the 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning*, 1995Abstract

http://www.elsnet.org/publications/clnlp95/Lamping.ps.gz

M Dalrymple, J Lamping, F Pereira, V Saraswat

Proc. CLNLP, 1995 - elsnet.org

M Dalrymple, J Lamping, F Pereira, V Saraswat

Proc. CLNLP, 1995 - elsnet.org

http://www2.parc.com/isl/members/fromherz/publications/mbc-scheduling-pact95.ps

M Fromherz, VA Saraswat

Proc. Conf. on Practical Applications of Constraint …, 1995 - parc.com

M Fromherz, VA Saraswat

Proc. Conf. on Practical Applications of Constraint …, 1995 - parc.com

http://portal.acm.org/citation.cfm?id=199513

VA Saraswat, R Jagadeesan, V Gupta

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on …, 1995 - portal.acm.org

VA Saraswat, R Jagadeesan, V Gupta

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on …, 1995 - portal.acm.org

http://books.google.com/books?hl=en&lr=&ie=UTF-8&id=vmJfEtZbHq0C&oi=fnd&pg=

V Saraswat, P Van Hentenryck

1995 - books.google.com

V Saraswat, P Van Hentenryck

1995 - books.google.com

**1994**

CC programs with both in-and non-determinism: A concurrent semantics

Ugo Montanari, Francesca Rossi, Vijay Saraswat

Ugo Montanari, Francesca Rossi, Vijay Saraswat

*Principles and Practice of Constraint Programming*,*pp. 162--172*, 1994
Rapper: The copier modeling project

David Bell, Daniel Bobrow, Brian Falkenhainer, Markus Fromherz, Vijay Saraswat, Mark Shirley

David Bell, Daniel Bobrow, Brian Falkenhainer, Markus Fromherz, Vijay Saraswat, Mark Shirley

*Proceedings of QR94*, 1994
Programming in timed concurrent constraint languages

Vijay Saraswat, Radha Jagadeesan, Vinheet Gupta

Vijay Saraswat, Radha Jagadeesan, Vinheet Gupta

*Constraint Programming*,*pp. 367--413*, 1994
A deductive account of quantification in LFG

Mary Dalrymple, John Lamping, Fern Pereira, o, Vijay Saraswat

Mary Dalrymple, John Lamping, Fern Pereira, o, Vijay Saraswat

*arXiv preprint cmp-lg/9404009*, 1994
Programming in hybrid constraint languages

Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, Daniel G Bobrow

Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, Daniel G Bobrow

*Hybrid Systems II*,*pp. 226--251*, Springer, 1994
Design

P Van Hentenryck, VA Saraswat, Y Deville

Implementation, and Evaluation of the Constraint Language cc …, 1994

P Van Hentenryck, VA Saraswat, Y Deville

Implementation, and Evaluation of the Constraint Language cc …, 1994

http://citeseer.ist.psu.edu/75487.html

V Saraswat, R Jagadeesan, V Gupta, B Mayoh, E …

Constraint Programming: Proceedings 1993 NATO ASI Parnu, …, 1994 - citeseer.ist.psu.edu

V Saraswat, R Jagadeesan, V Gupta, B Mayoh, E …

Constraint Programming: Proceedings 1993 NATO ASI Parnu, …, 1994 - citeseer.ist.psu.edu

http://arxiv.org/abs/cmp-lg/9404009v2

M Dalrymple, J Lamping, F Pereira, V Saraswat

Arxiv preprint cmp-lg/9404009, 1994 - arxiv.org

M Dalrymple, J Lamping, F Pereira, V Saraswat

Arxiv preprint cmp-lg/9404009, 1994 - arxiv.org

http://www.qrg.northwestern.edu/papers/Files/qr-workshops/QR94/Bell_1994_RAPPER.pdf

D Bobrow, B Falkenhainer, M Fromherz, V Saraswat …

Proceedings of the Eighth International Workshop on …, 1994 - qrg.northwestern.edu

D Bobrow, B Falkenhainer, M Fromherz, V Saraswat …

Proceedings of the Eighth International Workshop on …, 1994 - qrg.northwestern.edu

http://www.springerlink.com/index/y443808416760757.pdf

U Montanari, F Rossi, V Saraswat

LECTURE NOTES IN COMPUTER SCIENCE, 1994 - Springer

U Montanari, F Rossi, V Saraswat

LECTURE NOTES IN COMPUTER SCIENCE, 1994 - Springer

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=316085

VA Saraswat, R Jagadeesan, V Gupta

Logic in Computer Science, 1994. LICS'94. Proceedings., …, 1994 - ieeexplore.ieee.org

VA Saraswat, R Jagadeesan, V Gupta

Logic in Computer Science, 1994. LICS'94. Proceedings., …, 1994 - ieeexplore.ieee.org

**1993**

Infrastructure for Model-based computing

Vijay Saraswat, Danny Bobrow, Johan de Kleer

Technical Report, Technical Report, Xerox PARC, CA, 1993

Vijay Saraswat, Danny Bobrow, Johan de Kleer

Technical Report, Technical Report, Xerox PARC, CA, 1993

Concurrent Constraint Programming. ACM Doctoral Dissertation Awards: Logic Programming

Vijay A Saraswat

1993 - The MIT Press, Cambridge, MA, The MIT Press, Cambridge, MA

Vijay A Saraswat

1993 - The MIT Press, Cambridge, MA, The MIT Press, Cambridge, MA

Concurrent Constraint Programming. Logic Programming Series, ACM Doctoral Dissertation Award Series

Vijay A Saraswat

1993 - MIT Press, Cambridge, â€¦, MIT Press, Cambridge, Massachusetts

Vijay A Saraswat

1993 - MIT Press, Cambridge, â€¦, MIT Press, Cambridge, Massachusetts

Concurrent Constraint Programming. Logic Programming and Doctoral Dissertation Award Series

Vijay A Saraswat

1993 - MIT Press, March, MIT Press, March

Vijay A Saraswat

1993 - MIT Press, March, MIT Press, March

Concurrent constraint programming. ACM Doctoral dissertation awards

Vijay A Saraswat

1993 - MIT Press, MIT Press

Vijay A Saraswat

1993 - MIT Press, MIT Press

Concurrent Constraint Programming. ACM Doctoral Dissertation Awards: Logic Programming

VA Saraswat

1993 - The MIT Press, Cambridge, MA

VA Saraswat

1993 - The MIT Press, Cambridge, MA

The resource logic of complex predicate interpretation

M Dalrymple, A Hinrichs, J Lamping, V Saraswat

Proceedings of the 1993 Republic of China Computational …, 1993

M Dalrymple, A Hinrichs, J Lamping, V Saraswat

Proceedings of the 1993 Republic of China Computational …, 1993

PPCP'93: Proceedings of the First Workshop on Principles and Practice of Constraint Programming

A Mackworth, P Kanellakis, JL Lassez, V Saraswat

This workshop was the start of the current series of Constraint Programming conferences.

A Mackworth, P Kanellakis, JL Lassez, V Saraswat

*Proceedings of PPCP'93*, 1993This workshop was the start of the current series of Constraint Programming conferences.

Higher-order

P Lincoln, V Saraswat

… available at parcftp. xerox. com/pub/ccp/lcc/hlcc. dvi Xerox …, 1993

P Lincoln, V Saraswat

… available at parcftp. xerox. com/pub/ccp/lcc/hlcc. dvi Xerox …, 1993

http://www-cs-students.stanford.edu/~vgupta/publications/holcc.ps

P Lincoln, V Saraswat

Manuscript, 1993 - www-cs-students.stanford.edu

P Lincoln, V Saraswat

Manuscript, 1993 - www-cs-students.stanford.edu

Higher-order, linear, concurrent constraint programming. Available as file

P Lincoln, V Saraswat

parcftp. xerox. com/pub/ccp/lcc/hlcc. dvi., January, 1993

P Lincoln, V Saraswat

parcftp. xerox. com/pub/ccp/lcc/hlcc. dvi., January, 1993

http://portal.acm.org/citation.cfm?id=976757&dl=

M Dalrymple, J Lamping, V Saraswat

Proceedings of the sixth conference on European chapter of …, 1993 - portal.acm.org

M Dalrymple, J Lamping, V Saraswat

Proceedings of the sixth conference on European chapter of …, 1993 - portal.acm.org

http://dli.iiit.ac.in/vdata/IJCAI/IJCAI-93-VOL1/PDF/003.pdf

O Raiman, J De Kleer, V Saraswat

INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 1993 - dli.iiit.ac.in

O Raiman, J De Kleer, V Saraswat

INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 1993 - dli.iiit.ac.in

**1992**

A hyperdoctrinal view of constraint systems

Prakash Panangaden, Vijay Saraswat, Phillip J Scott, RAG Seely

Prakash Panangaden, Vijay Saraswat, Phillip J Scott, RAG Seely

*Lecture Notes in Computer Science**666*, 1992
Constraint logic programming over finite domains: the design, implementation, and applications of cc (fd)

Pascal Van Hentenryck, Vijay Saraswat, Yves Deville

Pascal Van Hentenryck, Vijay Saraswat, Yves Deville

*Technical report*, Brown University Providence, RI, 1992
A hyperdoctrinal view of concurrent constraint programming

Prakash Panangaden, Vijay Saraswat, Philip J Scott, RAG Seely

Prakash Panangaden, Vijay Saraswat, Philip J Scott, RAG Seely

*Semantics: Foundations and Applications*,*pp. 457--476*, Springer, 1992
Higher-order, linear, concurrent constraint programming

Vijay Saraswat and Patrick Lincoln

1992 - Citeseer

Abstract Unpublished manuscript.

Vijay Saraswat and Patrick Lincoln

1992 - Citeseer

Abstract Unpublished manuscript.

http://portal.acm.org/citation.cfm?id=140524.140554

O Raiman, J de Kleer, V Saraswat, M Shirley

1992 - portal.acm.org

O Raiman, J de Kleer, V Saraswat, M Shirley

1992 - portal.acm.org

Linear concurrent constraint programming

VA Saraswat, P Lincoln

Technical report, Xerox PARC, Feb 1992. Unpublished Draft

VA Saraswat, P Lincoln

Technical report, Xerox PARC, Feb 1992. Unpublished Draft

Higher Order Linear Concurrent Constraint Programming. Xerox Palo Alto Research Center, Palo Alto

VA Saraswat, P Lincoln

CA, Technical Report, 1992

VA Saraswat, P Lincoln

CA, Technical Report, 1992

http://www-cs-students.stanford.edu/~vgupta/publications/cccc-lics92.ps

V Saraswat

Proc. 7th IEEE Symp. on Logic in Computer Science, Santa …, 1992 - www-cs-students.stanford.edu

V Saraswat

Proc. 7th IEEE Symp. on Logic in Computer Science, Santa …, 1992 - www-cs-students.stanford.edu

http://citeseer.ist.psu.edu/saraswat92higherorder.html

VA Saraswat, P Lincoln

Manuscript, August, 1992 - citeseer.ist.psu.edu

VA Saraswat, P Lincoln

Manuscript, August, 1992 - citeseer.ist.psu.edu

**1991**

Constraint processing in cc (fd). draft

Pascal Van Hentenryck, Vijay Saraswat, Yves Deville

Pascal Van Hentenryck, Vijay Saraswat, Yves Deville

*Computer Science Department, Brown University*, 1991
ATMS-based constraint programming

Vijay Saraswat, Johan De Kleer, Brian Williams

Vijay Saraswat, Johan De Kleer, Brian Williams

*Workshop on Defeasible Reasoning and Constraint Solving, ILPS*, 1991
Proofs as concurrent processes: A logical interpretation for concurrent constraint programming

Patrick Lincoln, Vijay Saraswat

Technical Report, Technical report, Systems Sciences Laboratory, Xerox PARC, 1991

Patrick Lincoln, Vijay Saraswat

Technical Report, Technical report, Systems Sciences Laboratory, Xerox PARC, 1991

Logic Programming Proceedings of the 1991 International Symposium

Vijay Saraswat, Kazunori Ueda, others

1991 - philpapers.org

Vijay Saraswat, Kazunori Ueda, others

1991 - philpapers.org

Characterizing Non-Intermittent Faults.

Olivier Raiman, Johan de Kleer, Vijay A Saraswat, Mark Shirley

Olivier Raiman, Johan de Kleer, Vijay A Saraswat, Mark Shirley

*AAAI*,*pp. 849--854*, 1991
Constraint processing in cc (FD)

P Van Hentenryck, VIJAY SARASWAT, Y Deville

Constraint Programming: Basics and Trends, A. Podelski (Ed.) …, 1991

P Van Hentenryck, VIJAY SARASWAT, Y Deville

Constraint Programming: Basics and Trends, A. Podelski (Ed.) …, 1991

http://www-cs-students.stanford.edu/~vgupta/publications/cclambda.ps

VA Saraswat

Submittedfor publication, 1991 - www-cs-students.stanford.edu

VA Saraswat

Submittedfor publication, 1991 - www-cs-students.stanford.edu

andR. AG Seely. What isa constraint system

P Panangaden, VA Saraswat, PJ Scott

Technical report, Xerox PARC, December 1991

P Panangaden, VA Saraswat, PJ Scott

Technical report, Xerox PARC, December 1991

http://recherche.ircam.fr/equipes/repmus/Avispa/AvispaRelated/constraints/CC/saraswat-angelic-s

R Jagadeesan, V Shanbhogue, V Saraswat

proc. of LICS, June, 1991 - recherche.ircam.fr

R Jagadeesan, V Shanbhogue, V Saraswat

proc. of LICS, June, 1991 - recherche.ircam.fr

Con-straint processing in CC (FD)

P Van Hentenryck, V Saraswat, Y Deville

Ftp from parcftp. xerox. com, file pub/ccp/ccfd/pldi-5. ps, 1991

P Van Hentenryck, V Saraswat, Y Deville

Ftp from parcftp. xerox. com, file pub/ccp/ccfd/pldi-5. ps, 1991

Towards a general framework for constraint programming

VA Saraswat, F Rossi, P Van Hentenryck

… report, System Sciences Laboratory, Xerox PARC, February 1991

VA Saraswat, F Rossi, P Van Hentenryck

… report, System Sciences Laboratory, Xerox PARC, February 1991

andV. Shanbhogue. Angelicnon-determinisminconcurrent constraint programming

R Jagadeesan, VA Saraswat

Technical report, Xerox Park, 1991

R Jagadeesan, VA Saraswat

Technical report, Xerox Park, 1991

Proofs as concurrent processes: A logical interpretation of concurrent constraint programming

P Lincoln, V Saraswat

Technical report, Xerox PARC, 1991

P Lincoln, V Saraswat

Technical report, Xerox PARC, 1991

The semantic foundations of concurrent constraint programming

VA Saraswat, M Rinard, P Panangaden

Abstract

VA Saraswat, M Rinard, P Panangaden

*Proceeding POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages*,*pp. 333-352*, ACM New York, 1991Abstract

**1990**

Contributions to a theory of diagnosis

Vijay A Saraswat, Johan de Kleer, Olivier Raiman

Vijay A Saraswat, Johan de Kleer, Olivier Raiman

*Working Notes of First International Workshop on Principles of Diagnosis*,*pp. 33--38*, 1990
Concurrent constraint programming

Vijay A Saraswat, Martin Rinard

Abstract

Vijay A Saraswat, Martin Rinard

*Proceeding POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages*, 1990Abstract

Janus: a step towards distributed constraint programming

VA Saraswat, K Kahn, J Levy

Abstract

VA Saraswat, K Kahn, J Levy

*Proceedings of the 1990 North American conference on Logic programming*,*pp. 431--446*Abstract

Actors as a special case of concurrent constraint (logic) programming

K Kahn, VA Saraswat

Abstract

K Kahn, VA Saraswat

*OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications*,*pp. 57-66*, 1990Abstract

Complete visualizations of concurrent programs and their executions

KM Kahn, VA Saraswat

Abstract

KM Kahn, VA Saraswat

*Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990*,*pp. 7--15*Abstract

**1989**

Concurrent constraint programming languages

Vijay Anand Saraswat

1989 - dl.acm.org, Carnegie Mellon University

Vijay Anand Saraswat

1989 - dl.acm.org, Carnegie Mellon University

Concurrent Constraint Logic Programming

VA Saraswat

1989 - Ph. D. thesis, Carnegie-Mellon University

VA Saraswat

1989 - Ph. D. thesis, Carnegie-Mellon University

Concurrent Constraint Programming Languages

VA Saraswat

Technical Report, Carnegie Mellon University Computer Science Department, 1989

VA Saraswat

Technical Report, Carnegie Mellon University Computer Science Department, 1989

Distributed constraint programming~ the dc framework and janus

VA Saraswat, KM Kahn, J Levy

Technical report, Xerox PARC,.~ mgust 1989

VA Saraswat, KM Kahn, J Levy

Technical report, Xerox PARC,.~ mgust 1989

http://portal.acm.org/citation.cfm?id=96709.96733&type=series

VA Saraswat, M Rinard

Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on …, 1989 - portal.acm.org

VA Saraswat, M Rinard

Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on …, 1989 - portal.acm.org

**1988**

Merging many streams efficiently: the importance of atomic commitment

Vijay A Saraswat

Vijay A Saraswat

*Concurrent Prolog*,*pp. 421--445*, 1988
A Somewhat Logical Formulation of CLP Synchronisation Primitives.

Vijay A Saraswat

Vijay A Saraswat

*ICLP/SLP*,*pp. 1298--1314*, 1988
Detecting stable properties of networks in concurrent logic programming languages

VA Saraswat, K Kahn, D Weinbaum

Abstract

VA Saraswat, K Kahn, D Weinbaum

*PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing*, ACM New York, 1988Abstract

**1987**

Concurrent Logic Programming Languages

Vijay A Saraswat

Vijay A Saraswat

*forthcoming PhD Thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh*, 1987
GHC: Operational Semantics, Problems, and Relationships with CP (|,|).

Vijay A Saraswat

Vijay A Saraswat

*SLP*,*pp. 347--358*, 1987
The concurrent logic programming language CP: Definition and operational semantics

VA Saraswat

Abstract

VA Saraswat

*POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages*,*pp. 49--62*, ACM New York, 1987Abstract

**1985**

Partial correctness semantics for CP [â†“,Â¦, &]

Vijay A Saraswat

Vijay A Saraswat

*Foundations of Software Technology and Theoretical Computer Science*,*pp. 347--368*, 1985
Partial correctness semantics for CP[!,|,&]

VA Saraswat

Abstract

VA Saraswat

*Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science*,*pp. 347--368*, Springer Lecture Notes in Computer Science, 1985Abstract

Problems with Concurrent Prolog

VA Saraswat

Technical Report CMU-CS-86-100, Carnegie Mellon University, 1985

Abstract

VA Saraswat

Technical Report CMU-CS-86-100, Carnegie Mellon University, 1985

Abstract

**Year Unknown**

Static support for capability-based programming in Java

Vijay Saraswat, Radha Jagadeesan

Vijay Saraswat, Radha Jagadeesan

*URL: http://fpl. cs. depaul. edu/rjagadeesan/ftp/neighborhood. pdf*, Citeseer, 0
Java is not type-safe, 1997

Vijay Saraswat

Vijay Saraswat

*Information available in Web page at http://www. research. att. com/vj/bug. html*, 0
A comparative study and empirical evaluation of global view HPL program in X10

3rd conference on â€¦, 2009 - hpcl.gwu.edu

3rd conference on â€¦, 2009 - hpcl.gwu.edu

Concurrency for the application programmer

Proceedings of the ACM international conference â€¦, 2010 - dl.acm.org

Proceedings of the ACM international conference â€¦, 2010 - dl.acm.org

A comparative study and empirical evaluation of global view High performance Linpack program in X10

Proceedings of the â€¦, 2009 - dl.acm.org

Proceedings of the â€¦, 2009 - dl.acm.org

[C] HPC challenge 2009 awards competition: UPC and X10, 2009

URL {http://icl. cs. utk. edu/ â€¦, 2012

URL {http://icl. cs. utk. edu/ â€¦, 2012

The concurrent logic programming language CP: Definition and operational semantics

Proceedings of the 14th ACM SIGACT-SIGPLAN ..., 1987 - dl.acm.org, 0

Proceedings of the 14th ACM SIGACT-SIGPLAN ..., 1987 - dl.acm.org, 0

Combinatorial sketching for finite programs

Lezama, L Tancau, R Bodik, S Seshia... - ACM SIGARCH ..., 2006 - dl.acm.org

Lezama, L Tancau, R Bodik, S Seshia... - ACM SIGARCH ..., 2006 - dl.acm.org

Foundations of timed concurrent constraint programming

Logic in Computer ..., 1994 - ieeexplore.ieee.org, 0

Logic in Computer ..., 1994 - ieeexplore.ieee.org, 0

Complete visualizations of concurrent programs and their executions

... , 1990., Proceedings of the 1990 IEEE ..., 1990 - ieeexplore.ieee.org

... , 1990., Proceedings of the 1990 IEEE ..., 1990 - ieeexplore.ieee.org

Design, implementation, and evaluation of the constraint language cc (FD)

Constraint Programming: Basics ..., 1995 - Springer, 0

Constraint Programming: Basics ..., 1995 - Springer, 0

http://www.math.mcgill.ca/rags/ccp/psss-1.ps.gz

P Panangaden, V Saraswat, PJ Scott, RAG Seely

Lecture Notes in Computer Science - math.mcgill.ca, 0

P Panangaden, V Saraswat, PJ Scott, RAG Seely

Lecture Notes in Computer Science - math.mcgill.ca, 0

http://iml.univ-mrs.fr/~ruet/PAPIERS/these_a4.ps.gz

P Ruet, F Fages, JY Girard, Y Lafont, V Saraswat, …

iml.univ-mrs.fr, 0

P Ruet, F Fages, JY Girard, Y Lafont, V Saraswat, …

iml.univ-mrs.fr, 0

Constraint Logic Programming over Finite Domains: the Design, Implementation, and Applications of cc &he

P Van Hentenryck, V Saraswat, Y Deville

Technical report, Computer Science Department, Brown University, …, 0

P Van Hentenryck, V Saraswat, Y Deville

Technical report, Computer Science Department, Brown University, …, 0

http://www.essex.ac.uk/linguistics/clmt/papers/lfg/dalrmp_et_al_quant.ps

J Lamping, F Pereira, V Saraswat

essex.ac.uk, 0

J Lamping, F Pereira, V Saraswat

essex.ac.uk, 0

http://www-cs-students.stanford.edu/~vgupta/publications/cc-dsl97.pdf

MPJ Fromherz, V Gupta, V Saraswat

www-cs-students.stanford.edu, 0

MPJ Fromherz, V Gupta, V Saraswat

www-cs-students.stanford.edu, 0

NJPLS at Stevens

…, E Gunter, B Testing, VC Together, V Saraswat

… , E Gunter, B Testing, VC Together, V Saraswat, 0

…, E Gunter, B Testing, VC Together, V Saraswat

… , E Gunter, B Testing, VC Together, V Saraswat, 0

Curricula for concurrency and parallelism

Proceedings of the 24th ACM SIGPLAN â€¦, 2009 - dl.acm.org

Proceedings of the 24th ACM SIGPLAN â€¦, 2009 - dl.acm.org

http://www.sics.se/isl/acclaim/deliverables/second_year/d1+1-2A2.ps.Z

UMFRV Saraswat

sics.se, 0

UMFRV Saraswat

sics.se, 0

http://www-cs-students.stanford.edu/~vgupta/publications/cc-dsl97.pdf

MPJ Fromherz, V Gupta, V Saraswat

www-cs-students.stanford.edu, 0

MPJ Fromherz, V Gupta, V Saraswat

www-cs-students.stanford.edu, 0

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.2618&rep=rep1&type=pdf

P Van Hentenryck, V Saraswat, Y Deville

citeseerx.ist.psu.edu, 0

P Van Hentenryck, V Saraswat, Y Deville

citeseerx.ist.psu.edu, 0

http://greta.cs.ioc.ee/~tarmo/bibs/constraints.bib

U Montanari, U Montanari, F Rossi, L Kanal, V …

ai - greta.cs.ioc.ee, 0

U Montanari, U Montanari, F Rossi, L Kanal, V …

ai - greta.cs.ioc.ee, 0

http://www-cs-students.stanford.edu/~vgupta/publications/defaultTcc-popl95.pdf

VA Saraswat

www-cs-students.stanford.edu, 0

VA Saraswat

www-cs-students.stanford.edu, 0

A brief introductionto linear concurrentconstraintprogramming, April 1993

V Saraswat

Available from parcftp. xerox. com: pub/ccp/lcc/lcc-intro. …, 0

V Saraswat

Available from parcftp. xerox. com: pub/ccp/lcc/lcc-intro. …, 0

Higher-order, linear, concurrentconstraintprogramming, August 1992

V Saraswat, P Lincoln

Available from parcftp. xerox. com: pub/ccp/lcc/hlcc. dvi. Z, 0

V Saraswat, P Lincoln

Available from parcftp. xerox. com: pub/ccp/lcc/hlcc. dvi. Z, 0

A formal treatment of Pictorial Janus

K Kahn, VA Saraswat

… Report Unpublished Internal Working Paper, Xerox PARC, Palo Alto …, 0

K Kahn, VA Saraswat

… Report Unpublished Internal Working Paper, Xerox PARC, Palo Alto …, 0

Complete Visulaisation of Concurrent Programs and their extension

KM Khan, VA Saraswat

… Report SSL-90-38 (P90-00099), Xerox Palo Resarch Center, Palo, …

KM Khan, VA Saraswat

… Report SSL-90-38 (P90-00099), Xerox Palo Resarch Center, Palo, …

A brief introduction to linear concurrent constraint programming. Available as file

V Saraswat

parcftp. xerox. com/pub/ccp/lcc/lcc-intro. dvi, 0

V Saraswat

parcftp. xerox. com/pub/ccp/lcc/lcc-intro. dvi, 0

August 1992. Higher-order, linear concurrent constraint programming

VA Saraswat, P Lincoln

Technical report, Xerox Palo Alto Research Center, 0

VA Saraswat, P Lincoln

Technical report, Xerox Palo Alto Research Center, 0

Reactive ComputingwithContinuousChange

V Gupta, R Jagadeesan, V Saraswat, D Bobrow

Technical report, Xerox PARC Systems and Practices Lab, March …, 0

V Gupta, R Jagadeesan, V Saraswat, D Bobrow

Technical report, Xerox PARC Systems and Practices Lab, March …, 0

What is a constraint

VA Saraswat, P Panangaden, M Rinard

Technical report, Xerox PARC, forthcoming, 0

VA Saraswat, P Panangaden, M Rinard

Technical report, Xerox PARC, forthcoming, 0

Higher-order linear concurrent constraint programming, rapport, 1992

VA Saraswat, P Lincoln

Xerox Parc, 0

VA Saraswat, P Lincoln

Xerox Parc, 0

Infrastructure for Model-based computing TR, Xerox PARC, Palo Alto Ca

V Saraswat, D Bobrow, D Kleer

March, 0

V Saraswat, D Bobrow, D Kleer

March, 0

A brief introduction to linear concurrent constraint programming. Available as le

V Saraswat

parcftp. xerox. com/pub/ccp/lcc/lcc-intro. dvi, 0

V Saraswat

parcftp. xerox. com/pub/ccp/lcc/lcc-intro. dvi, 0

http://www-cs-students.stanford.edu/~vgupta/publications/controllers-ijcai95.pdf

H Wong, M Fromherz, V Gupta, V Saraswat

Proceedings of IJCAI Workshop on Executable Temporal Logics - www-cs-students.stanford.edu, 0

H Wong, M Fromherz, V Gupta, V Saraswat

Proceedings of IJCAI Workshop on Executable Temporal Logics - www-cs-students.stanford.edu, 0

ftp://ftp.parc.xerox.com/pub/ccp/lcc/lcc-intro.ps

V Saraswat

Available as le: parcftp. xerox. compubccplcclcc-intro. dvi - parc.xerox.com, 0

V Saraswat

Available as le: parcftp. xerox. compubccplcclcc-intro. dvi - parc.xerox.com, 0

http://www.springerlink.com/index/h58235475ql877m6.pdf

V Saraswat

Lecture notes in computer science - Springer, 0

V Saraswat

Lecture notes in computer science - Springer, 0

http://www.cse.psu.edu/~saraswat/neighborhood.pdf

V Saraswat, R Jagadeesan

URL: http://fpl. cs. depaul. edu/rjagadeesan/ftp/ … - cse.psu.edu, 0

V Saraswat, R Jagadeesan

URL: http://fpl. cs. depaul. edu/rjagadeesan/ftp/ … - cse.psu.edu, 0

http://www.cs.ucla.edu/~palsberg/paper/SaraswatNystromPalsbergGrothoff.pdf

V Saraswat, N Nystrom, J Palsberg, C Grothoff

cs.ucla.edu, 0

V Saraswat, N Nystrom, J Palsberg, C Grothoff

cs.ucla.edu, 0

http://www.eecs.berkeley.edu/~bodik/teaching/cs294/papers/sketching.pdf

Lezama, L Tancau, D Turner, R Bodik, V Saraswat, … - eecs.berkeley.edu, 0

Lezama, L Tancau, D Turner, R Bodik, V Saraswat, … - eecs.berkeley.edu, 0

NJPLS at Stevens

…, E Gunter, B Testing, VC Together, V Saraswat

… , E Gunter, B Testing, VC Together, V Saraswat, 0

…, E Gunter, B Testing, VC Together, V Saraswat

… , E Gunter, B Testing, VC Together, V Saraswat, 0

http://domino.research.ibm.com/comm/research_projects.nsf/pages/x10.index.html/$FILE/ATTH4YZ5.p

P SEND, V Saraswat

domino.research.ibm.com, 0

P SEND, V Saraswat

domino.research.ibm.com, 0

Curricula in concurrency and parallelism

â€¦ of the ACM international conference companion â€¦, 2010 - dl.acm.org

â€¦ of the ACM international conference companion â€¦, 2010 - dl.acm.org

http://domino.research.ibm.com/library/cyberdig.nsf/papers/EFD4D62EF01F76EC85257137005A2637/$Fi

C Grothoff, J Palsberg, V Saraswat

Submitted for publication - domino.research.ibm.com, 0

C Grothoff, J Palsberg, V Saraswat

Submitted for publication - domino.research.ibm.com, 0

[C] Concurrency refactoring for x10

3rd ACM Workshop on Refactoring Tools, 2009

3rd ACM Workshop on Refactoring Tools, 2009