Vijay A. Saraswat

110 papers A* 17A 12B 18C 1Misc 2Journal 31Unranked 25

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