Partial correctness semantics for CP [ , | , &]. - Vijay A. Saraswat (FSTTCS, 1985)

CP as a General-Purpose Constraint-Language. - Vijay A. Saraswat (AAAI, 1987)

The Concurrent Logic Programming Language CP: Definition and Operational Semantics. - Vijay A. Saraswat (POPL, 1987)

GHC: Operational Semantics, Problems, and Relationships with CP(|, |). - Vijay A. Saraswat (SLP, 1987)

A Somewhat Logical Formulation of CLP Synchronisation Primitives. - Vijay A. Saraswat (ICLP/SLP, 1988)

Detecting Stable Properties of Networks in Concurrent Logic Programming Languages. - Vijay A. Saraswat; Kenneth M. Kahn; David Weinbaum (PODC, 1988)

The Paradigm of Concurrent Constraint Programming. - Vijay A. Saraswat (ICLP, 1990)

Complete Visualization of Concurrent Programs and Their Executions. - Kenneth M. Kahn; Vijay A. Saraswat (LPE, 1990)

Actors as a Special Case of Concurrent Constraint Programming. - Kenneth M. Kahn; Vijay A. Saraswat (OOPSLA/ECOOP, 1990)

Concurrent Constraint Programming. - Vijay A. Saraswat; Martin C. Rinard (POPL, 1990)

Janus: A step towards distributed constraint programming. - Vijay A. Saraswat; Kenneth M. Kahn; Jacob Levy (NACLP, 1990)

Complete Visualizations of Concurrent Programs and their Executions. - Kenneth M. Kahn; Vijay A. Saraswat (VL, 1990)

Characterizing Non-Intermittent Faults. - Olivier Raiman; Johan de Kleer; Vijay A. Saraswat; Mark Shirley (AAAI, 1991)

Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. - Kenneth M. Kahn; Vijay A. Saraswat; Volker Haarslev (GI Jahrestagung, 1991)

Semantic Foundations of Concurrent Constraint Programming. - Vijay A. Saraswat; Martin C. Rinard; Prakash Panangaden (POPL, 1991)

The Category of Constraint Systems is Cartesian-Closed - Vijay A. Saraswat (LICS, 1992)

A Hyperdoctrinal View of Concurrent Constraint Programming. - Prakash Panangaden; Vijay A. Saraswat; Philip J. Scott; Robert A. G. Seely (REX Workshop, 1992)

Concurrent constraint programming. - Vijay A. Saraswat (MIT Press, 1993)

LFG Semantics via Constraints. - Mary Dalrymple; John Lamping; Vijay A. Saraswat (EACL, 1993)

Critical Reasoning. - Olivier Raiman; Johan de Kleer; Vijay A. Saraswat (IJCAI, 1993)

Programming in Timed Concurrent Constraint Languages. - Vijay A. Saraswat; Radha Jagadeesan; Vineet Gupta 001 (NATO ASI CP, 1993)

Programming in Hybrid Constraint Languages. - Vineet Gupta 001; Radha Jagadeesan; Vijay A. Saraswat; Daniel G. Bobrow (Hybrid Systems, 1994)

Foundations of Timed Concurrent Constraint Programming - Vijay A. Saraswat; Radha Jagadeesan; Vineet Gupta 001 (LICS, 1994)

CC Programs with both In- and Non-determinism: A Concurrent Semantics. - Ugo Montanari; Francesca Rossi 001; Vijay A. Saraswat (PPCP, 1994)

A Deductive Account of Quantification in LFG. - Mary Dalrymple; John Lamping; Fernando C. N. Pereira; Vijay A. Saraswat (CoRR, 1994)

Intensional Verbs Without Type-Raising or Lexical Ambiguity. - Mary Dalrymple; John Lamping; Fernando C. N. Pereira; Vijay A. Saraswat (CoRR, 1994)

Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. - Markus P. J. Fromherz; Vijay A. Saraswat (CP, 1995)

The Concurrent Constraint Programming Research Programmes. - Vijay A. Saraswat (CP, 1995)

The Semantics of Resource Sharing in Lexical-Functional Grammar. - Andrew Kehler; Mary Dalrymple; John Lamping; Vijay A. Saraswat (EACL, 1995)

