Vijay A. Saraswat  Vijay A. Saraswat photo       

contact information

Research Staff Member and Manager
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash3307

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
Parallel and Distributed Processing Symposium Workshop (IPDPSW), 2015 IEEE International, pp. 970--979

Logical conditional preference theories
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
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
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


2014

Parallel combinatorial optimization with decision diagrams
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
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
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
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
Proceedings of the First Workshop on Parallel Programming for Analytics Applications, pp. 31--40, ACM, 2014
Abstract

Semantics of (Resilient) X10
Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar, Olivier Tardieu
European Conference on Object-Oriented Programming (ECOOP), pp. 670--696, Springer, 2014
Abstract


2013

Report on the Programming Language X10. Version 2.3
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
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

Java interoperability in managed X10
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
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 23-34, 2013
Abstract

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


2012

Parallel SAT Solver SatX10-EbMiMiGlCiCo 1.0
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
Theory and Applications of Satisfiability Testing -- SAT 2012, Lecture Notes in Computer Science, pp. 463-468, Springer
Abstract

Constrained kinds
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, 2012
Abstract

Object initialization in X10
Yoav Zibin, David Cunningham, Igor Peshansky, Vijay Saraswat
ECOOP 2012--Object-Oriented Programming, pp. 207--231, Springer Berlin Heidelberg
Abstract

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
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
Proceedings of the VLDB Endowment 5(12), 1736--1747, VLDB Endowment, 2012
Abstract


2011

GPU Programming in a High Level Language: compiling X10 to CUDA
Dave Cunningham, Rajesh Bordawekar, Vijay Saraswat
Proceedings of the ACM SIGPLAN X10'11 Workshop, ACM, 2011
Abstract

A Performance Model for X10 Applications
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
Proceedings of the 16th ACM symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 201--212, ACM, 2011
Abstract


2010

Fast PGAS implementation of distributed graph algorithms
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
AMP'10: Proceedings of The First Workshop on Advances in Message Passing, 2010


2009

Concurrency refactoring for x10
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
ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 271--282, ACM, 2009
Abstract

Idempotent work stealing
Maged M Michael, Martin T Vechev, Vijay A Saraswat
PPoPP, ACM Sigplan Notices, pp. 45--54, ACM, 2009
Abstract

Fast PGAS connected components algorithms
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
OOPSLA, pp. 457-474 , ACM, 2008
Abstract

Type inference for locality analysis of distributed data structures
S. Chandra, V. Saraswat, V. Sarkar, R. Bodik
ACM Symposium on Principles and Practice of Parallel Programming (PPOPP), pp. 11--22, ACM, 2008
Abstract


2007

An annotation and compiler plugin system for X10
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
PLDI, pp. 167--178, ACM, 2007
Abstract

X10: concurrent programming for modern architectures
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, 2007
Abstract   Tutorial

A Theory of Memory Models
Vijay Saraswat, Radha Jagadeesan, Maged M Michael, Christoph von Praun
ACM Symposium on Principles and Practice of Parallel Programming (PPoPP), ACM, 2007
Abstract

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


2006

Report on the Experimental Language X10, Version 0.41
Vijay Saraswat
IBM Research, Feb, 2006

