Vijay A. Saraswat

According to our database, Vijay A. Saraswat authored at least 96 papers between 1985 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

Learning an Executable Neural Semantic Parser.

Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata

Comput. Linguistics, 2019

2017

A Probabilistic Generative Grammar for Semantic Parsing.

Abulhair Saparov, Vijay A. Saraswat, Tom M. Mitchell

Proceedings of the 21st Conference on Computational Natural Language Learning (CoNLL 2017), 2017

Learning Structured Natural Language Representations for Semantic Parsing.

Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata

Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 2017

Expressing Probabilistic Graphical Models in RCC.

Cristina Cornelio, Vijay A. Saraswat

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

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

ACM Trans. Parallel Comput., 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, Wei Zhang

IBM J. Res. Dev., 2016

A Borda count for collective sentiment analysis.

Umberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay A. Saraswat

Ann. Math. Artif. Intell., 2016

Deep Learning for Algorithm Portfolios.

Andrea Loreggia, Yuri Malitsky, Horst Samulowitz, Vijay A. Saraswat

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Logical Conditional Preference Theories.

Cristina Cornelio, Andrea Loreggia, Vijay A. Saraswat

CoRR, 2015

A Resilient Framework for Iterative Linear Algebra Applications in X10.

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

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization.

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

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

GLB: lifeline-based global load balancing library in x10.

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

Proceedings of the first workshop on Parallel programming for analytics applications, 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

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 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

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

From Sentiment Analysis to Preference Aggregation.

Umberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay A. Saraswat

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

Semantics of (Resilient) X10.

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

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Parallel Combinatorial Optimization with Decision Diagrams.

David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Concurrent Constraint Programming Research Programmes - Redux.

Vijay A. Saraswat

Proceedings of the Principles and Practice of Constraint Programming, 2014

TCC, with History.

Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Checking Race Freedom of Clocked X10 Programs.

Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat

CoRR, 2013

Array dataflow analysis for polyhedral X10 programs.

Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Java interoperability in managed X10.

Mikio Takeuchi, David Cunningham, David Grove, Vijay A. Saraswat

Proceedings of the third ACM SIGPLAN X10 Workshop, 2013

2012

M3R: Increased performance for in-memory Hadoop jobs.

Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat

Proc. VLDB Endow., 2012

SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation).

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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Constrained kinds.

Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Object Initialization in X10.

Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Lifeline-based global load balancing.

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

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

2010

Fast PGAS Implementation of Distributed Graph Algorithms.

Guojing Cong, George Almási, Vijay A. Saraswat

Proceedings of the Conference on High Performance Computing Networking, 2010

Concurrency for the application programmer.

Vijay A. Saraswat, Doug Lea

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Curricula in concurrency and parallelism.

Vijay A. Saraswat, Kim Bruce

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Idempotent work stealing.

Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 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

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Curricula for concurrency and parallelism.

Guy L. Steele Jr., Vijay A. Saraswat

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

Type inference for locality analysis of distributed data structures.

Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Constrained types for object-oriented languages.

Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing.

Guojing Cong, Sreedhar B. Kodali, Sriram Krishnamoorthy, Doug Lea, Vijay A. Saraswat, Tong Wen

Proceedings of the 2008 International Conference on Parallel Processing, 2008

2007

X10: concurrent programming for modern architectures.

Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

A theory of memory models.

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

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Sketching stencils.

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

X10: Concurrent Programming for Modern Architectures.

Vijay A. Saraswat

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.

Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Combinatorial sketching for finite programs.

Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

Timed constraint programming: a declarative approach to usage control.

Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 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

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.

Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Concurrent Clustered Programming.

Vijay A. Saraswat, Radha Jagadeesan

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models.

Vijay A. Saraswat

Proceedings of the Advances in Computer Science, 2004

2003

jcc: Integrating Timed Default Concurrent Constraint Programming into Java.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Progress in Artificial Intelligence, 2003

2002

Truly concurrent constraint programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Theor. Comput. Sci., 2002

2000

On the decidability of accessibility problems (extended abstract).

Rajeev Motwani, Rina Panigrahy, Vijay A. Saraswat, Suresh Venkatasubramanian

Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, 2000

1999

Model-Based Computing: Developing Flexible Machine Control Software.

Markus P. J. Fromherz, Vijay A. Saraswat, Daniel G. Bobrow

Artif. Intell., 1999

1998

Computing with Continuous Change.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Sci. Comput. Program., 1998

Online Scheduling with Lookahead: Multipass Assembly Lines.

Rajeev Motwani, Vijay A. Saraswat, Eric Torng

