Vijay A. Saraswat

Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat: M3R: Increased performance for in-memory Hadoop jobs. PVLDB 5(12): 1736-1747 (2012)

Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat: Object Initialization in X10. ECOOP 2012: 207-231

Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat: Constrained kinds. OOPSLA 2012: 811-830

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: 463-468

Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat: M3R: Increased performance for in-memory Hadoop jobs. CoRR abs/1208.4168 (2012)

Vijay A. Saraswat, Prabhanjan Kambadur, Sreedhar B. Kodali, David Grove, Sriram Krishnamoorthy: Lifeline-based global load balancing. PPOPP 2011: 201-212

Vijay A. Saraswat, Kim Bruce: Curricula in concurrency and parallelism. SPLASH/OOPSLA Companion 2010: 281-282

Guojing Cong, George Almasi, Vijay A. Saraswat: Fast PGAS Implementation of Distributed Graph Algorithms. SC 2010: 1-11

Guy L. Steele Jr., Vijay A. Saraswat: Curricula for concurrency and parallelism. OOPSLA Companion 2009: 703-704

Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat: Idempotent work stealing. PPOPP 2009: 45-54

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: 271-282

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: 536-545

Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff: Constrained types for object-oriented languages. OOPSLA 2008: 457-474

Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22

Vijay A. Saraswat: X10: Concurrent Programming for Modern Architectures. APLAS 2007: 1

Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178

Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun: A theory of memory models. PPOPP 2007: 161-172

Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun: X10: concurrent programming for modern architectures. PPOPP 2007: 271

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

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: 59-68

Vijay A. Saraswat, Radha Jagadeesan: Concurrent Clustered Programming. CONCUR 2005: 353-367

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

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: 519-538

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

Vijay A. Saraswat: Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models. ASIAN 2004: 494-508

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170

Vijay A. Saraswat (Ed.): Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings. Lecture Notes in Computer Science 2896, Springer 2003, isbn 3-540-20632-9

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly concurrent constraint programming. Theor. Comput. Sci. 278(1-2): 223-255 (2002)

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

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

Rajeev Motwani, Vijay A. Saraswat, Eric Torng: Online Scheduling with Lookahead: Multipass Assembly Lines. INFORMS Journal on Computing 10(3): 331-340 (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): 139-164 (1998)

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Computing with Continuous Change. Sci. Comput. Program. 30(1-2): 3-49 (1998)

Vijay A. Saraswat, Pascal Van Hentenryck: Introduction to the Special Issue. Constraints 2(1): 5-6 (1997)

Pascal Van Hentenryck, Vijay A. Saraswat: Constraint Programming: Strategic Directions. Constraints 2(1): 7-33 (1997)

Vijay A. Saraswat: Compositional Computing. Constraints 2(1): 95-97 (1997)

Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat: Quantifiers, Anaphora, and Intensionality. Journal of Logic, Language and Information 6(3): 219-273 (1997)

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Probabilistic Concurrent Constraint Programming. CONCUR 1997: 243-257

Vijay A. Saraswat: Compositional Computing. ACM Comput. Surv. 28(4es): 74 (1996)

Pascal Van Hentenryck, Vijay A. Saraswat: Strategic Directions in Constraint Programming. ACM Comput. Surv. 28(4): 701-726 (1996)

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Timed Default Concurrent Constraint Programming. J. Symb. Comput. 22(5/6): 475-520 (1996)

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Models for Concurrent Constraint Programming. CONCUR 1996: 66-83

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly Concurrent Constraint Programming. CONCUR 1996: 373-388

Vijay A. Saraswat: The Concurrent Constraint Programming Research Programmes. CP 1995: 588

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

Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat: The Semantics of Resource Sharing in Lexical-Functional Grammar. EACL 1995: 31-38

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Hybrid cc, Hybrid Automata and Program Verification. Hybrid Systems 1995: 52-63

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

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Default Timed Concurrent Constraint Programming. POPL 1995: 272-285

Andrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat: The Semantics of Resource Sharing in Lexical-Functional Grammar. CoRR cmp-lg/9502015 (1995)

Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat: Linear Logic for Meaning Assembly. CoRR cmp-lg/9504012 (1995)

Mary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat: Quantifiers, Anaphora, and Intensionality. CoRR cmp-lg/9504029 (1995)

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow: Programming in Hybrid Constraint Languages. Hybrid Systems 1994: 226-251

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: Foundations of Timed Concurrent Constraint Programming. LICS 1994: 71-80

Ugo Montanari, Francesca Rossi, Vijay A. Saraswat: CC Programs with both In- and Non-determinism: A Concurrent Semantics. PPCP 1994: 162-172

Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville: Design, Implementation, and Evaluation of the Constraint Language cc(FD). Constraint Programming 1994: 293-316

Vijay A. Saraswat: Concurrent constraint programming. ACM Doctoral dissertation awards, MIT Press 1993, isbn 978-0-262-19297-2, pp. I-XL, 1-486

Mary Dalrymple, John Lamping, Vijay A. Saraswat: LFG Semantics via Constraints. EACL 1993: 97-105

Olivier Raiman, Johan de Kleer, Vijay A. Saraswat: Critical Reasoning. IJCAI 1993: 18-23

Vijay A. Saraswat: The Category of Constraint Systems is Cartesian-Closed. LICS 1992: 341-345

Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, R. A. G. Seely: A Hyperdoctrinal View of Concurrent Constraint Programming. REX Workshop 1992: 457-476

Olivier Raiman, Johan de Kleer, Vijay A. Saraswat, Mark Shirley: Characterizing Non-Intermittent Faults. AAAI 1991: 849-854

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

Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden: Semantic Foundations of Concurrent Constraint Programming. POPL 1991: 333-352

Vijay A. Saraswat: The Paradigm of Concurrent Constraint Programming. ICLP 1990: 777-778

Kenneth M. Kahn, Vijay A. Saraswat: Complete Visualization of Concurrent Programs and Their Executions. LPE 1990: 30-34

Kenneth M. Kahn, Vijay A. Saraswat: Actors as a Special Case of Concurrent Constraint Programming. OOPSLA/ECOOP 1990: 57-66

Vijay A. Saraswat, Martin C. Rinard: Concurrent Constraint Programming. POPL 1990: 232-245

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

Kenneth M. Kahn, Vijay A. Saraswat: Complete Visualizations of Concurrent Programs and their Executions. VL 1990: 7-15

Vijay A. Saraswat: A Somewhat Logical Formulation of CLP Synchronisation Primitives. ICLP/SLP 1988: 1298-1314

Vijay A. Saraswat, Kenneth M. Kahn, David Weinbaum: Detecting Stable Properties of Networks in Concurrent Logic Programming Languages. PODC 1988: 210-222

Vijay A. Saraswat: CP as a General-Purpose Constraint-Language. AAAI 1987: 53-58

Vijay A. Saraswat: The Concurrent Logic Programming Language CP: Definition and Operational Semantics. POPL 1987: 49-62

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

Vijay A. Saraswat: Partial correctness semantics for CP [ , | , &]. FSTTCS 1985: 347-368