On the expressiveness of linearity vs persistence in the asychronous pi-calculus
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
21st Annual IEEE Symposium on Logic in Computer Science (LICS '06), IEEE Computer Society, 2006
Abstract

Report on the programming language X10
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
ASPLOS, ACM New York, 2006
Abstract



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
The Agent Conference, 2005

Timed constraint programming: a declarative approach to usage control
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
Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 519--538, ACM, 2005
Abstract

X10: an experimental language for high productivity programming of scalable systems
Kemal Ebcioglu, Vijay Saraswat, Vivek Sarkar
Proceedings of the Second Workshop on Productivity and Performance in High-End Computing (PPHEC-05), 2005
Abstract   One of the first external presentations on X10

Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
R Jagadeesan, G Nadathur, V Saraswat
FSTTCS 2005, Springer Verlag
Abstract

Concurrent Clustered Programming
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
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, ACM, 2005
Abstract

Report on the experimental language X10, v0. 41
V Saraswat
IBM Research technical report, 2005


2004

X10 language report
Vijay A Saraswat
Technical Report, Technical report, IBM Research, 2004

Concurrent constraint-based memory machines: a framework for java memory models (summary)
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
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 …

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

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


Concurrent Constraint-based Memory Machines: A framework for Java Memory Models
V Saraswat
ASIAN, pp. 494-508, Springer, 2004
Abstract


2003

Multimodal interaction requirements
St{'e}phane H Maes, Vijay Saraswat
W3C Note, Jan 8 2003

Advances in Computing Science -- Asian 2003, Programming Languages and Distributed Computation
VA Saraswat
Lecture Notes in Computer Science, pp. 243-259, Springer, 2003


2002

Truly concurrent constraint programming
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
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
Proceeding STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing , pp. 306--315, 2000
Abstract


1999

Model-based computing: Developing flexible machine control software
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
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
Dalrymple (1999), 39--89

Resource Sharing in Glue Language Semantics
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
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
Semantics and Syntax in Lexical Functional Grammar, pp. 261-280, 1999

Quantifiers, Anaphora and Intensionality
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
Artificial Intelligence 114(1-2), 157-202, 1999
Abstract


1998

Design requirements for network spaces
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
INFORMS Journal on Computing 10(3), 331-340, 1998
Abstract

Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of Computer Programming -- Special issues on Concurrent Constraint Programming 30(1-2), 3-49, Elsevier North-Holland, 1998
Abstract

Design, implementation, and evaluation of the constraint language cc(FD)
P Van Hentenryck, V Saraswat, Y Deville
Journal of Logic Programming 37(1-3), 139-164, 1998
Abstract


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

The Java bytecode verification problem
Vijay Saraswat
1997

cc—A generic framework for domain-specific languages
Markus Fromherz, Vineet Gupta, Vijay Saraswat
Kamin [43], 89--96, Citeseer, 1997

Compositional Computing
V Saraswat
Constraints: An International Journal 2(1), 95-97, 1997
Abstract

Constraint Programming: Strategic Directions
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

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.

Probabilistic Concurrent Constraint Programming
V Gupta, R Jagadeesan, V Saraswat
Concur '97: Concurrency Theory, pp. 243--257, Springer, 1997
Abstract

Quantifiers, Anaphora and Intensionality
M Dalrymple, J Lamping, F Pereira, V Saraswat
Journal of Logic, Language and Information 6(3), 219-273, 1997
Abstract


1996

Models for concurrent constraint programming
V Gupta, R Jagadeesan, V Saraswat
Proceedings of Concur '96 -- Concurrency Theory, pp. 66-83, Springer Berlin Heidelberg, 1996
Abstract

Constraint Programming
V Saraswat, P Van Hentenryck, P Codognet
ACM Computing Surveys 28(4), 1996

Timed Default Concurrent Constraint Programming
V SARASWAT, R JAGADEESAN, V GUPTA
Journal of Symbolic Computation 22(5-6), 475-520, 1996
Abstract

Intensional Verbs without Type-Raising or Lexical Ambiguity
M Dalrymple, J Lamping, FCN Pereira, V Saraswat
Logic, Language and Computation1, 167-182, CSLI Publications, 1996
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.

Strategic directions in constraint programming
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
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
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
IJCAI Workshop on Executable Temporal Logics, 1995

The semantics of resource sharing in lexical-functional grammar
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
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

Linear logic for meaning assembly
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
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
IJCAI, pp. 1773--1781, 1995


Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation
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, 1995
Abstract

http://citeseer.ist.psu.edu/dalrymple02linear.html
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

Building intentional networked learning communities
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

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

A Model of a Photocopier Paper Path
V Gupta, V Saraswat, P Struss
Proceedings of the 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, 1995
Abstract

http://www.elsnet.org/publications/clnlp95/Lamping.ps.gz
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

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



1994

CC programs with both in-and non-determinism: A concurrent semantics
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
Proceedings of QR94, 1994

Programming in timed concurrent constraint languages
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
arXiv preprint cmp-lg/9404009, 1994

Programming in hybrid constraint languages
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

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

http://arxiv.org/abs/cmp-lg/9404009v2
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

http://www.springerlink.com/index/y443808416760757.pdf
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


1993

Infrastructure for Model-based computing
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

Concurrent Constraint Programming. Logic Programming Series, ACM Doctoral Dissertation Award Series
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

A brief introduction to linear concurrent constraint programming
Vijay Saraswat
Xerox PARC, 1993

Critical reasoning
Olivier Raiman, Johan De Kleer, Vijay Saraswat
IJCAI, pp. 18--23, 1993

Concurrent constraint programming. ACM Doctoral dissertation awards
Vijay A Saraswat
1993 - MIT Press, MIT Press


The resource logic of complex predicate interpretation
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
Proceedings of PPCP'93, 1993
This 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

http://www-cs-students.stanford.edu/~vgupta/publications/holcc.ps
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

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

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


1992

A hyperdoctrinal view of constraint systems
Prakash Panangaden, Vijay Saraswat, Phillip J Scott, RAG Seely
Lecture Notes in Computer Science666, 1992

Constraint logic programming over finite domains: the design, implementation, and applications of cc (fd)
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
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.

http://portal.acm.org/citation.cfm?id=140524.140554
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


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

http://citeseer.ist.psu.edu/saraswat92higherorder.html
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
Computer Science Department, Brown University, 1991

ATMS-based constraint programming
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


Characterizing Non-Intermittent Faults.
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

http://www-cs-students.stanford.edu/~vgupta/publications/cclambda.ps
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

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

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

Towards a general framework for constraint programming
VA Saraswat, F Rossi, P Van Hentenryck
… report, System Sciences Laboratory, Xerox PARC, February 1991



The semantic foundations of concurrent constraint programming
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, 1991
Abstract


1990

Contributions to a theory of diagnosis
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
Proceeding POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , 1990
Abstract

Janus: a step towards distributed constraint programming
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
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, pp. 57-66, 1990
Abstract

Complete visualizations of concurrent programs and their executions
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

Concurrent Constraint Logic Programming
VA Saraswat
1989 - Ph. D. thesis, Carnegie-Mellon University

Concurrent Constraint Programming Languages
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

Programming in Andorra Prolog
VA Saraswat
Technical report, Xerox PARC, 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


1988


A Somewhat Logical Formulation of CLP Synchronisation Primitives.
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
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, ACM New York, 1988
Abstract


1987


Concurrent Logic Programming Languages
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
SLP, pp. 347--358, 1987

The concurrent logic programming language CP: Definition and operational semantics
VA Saraswat
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 49--62, ACM New York, 1987
Abstract


1985

Partial correctness semantics for CP [↓,¦, &]
Vijay A Saraswat
Foundations of Software Technology and Theoretical Computer Science, pp. 347--368, 1985

Partial correctness semantics for CP[!,|,&]
VA Saraswat
Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science, pp. 347--368, Springer Lecture Notes in Computer Science, 1985
Abstract

Problems with Concurrent Prolog
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
URL: http://fpl. cs. depaul. edu/rjagadeesan/ftp/neighborhood. pdf, Citeseer, 0

Java is not type-safe, 1997
Vijay Saraswat
Information available in Web page at http://www. research. att. com/vj/bug. html, 0


Concurrency for the application programmer

Proceedings of the ACM international conference …, 2010 - dl.acm.org


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

URL {http://icl. cs. utk. edu/ …, 2012

3.30 RAO Memory Model

Multi-Core …, 2011 - vesta.informatik.rwth-aachen.de

Constrained Types–Future Directions

CP-18th International …, 2012 - lri.fr

TCC, with History

arXiv preprint arXiv:1310.5538, 2013 - arxiv.org

X10 language specification

2010-08-28). http:// …, 2011 - upc-bugs.lbl.gov

Quantifiers, anaphora, and intensionality

Journal of Logic, ..., 1997 - dl.acm.org, 0

Sketching stencils

Lezama, G Arnold, L Tancau, R Bodik... - ACM SIGPLAN ..., 2007 - dl.acm.org

The concurrent logic programming language CP: Definition and operational semantics

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

Computing with continuous change

Science of computer programming, 1998 - Elsevier, 0

Java is not type-safe

1997 - Citeseer, 0

Combinatorial sketching for finite programs

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

LFG semantics via constraints

Proceedings of the sixth ..., 1993 - dl.acm.org, 0

Timed default concurrent constraint programming

Journal of Symbolic computation, 1996 - Elsevier, 0

Foundations of timed concurrent constraint programming

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

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

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

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

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

http://www.essex.ac.uk/linguistics/clmt/papers/lfg/dalrmp_et_al_quant.ps
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

NJPLS at Stevens
…, 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


Java is not type-safe, Aug. 1997
V SARASWAT
URL: www. research. att. com/vj/bug. html, 0



http://www.springerlink.com/index/70413257lu121553.pdf
V Saraswat, RAG Seely
Springer, 0

http://www.saraswat.org/euler.pdf
V Saraswat, Y Heights
saraswat.org, 0

deKleer,
V Saraswat, D BobrowandJ
… -basedcomputing, TechnicalReport, Xerox PARC, CA, March93, 0

http://www.sics.se/isl/acclaim/deliverables/second_year/d1+1-2A2.ps.Z
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

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

http://greta.cs.ioc.ee/~tarmo/bibs/constraints.bib
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

A brief introductionto linear concurrentconstraintprogramming, April 1993
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

A formal treatment of Pictorial Janus
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, …


August 1992. Higher-order, linear concurrent constraint programming
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

What is a constraint
VA Saraswat, P Panangaden, M Rinard
Technical report, Xerox PARC, forthcoming, 0


http://www.saraswat.org/progg3.ps
V Saraswat, K Kahn, J Levy
saraswat.org, 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

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

http://www.saraswat.org/jmm.pdf
V Saraswat, Y Heights
saraswat.org, 0

http://www.springerlink.com/index/h58235475ql877m6.pdf
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

http://www.cs.ucla.edu/~palsberg/paper/SaraswatNystromPalsbergGrothoff.pdf
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

NJPLS at Stevens
…, 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

http://www.saraswat.org/cf.pdf
V Saraswat, R Jagadeesan, A Solar
lezama, C von … - saraswat.org, 0

http://research.ihost.com/tramp/saraswat-atomic-blocks.pdf
V Saraswat, TJ IBM
research.ihost.com, 0

Curricula in concurrency and parallelism

… 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] Concurrency refactoring for x10

3rd ACM Workshop on Refactoring Tools, 2009