Hybrid cc, Hybrid Automata and Program Verification. - Vineet Gupta 001; Radha Jagadeesan; Vijay A. Saraswat (Hybrid Systems, 1995)

Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? - Yumi Iwasaki; Adam Farquhar; Vijay A. Saraswat; Daniel G. Bobrow; Vineet Gupta 001 (IJCAI, 1995)

Default Timed Concurrent Constraint Programming. - Vijay A. Saraswat; Radha Jagadeesan; Vineet Gupta 001 (POPL, 1995)

Linear Logic for Meaning Assembly - Mary Dalrymple; John Lamping; Fernando C. N. Pereira; Vijay A. Saraswat (CoRR, 1995)

Models for Concurrent Constraint Programming. - Vineet Gupta 001; Radha Jagadeesan; Vijay A. Saraswat (CONCUR, 1996)

Truly Concurrent Constraint Programming. - Vineet Gupta 001; Radha Jagadeesan; Vijay A. Saraswat (CONCUR, 1996)

Strategic Directions in Constraint Programming. - Pascal Van Hentenryck; Vijay A. Saraswat (ACM Comput. Surv., 1996)

Compositional Computing. - Vijay A. Saraswat (ACM Comput. Surv., 1996)

Timed Default Concurrent Constraint Programming. - Vijay A. Saraswat; Radha Jagadeesan; Vineet Gupta 001 (J. Symb. Comput., 1996)

Probabilistic Concurrent Constraint Programming. - Vineet Gupta 001; Radha Jagadeesan; Vijay A. Saraswat (CONCUR, 1997)

Constraint Programming: Strategic Directions. - Pascal Van Hentenryck; Vijay A. Saraswat (Constraints An Int. J., 1997)

Introduction to the Special Issue. - Vijay A. Saraswat; Pascal Van Hentenryck (Constraints An Int. J., 1997)

Quantifiers, Anaphora, and Intensionality. - Mary Dalrymple; John Lamping; Fernando C. N. Pereira; Vijay A. Saraswat (J. Log. Lang. Inf., 1997)

Online Scheduling with Lookahead: Multipass Assembly Lines. - Rajeev Motwani 001; Vijay A. Saraswat; Eric Torng (INFORMS J. Comput., 1998)

Design, Implementation, and Evaluation of the Constraint Language cc(FD). - Pascal Van Hentenryck; Vijay A. Saraswat; Yves Deville (J. Log. Program., 1998)

Computing with Continuous Change. - Vineet Gupta 001; Radha Jagadeesan; Vijay A. Saraswat (Sci. Comput. Program., 1998)

Model-Based Computing: Developing Flexible Machine Control Software. - Markus P. J. Fromherz; Vijay A. Saraswat; Daniel G. Bobrow (Artif. Intell., 1999)

On the decidability of accessibility problems (extended abstract). - Rajeev Motwani 001; Rina Panigrahy; Vijay A. Saraswat; Suresh Venkatasubramanian (STOC, 2000)

jcc: Integrating Timed Default Concurrent Constraint Programming into Java. - Vijay A. Saraswat; Radha Jagadeesan; Vineet Gupta 001 (EPIA, 2003)

Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models. - Vijay A. Saraswat (ASIAN, 2004)

Concurrent Clustered Programming. - Vijay A. Saraswat; Radha Jagadeesan (CONCUR, 2005)

Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. - Radha Jagadeesan; Gopalan Nadathur; Vijay A. Saraswat (FSTTCS, 2005)

X10: an object-oriented approach to non-uniform cluster computing. - Philippe Charles; Christian Grothoff; Vijay A. Saraswat; Christopher Donawa; Allan Kielstra; Kemal Ebcioglu; Christoph von Praun; Vivek Sarkar (OOPSLA, 2005)

Timed constraint programming: a declarative approach to usage control. - Radha Jagadeesan; Will Marrero; Corin Pitcher; Vijay A. Saraswat (PPDP, 2005)