INFORMS J. Comput., 1998

1997

Quantifiers, Anaphora, and Intensionality.

Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat

J. Log. Lang. Inf., 1997

Introduction to the Special Issue.

Vijay A. Saraswat, Pascal Van Hentenryck

Constraints An Int. J., 1997

Constraint Programming: Strategic Directions.

Pascal Van Hentenryck, Vijay A. Saraswat

Constraints An Int. J., 1997

Probabilistic Concurrent Constraint Programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Timed Default Concurrent Constraint Programming.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

J. Symb. Comput., 1996

Compositional Computing.

Vijay A. Saraswat

ACM Comput. Surv., 1996

Strategic Directions in Constraint Programming.

Pascal Van Hentenryck, Vijay A. Saraswat

ACM Comput. Surv., 1996

Models for Concurrent Constraint Programming.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the CONCUR '96, 1996

1995

Linear Logic for Meaning Assembly

Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat

CoRR, 1995

Default Timed Concurrent Constraint Programming.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?

Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Hybrid cc, Hybrid Automata and Program Verification.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat

Proceedings of the Hybrid Systems III: Verification and Control, 1995

The Semantics of Resource Sharing in Lexical-Functional Grammar.

Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat

Proceedings of the EACL 1995, 1995

The Concurrent Constraint Programming Research Programmes.

Vijay A. Saraswat

Proceedings of the Principles and Practice of Constraint Programming, 1995

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

Markus P. J. Fromherz, Vijay A. Saraswat

Proceedings of the Principles and Practice of Constraint Programming, 1995

1994

Design, Implementation, and Evaluation of the Constraint Language cc(FD)

Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

Intensional Verbs Without Type-Raising or Lexical Ambiguity.

Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat

CoRR, 1994

A Deductive Account of Quantification in LFG.

Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat

CoRR, 1994

CC Programs with both In- and Non-determinism: A Concurrent Semantics.

Ugo Montanari, Francesca Rossi, Vijay A. Saraswat

Proceedings of the Principles and Practice of Constraint Programming, 1994

Foundations of Timed Concurrent Constraint Programming

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Programming in Hybrid Constraint Languages.

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

Proceedings of the Hybrid Systems II, 1994

1993

Programming in Timed Concurrent Constraint Languages.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta

Proceedings of the Constraint Programming, 1993

Critical Reasoning.

Olivier Raiman, Johan de Kleer, Vijay A. Saraswat

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

LFG Semantics via Constraints.

Mary Dalrymple, John Lamping, Vijay A. Saraswat

Proceedings of the Sixth Conference of the European Chapter of the Association for Computational Linguistics, 1993

Concurrent constraint programming.

Vijay A. Saraswat

ACM Doctoral dissertation awards, MIT Press, ISBN: 978-0-262-19297-2, 1993

1992

A Hyperdoctrinal View of Concurrent Constraint Programming.

Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely

Proceedings of the Sematics: Foundations and Applications, 1992

The Category of Constraint Systems is Cartesian-Closed

Vijay A. Saraswat

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

Semantic Foundations of Concurrent Constraint Programming.

Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung.

Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev

Proceedings of the Telekommunikation und multimediale Anwendungen der Informatik, 1991

Characterizing Non-Intermittent Faults.

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

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Complete Visualizations of Concurrent Programs and their Executions.

Kenneth M. Kahn, Vijay A. Saraswat

Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

Janus: A step towards distributed constraint programming.

Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Concurrent Constraint Programming.

Vijay A. Saraswat, Martin C. Rinard

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Actors as a Special Case of Concurrent Constraint Programming.

Kenneth M. Kahn, Vijay A. Saraswat

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Complete Visualization of Concurrent Programs and Their Executions.

Kenneth M. Kahn, Vijay A. Saraswat

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

The Paradigm of Concurrent Constraint Programming.

Vijay A. Saraswat

Proceedings of the Logic Programming, 1990

1988

Detecting Stable Properties of Networks in Concurrent Logic Programming Languages.

Vijay A. Saraswat, Kenneth M. Kahn, David Weinbaum

Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

A Somewhat Logical Formulation of CLP Synchronisation Primitives.

Vijay A. Saraswat

Proceedings of the Logic Programming, 1988

1987

GHC: Operational Semantics, Problems, and Relationships with CP(|, |).

Vijay A. Saraswat

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

The Concurrent Logic Programming Language CP: Definition and Operational Semantics.

Vijay A. Saraswat

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

CP as a General-Purpose Constraint-Language.

Vijay A. Saraswat

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1985

Partial correctness semantics for CP [ , | , &].

Vijay A. Saraswat

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985