Vijay A. Saraswat

Publication Activity (10 Years)

Years Active: 1985-2019
Publications (10 Years): 11

Top Venues

CoRR

PPOPP

AAAI

ECOOP

Publications

Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata
Learning an Executable Neural Semantic Parser. Comput. Linguistics 45 (1) (2019)
David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu
Failure Recovery in Resilient X10. ACM Trans. Program. Lang. Syst. 41 (3) (2019)
Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata
Learning Structured Natural Language Representations for Semantic Parsing. ACL (1) (2017)
Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata
Learning Structured Natural Language Representations for Semantic Parsing. CoRR (2017)
Abulhair Saparov, Vijay A. Saraswat, Tom M. Mitchell
A Probabilistic Generative Grammar for Semantic Parsing. CoNLL (2017)
Jianpeng Cheng, Siva Reddy, Vijay A. Saraswat, Mirella Lapata
Learning an Executable Neural Semantic Parser. CoRR (2017)
Cristina Cornelio, Vijay A. Saraswat
Expressing Probabilistic Graphical Models in RCC. AAAI Workshops (2017)
Umberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay A. Saraswat
A Borda count for collective sentiment analysis. Ann. Math. Artif. Intell. 77 (3-4) (2016)
Andrea Loreggia, Yuri Malitsky, Horst Samulowitz, Vijay A. Saraswat
Deep Learning for Algorithm Portfolios. AAAI (2016)
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
X10 and APGAS at Petascale. ACM Trans. Parallel Comput. 2 (4) (2016)
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
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60 (2-3) (2016)
Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. AAAI (2015)
Sara S. Hamouda, Josh Milthorpe, Peter E. Strazdins, Vijay A. Saraswat
A Resilient Framework for Iterative Linear Algebra Applications in X10. IPDPS Workshops (2015)
Cristina Cornelio, Andrea Loreggia, Vijay A. Saraswat
Logical Conditional Preference Theories. CoRR (2015)
Umberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay A. Saraswat
From Sentiment Analysis to Preference Aggregation. ISAIM (2014)
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
Semantics of (Resilient) X10. ECOOP (2014)
Vijay A. Saraswat
Concurrent Constraint Programming Research Programmes - Redux. CP (2014)
Vijay A. Saraswat, Vineet Gupta, Radha Jagadeesan
TCC, with History. Horizons of the Mind (2014)
David Bergman, André A. Ciré, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat, Willem Jan van Hoeve
Parallel Combinatorial Optimization with Decision Diagrams. CPAIOR (2014)
David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay A. Saraswat, Mikio Takeuchi, Olivier Tardieu
Resilient X10: efficient failure-aware programming. PPOPP (2014)
Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay A. Saraswat, Mikio Takeuchi
GLB: lifeline-based global load balancing library in x10. PPAA@PPoPP (2014)
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
X10 and APGAS at Petascale. PPOPP (2014)
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
Semantics of (Resilient) X10. CoRR (2013)
Mikio Takeuchi, David Cunningham, David Grove, Vijay A. Saraswat
Java interoperability in managed X10. X10@PLDI (2013)
Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat
Array dataflow analysis for polyhedral X10 programs. PPOPP (2013)
Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay A. Saraswat, Mikio Takeuchi
GLB: Lifeline-based Global Load Balancing library in X10. CoRR (2013)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
TCC, with History. CoRR (2013)
Tomofumi Yuki, Paul Feautrier, Sanjay V. Rajopadhye, Vijay A. Saraswat
Checking Race Freedom of Clocked X10 Programs. CoRR (2013)
Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat
M3R: Increased performance for in-memory Hadoop jobs. Proc. VLDB Endow. 5 (12) (2012)
Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat
Constrained kinds. OOPSLA (2012)
Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat
SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation). SAT (2012)
Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat
Object Initialization in X10. ECOOP (2012)
Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat
M3R: Increased performance for in-memory Hadoop jobs CoRR (2012)
Vijay A. Saraswat, Prabhanjan Kambadur, Sreedhar B. Kodali, David Grove, Sriram Krishnamoorthy
Lifeline-based global load balancing. PPOPP (2011)
Guojing Cong, George Almási, Vijay A. Saraswat
Fast PGAS Implementation of Distributed Graph Algorithms. SC (2010)
Vijay A. Saraswat, Kim Bruce
Curricula in concurrency and parallelism. SPLASH/OOPSLA Companion (2010)
Vijay A. Saraswat, Doug Lea
Concurrency for the application programmer. SPLASH/OOPSLA Companion (2010)
Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat
Idempotent work stealing. PPOPP (2009)
Guy L. Steele Jr., Vijay A. Saraswat
Curricula for concurrency and parallelism. OOPSLA Companion (2009)
Ganesh Bikshandi, José G. Castaños, Sreedhar B. Kodali, V. Krishna Nandivada, Igor Peshansky, Vijay A. Saraswat, Sayantan Sur, Pradeep Varma, Tong Wen
Efficient, portable implementation of asynchronous multi-place programs. PPOPP (2009)
Guojing Cong, Sreedhar B. Kodali, Sriram Krishnamoorthy, Doug Lea, Vijay A. Saraswat, Tong Wen
Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing. ICPP (2008)
Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík
Type inference for locality analysis of distributed data structures. PPOPP (2008)
Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff
Constrained types for object-oriented languages. OOPSLA (2008)
Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun
X10: concurrent programming for modern architectures. PPOPP (2007)
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
Sketching stencils. PLDI (2007)
Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun
A theory of memory models. PPOPP (2007)
Vijay A. Saraswat
X10: Concurrent Programming for Modern Architectures. APLAS (2007)
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat
Combinatorial sketching for finite programs. ASPLOS (2006)
Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. LICS (2006)
Vijay A. Saraswat, Radha Jagadeesan
Concurrent Clustered Programming. CONCUR (2005)
Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu, Christoph von Praun, Vivek Sarkar
X10: an object-oriented approach to non-uniform cluster computing. OOPSLA (2005)
Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat
Timed constraint programming: a declarative approach to usage control. PPDP (2005)
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. FSTTCS (2005)
Vijay A. Saraswat
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models. ASIAN (2004)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA (2003)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Truly concurrent constraint programming. Theor. Comput. Sci. 278 (1-2) (2002)
Rajeev Motwani, Rina Panigrahy, Vijay A. Saraswat, Suresh Venkatasubramanian
On the decidability of accessibility problems (extended abstract). STOC (2000)
Markus P. J. Fromherz, Vijay A. Saraswat, Daniel G. Bobrow
Model-Based Computing: Developing Flexible Machine Control Software. Artif. Intell. 114 (1-2) (1999)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Computing with Continuous Change. Sci. Comput. Program. 30 (1-2) (1998)
Rajeev Motwani, Vijay A. Saraswat, Eric Torng
Online Scheduling with Lookahead: Multipass Assembly Lines. INFORMS J. Comput. 10 (3) (1998)
Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
Design, Implementation, and Evaluation of the Constraint Language cc(FD). J. Log. Program. 37 (1-3) (1998)
Vijay A. Saraswat
Compositional Computing. Constraints An Int. J. 2 (1) (1997)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Probabilistic Concurrent Constraint Programming. CONCUR (1997)
Pascal Van Hentenryck, Vijay A. Saraswat
Constraint Programming: Strategic Directions. Constraints An Int. J. 2 (1) (1997)
Vijay A. Saraswat, Pascal Van Hentenryck
Introduction to the Special Issue. Constraints An Int. J. 2 (1) (1997)
Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat
Quantifiers, Anaphora, and Intensionality. J. Log. Lang. Inf. 6 (3) (1997)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Models for Concurrent Constraint Programming. CONCUR (1996)
Vijay A. Saraswat
Compositional Computing. ACM Comput. Surv. 28 (4es) (1996)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22 (5/6) (1996)
Pascal Van Hentenryck, Vijay A. Saraswat
Strategic Directions in Constraint Programming. ACM Comput. Surv. 28 (4) (1996)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Truly Concurrent Constraint Programming. CONCUR (1996)
Markus P. J. Fromherz, Vijay A. Saraswat
Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. CP (1995)
Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat
Quantifiers, Anaphora, and Intensionality CoRR (1995)
Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat
Linear Logic for Meaning Assembly CoRR (1995)
Vijay A. Saraswat
The Concurrent Constraint Programming Research Programmes. CP (1995)
Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat
The Semantics of Resource Sharing in Lexical-Functional Grammar CoRR (1995)
Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? IJCAI (1995)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Default Timed Concurrent Constraint Programming. POPL (1995)
Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat
The Semantics of Resource Sharing in Lexical-Functional Grammar. EACL (1995)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems (1995)
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow
Programming in Hybrid Constraint Languages. Hybrid Systems (1994)
Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat
A Deductive Account of Quantification in LFG. CoRR (1994)
Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat
Intensional Verbs Without Type-Raising or Lexical Ambiguity. CoRR (1994)
Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville
Design, Implementation, and Evaluation of the Constraint Language cc(FD) Constraint Programming (1994)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Foundations of Timed Concurrent Constraint Programming LICS (1994)
Ugo Montanari, Francesca Rossi, Vijay A. Saraswat
CC Programs with both In- and Non-determinism: A Concurrent Semantics. PPCP (1994)
Olivier Raiman, Johan de Kleer, Vijay A. Saraswat
Critical Reasoning. IJCAI (1993)
Mary Dalrymple, John Lamping, Vijay A. Saraswat
LFG Semantics via Constraints. EACL (1993)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Programming in Timed Concurrent Constraint Languages. NATO ASI CP (1993)
Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely
A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop (1992)
Vijay A. Saraswat
The Category of Constraint Systems is Cartesian-Closed LICS (1992)
Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev
Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. GI Jahrestagung (1991)
Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley
Characterizing Non-Intermittent Faults. AAAI (1991)
Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden
Semantic Foundations of Concurrent Constraint Programming. POPL (1991)
Vijay A. Saraswat
The Paradigm of Concurrent Constraint Programming. ICLP (1990)
Vijay A. Saraswat, Martin C. Rinard
Concurrent Constraint Programming. POPL (1990)
Kenneth M. Kahn, Vijay A. Saraswat
Complete Visualizations of Concurrent Programs and their Executions. VL (1990)
Vijay A. Saraswat, Kenneth M. Kahn, Jacob Levy
Janus: A step towards distributed constraint programming. NACLP (1990)
Kenneth M. Kahn, Vijay A. Saraswat
Complete Visualization of Concurrent Programs and Their Executions. LPE (1990)
Kenneth M. Kahn, Vijay A. Saraswat
Actors as a Special Case of Concurrent Constraint Programming. OOPSLA/ECOOP (1990)

Vijay A. Saraswat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vijay A. Saraswat