Combinatorial sketching for finite programs. - Armando Solar-Lezama; Liviu Tancau; Rastislav Bodík; Sanjit A. Seshia; Vijay A. Saraswat (ASPLOS, 2006)

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. - Catuscia Palamidessi; Vijay A. Saraswat; Frank D. Valencia; Björn Victor (LICS, 2006)

X10: Concurrent Programming for Modern Architectures. - Vijay A. Saraswat (APLAS, 2007)

Sketching stencils. - Armando Solar-Lezama; Gilad Arnold; Liviu Tancau; Rastislav Bodík; Vijay A. Saraswat; Sanjit A. Seshia (PLDI, 2007)

A theory of memory models. - Vijay A. Saraswat; Radha Jagadeesan; Maged M. Michael; Christoph von Praun (PPoPP, 2007)

X10: concurrent programming for modern architectures. - Vijay A. Saraswat; Vivek Sarkar; Christoph von Praun (PPoPP, 2007)

Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing. - Guojing Cong; Sreedhar B. Kodali; Sriram Krishnamoorthy; Doug Lea; Vijay A. Saraswat; Tong Wen (ICPP, 2008)

Constrained types for object-oriented languages. - Nathaniel Nystrom; Vijay A. Saraswat; Jens Palsberg; Christian Grothoff (OOPSLA, 2008)

Type inference for locality analysis of distributed data structures. - Satish Chandra 001; Vijay A. Saraswat; Vivek Sarkar; Rastislav Bodík (PPoPP, 2008)

Curricula for concurrency and parallelism. - Guy L. Steele Jr.; Vijay A. Saraswat (OOPSLA Companion, 2009)

Efficient, portable implementation of asynchronous multi-place programs. - Ganesh Bikshandi; José G. Castaños; Sreedhar B. Kodali; V. Krishna Nandivada; Igor Peshansky; Vijay A. Saraswat; Sayantan Sur; Pradeep Varma; Tong Wen (PPoPP, 2009)

Idempotent work stealing. - Maged M. Michael; Martin T. Vechev; Vijay A. Saraswat (PPoPP, 2009)

Curricula in concurrency and parallelism. - Vijay A. Saraswat; Kim Bruce 001 (SPLASH/OOPSLA Companion, 2010)

Concurrency for the application programmer. - Vijay A. Saraswat; Doug Lea (SPLASH/OOPSLA Companion, 2010)

Fast PGAS Implementation of Distributed Graph Algorithms. - Guojing Cong; George Almási 001; Vijay A. Saraswat (SC, 2010)

Lifeline-based global load balancing. - Vijay A. Saraswat; Prabhanjan Kambadur; Sreedhar B. Kodali; David Grove; Sriram Krishnamoorthy (PPoPP, 2011)

Object Initialization in X10. - Yoav Zibin; David Cunningham; Igor Peshansky; Vijay A. Saraswat (ECOOP, 2012)

Constrained kinds. - Olivier Tardieu; Nathaniel Nystrom; Igor Peshansky; Vijay A. Saraswat (OOPSLA, 2012)

SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation). - Bard Bloom; David Grove; Benjamin Herta; Ashish Sabharwal; Horst Samulowitz; Vijay A. Saraswat (SAT, 2012)

M3R: Increased performance for in-memory Hadoop jobs. - Avraham Shinnar; David Cunningham; Benjamin Herta; Vijay A. Saraswat (Proc. VLDB Endow., 2012)

Java interoperability in managed X10. - Mikio Takeuchi; David Cunningham; David Grove; Vijay A. Saraswat (X10@PLDI, 2013)

Array dataflow analysis for polyhedral X10 programs. - Tomofumi Yuki; Paul Feautrier; Sanjay V. Rajopadhye; Vijay A. Saraswat (PPoPP, 2013)

Checking Race Freedom of Clocked X10 Programs. - Tomofumi Yuki; Paul Feautrier; Sanjay V. Rajopadhye; Vijay A. Saraswat (CoRR, 2013)

TCC, with History. - Vijay A. Saraswat; Vineet Gupta 001; Radha Jagadeesan (Horizons of the Mind, 2014)

Concurrent Constraint Programming Research Programmes - Redux. - Vijay A. Saraswat (CP, 2014)

Parallel Combinatorial Optimization with Decision Diagrams. - David Bergman; André A. Ciré; Ashish Sabharwal; Horst Samulowitz; Vijay A. Saraswat; Willem Jan van Hoeve (CPAIOR, 2014)

Semantics of (Resilient) X10. - Silvia Crafa; David Cunningham; Vijay A. Saraswat; Avraham Shinnar; Olivier Tardieu (ECOOP, 2014)

From Sentiment Analysis to Preference Aggregation. - Umberto Grandi; Andrea Loreggia; Francesca Rossi 001; Vijay A. Saraswat (ISAIM, 2014)

Resilient X10: efficient failure-aware programming. - David Cunningham; David Grove; Benjamin Herta; Arun Iyengar; Kiyokuni Kawachiya; Hiroki Murata; Vijay A. Saraswat; Mikio Takeuchi; Olivier Tardieu (PPoPP, 2014)

X10 and APGAS at Petascale. - Olivier Tardieu; Benjamin Herta; David Cunningham; David Grove; Prabhanjan Kambadur; Vijay A. Saraswat; Avraham Shinnar; Mikio Takeuchi; Mandana Vaziri (PPoPP, 2014)

GLB: lifeline-based global load balancing library in x10. - Wei Zhang 022; Olivier Tardieu; David Grove; Benjamin Herta; Tomio Kamada; Vijay A. Saraswat; Mikio Takeuchi (PPAA@PPoPP, 2014)

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Francesca Rossi 001; Vijay A. Saraswat; Philippe Codognet (AAAI, 2015)

A Resilient Framework for Iterative Linear Algebra Applications in X10. - Sara S. Hamouda; Josh Milthorpe; Peter E. Strazdins; Vijay A. Saraswat (IPDPS Workshops, 2015)

Logical Conditional Preference Theories. - Cristina Cornelio; Andrea Loreggia; Vijay A. Saraswat (CoRR, 2015)

Deep Learning for Algorithm Portfolios. - Andrea Loreggia; Yuri Malitsky; Horst Samulowitz; Vijay A. Saraswat (AAAI, 2016)

A Borda count for collective sentiment analysis. - Umberto Grandi; Andrea Loreggia; Francesca Rossi 001; Vijay A. Saraswat (Ann. Math. Artif. Intell., 2016)

META: Middleware for Events, Transactions, and Analytics. - Matthew Arnold; David Grove; Benjamin Herta; Michael Hind; Martin Hirzel; Arun Iyengar; Louis Mandel; Vijay A. Saraswat; Avraham Shinnar; Jérôme Siméon; Mikio Takeuchi; Olivier Tardieu; et al. (IBM J. Res. Dev., 2016)

X10 and APGAS at Petascale. - Olivier Tardieu; Benjamin Herta; David Cunningham; David Grove; Prabhanjan Kambadur; Vijay A. Saraswat; Avraham Shinnar; Mikio Takeuchi; Mandana Vaziri; Wei Zhang 022 (ACM Trans. Parallel Comput., 2016)

Expressing Probabilistic Graphical Models in RCC. - Cristina Cornelio; Vijay A. Saraswat (AAAI Workshops, 2017)

Learning Structured Natural Language Representations for Semantic Parsing. - Jianpeng Cheng 001; Siva Reddy; Vijay A. Saraswat; Mirella Lapata (ACL (1), 2017)

A Probabilistic Generative Grammar for Semantic Parsing. - Abulhair Saparov; Vijay A. Saraswat; Tom M. Mitchell (CoNLL, 2017)

Learning an Executable Neural Semantic Parser. - Jianpeng Cheng 001; Siva Reddy; Vijay A. Saraswat; Mirella Lapata (Comput. Linguistics, 2019)

Failure Recovery in Resilient X10. - David Grove; Sara S. Hamouda; Benjamin Herta; Arun Iyengar; Kiyokuni Kawachiya; Josh Milthorpe; Vijay A. Saraswat; Avraham Shinnar; Mikio Takeuchi; Olivier Tardieu (ACM Trans. Program. Lang. Syst., 2019)