| 2009 |
|---|
| 65 | EE | 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 |
| 64 | EE | Maged M. Michael,
Martin T. Vechev,
Vijay A. Saraswat:
Idempotent work stealing.
PPOPP 2009: 45-54 |
| 2008 |
|---|
| 63 | EE | 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 |
| 62 | EE | Nathaniel Nystrom,
Vijay A. Saraswat,
Jens Palsberg,
Christian Grothoff:
Constrained types for object-oriented languages.
OOPSLA 2008: 457-474 |
| 61 | EE | Satish Chandra,
Vijay A. Saraswat,
Vivek Sarkar,
Rastislav Bodík:
Type inference for locality analysis of distributed data structures.
PPOPP 2008: 11-22 |
| 2007 |
|---|
| 60 | EE | Vijay A. Saraswat:
X10: Concurrent Programming for Modern Architectures.
APLAS 2007: 1 |
| 59 | EE | Armando Solar-Lezama,
Gilad Arnold,
Liviu Tancau,
Rastislav Bodík,
Vijay A. Saraswat,
Sanjit A. Seshia:
Sketching stencils.
PLDI 2007: 167-178 |
| 58 | EE | Vijay A. Saraswat,
Radha Jagadeesan,
Maged M. Michael,
Christoph von Praun:
A theory of memory models.
PPOPP 2007: 161-172 |
| 57 | EE | Vijay A. Saraswat,
Vivek Sarkar,
Christoph von Praun:
X10: concurrent programming for modern architectures.
PPOPP 2007: 271 |
| 2006 |
|---|
| 56 | EE | Armando Solar-Lezama,
Liviu Tancau,
Rastislav Bodík,
Sanjit A. Seshia,
Vijay A. Saraswat:
Combinatorial sketching for finite programs.
ASPLOS 2006: 404-415 |
| 55 | EE | 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 |
| 2005 |
|---|
| 54 | EE | Vijay A. Saraswat,
Radha Jagadeesan:
Concurrent Clustered Programming.
CONCUR 2005: 353-367 |
| 53 | EE | Radha Jagadeesan,
Gopalan Nadathur,
Vijay A. Saraswat:
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.
FSTTCS 2005: 517-528 |
| 52 | EE | 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 |
| 51 | EE | Radha Jagadeesan,
Will Marrero,
Corin Pitcher,
Vijay A. Saraswat:
Timed constraint programming: a declarative approach to usage control.
PPDP 2005: 164-175 |
| 2004 |
|---|
| 50 | EE | Vijay A. Saraswat:
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models.
ASIAN 2004: 494-508 |
| 2003 |
|---|
| 49 | | Vijay A. Saraswat:
Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings
Springer 2003 |
| 48 | EE | Vijay A. Saraswat,
Radha Jagadeesan,
Vineet Gupta:
jcc: Integrating Timed Default Concurrent Constraint Programming into Java.
EPIA 2003: 156-170 |
| 2002 |
|---|
| 47 | EE | Vineet Gupta,
Radha Jagadeesan,
Vijay A. Saraswat:
Truly concurrent constraint programming.
Theor. Comput. Sci. 278(1-2): 223-255 (2002) |
| 2000 |
|---|
| 46 | EE | Rajeev Motwani,
Rina Panigrahy,
Vijay A. Saraswat,
Suresh Venkatasubramanian:
On the decidability of accessibility problems (extended abstract).
STOC 2000: 306-315 |
| 1999 |
|---|
| 45 | EE | 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) |
| 1998 |
|---|
| 44 | | 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) |
| 43 | | Vineet Gupta,
Radha Jagadeesan,
Vijay A. Saraswat:
Computing with Continuous Change.
Sci. Comput. Program. 30(1-2): 3-49 (1998) |
| 1997 |
|---|
| 42 | | Vineet Gupta,
Radha Jagadeesan,
Vijay A. Saraswat:
Probabilistic Concurrent Constraint Programming.
CONCUR 1997: 243-257 |
| 41 | | Vijay A. Saraswat,
Pascal Van Hentenryck:
Introduction to the Special Issue.
Constraints 2(1): 5-6 (1997) |
| 40 | | Pascal Van Hentenryck,
Vijay A. Saraswat:
Constraint Programming: Strategic Directions.
Constraints 2(1): 7-33 (1997) |
| 39 | | Vijay A. Saraswat:
Compositional Computing.
Constraints 2(1): 95-97 (1997) |
| 38 | | 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) |
| 1996 |
|---|
| 37 | | Vineet Gupta,
Radha Jagadeesan,
Vijay A. Saraswat:
Truly Concurrent Constraint Programming.
CONCUR 1996: 373-388 |
| 36 | | Vineet Gupta,
Radha Jagadeesan,
Vijay A. Saraswat:
Models for Concurrent Constraint Programming.
CONCUR 1996: 66-83 |
| 35 | | Pascal Van Hentenryck,
Vijay A. Saraswat:
Strategic Directions in Constraint Programming.
ACM Comput. Surv. 28(4): 701-726 (1996) |
| 34 | | Vijay A. Saraswat:
Compositional Computing.
ACM Comput. Surv. 28(4es): 74 (1996) |
| 33 | | Vijay A. Saraswat,
Radha Jagadeesan,
Vineet Gupta:
Timed Default Concurrent Constraint Programming.
J. Symb. Comput. 22(5/6): 475-520 (1996) |
| 1995 |
|---|
| 32 | | Vijay A. Saraswat:
The Concurrent Constraint Programming Research Programmes.
CP 1995: 588 |
| 31 | | Markus P. J. Fromherz,
Vijay A. Saraswat:
Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation.
CP 1995: 629-635 |
| 30 | EE | Andrew Kehler,
Mary Dalrymple,
John Lamping,
Vijay A. Saraswat:
The Semantics of Resource Sharing in Lexical-Functional Grammar.
EACL 1995: 31-38 |
| 29 | | Vineet Gupta,
Radha Jagadeesan,
Vijay A. Saraswat:
Hybrid cc, Hybrid Automata and Program Verification.
Hybrid Systems 1995: 52-63 |
| 28 | | 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 |
| 27 | | Vijay A. Saraswat,
Radha Jagadeesan,
Vineet Gupta:
Default Timed Concurrent Constraint Programming.
POPL 1995: 272-285 |
| 26 | EE | Andrew Kehler,
Mary Dalrymple,
John Lamping,
Vijay A. Saraswat:
The Semantics of Resource Sharing in Lexical-Functional Grammar
CoRR cmp-lg/9502015: (1995) |
| 25 | EE | Mary Dalrymple,
John Lamping,
Fernando C. N. Pereira,
Vijay A. Saraswat:
Linear Logic for Meaning Assembly
CoRR cmp-lg/9504012: (1995) |
| 24 | EE | Mary Dalrymple,
John Lamping,
Fernando C. N. Pereira,
Vijay A. Saraswat:
Quantifiers, Anaphora, and Intensionality
CoRR cmp-lg/9504029: (1995) |
| 1994 |
|---|
| 23 | | Pascal Van Hentenryck,
Vijay A. Saraswat,
Yves Deville:
Design, Implementation, and Evaluation of the Constraint Language cc(FD)
Constraint Programming 1994: 293-316 |
| 22 | | Vineet Gupta,
Radha Jagadeesan,
Vijay A. Saraswat,
Daniel G. Bobrow:
Programming in Hybrid Constraint Languages.
Hybrid Systems 1994: 226-251 |
| 21 | | Vijay A. Saraswat,
Radha Jagadeesan,
Vineet Gupta:
Foundations of Timed Concurrent Constraint Programming
LICS 1994: 71-80 |
| 20 | | Ugo Montanari,
Francesca Rossi,
Vijay A. Saraswat:
CC Programs with both In- and Non-determinism: A Concurrent Semantics.
PPCP 1994: 162-172 |
| 1993 |
|---|
| 19 | EE | Mary Dalrymple,
John Lamping,
Vijay A. Saraswat:
LFG Semantics via Constraints.
EACL 1993: 97-105 |
| 18 | | Olivier Raiman,
Johan de Kleer,
Vijay A. Saraswat:
Critical Reasoning.
IJCAI 1993: 18-23 |
| 1992 |
|---|
| 17 | | Vijay A. Saraswat:
The Category of Constraint Systems is Cartesian-Closed
LICS 1992: 341-345 |
| 16 | | Prakash Panangaden,
Vijay A. Saraswat,
Philip J. Scott,
R. A. G. Seely:
A Hyperdoctrinal View of Concurrent Constraint Programming.
REX Workshop 1992: 457-476 |
| 1991 |
|---|
| 15 | | Olivier Raiman,
Johan de Kleer,
Vijay A. Saraswat,
Mark Shirley:
Characterizing Non-Intermittent Faults.
AAAI 1991: 849-854 |
| 14 | | Kenneth M. Kahn,
Vijay A. Saraswat,
Volker Haarslev:
Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung.
GI Jahrestagung 1991: 427-436 |
| 13 | | Vijay A. Saraswat,
Martin C. Rinard,
Prakash Panangaden:
Semantic Foundations of Concurrent Constraint Programming.
POPL 1991: 333-352 |
| 1990 |
|---|
| 12 | | Vijay A. Saraswat:
The Paradigm of Concurrent Constraint Programming.
ICLP 1990: 777-778 |
| 11 | | Kenneth M. Kahn,
Vijay A. Saraswat:
Complete Visualization of Concurrent Programs and Their Executions.
LPE 1990: 30-34 |
| 10 | | Vijay A. Saraswat,
Kenneth M. Kahn,
Jacob Levy:
Janus: A step towards distributed constraint programming.
NACLP 1990: 431-446 |
| 9 | | Kenneth M. Kahn,
Vijay A. Saraswat:
Actors as a Special Case of Concurrent Constraint Programming.
OOPSLA/ECOOP 1990: 57-66 |
| 8 | | Vijay A. Saraswat,
Martin C. Rinard:
Concurrent Constraint Programming.
POPL 1990: 232-245 |
| 7 | | Kenneth M. Kahn,
Vijay A. Saraswat:
Complete Visualizations of Concurrent Programs and their Executions.
VL 1990: 7-15 |
| 1988 |
|---|
| 6 | | Vijay A. Saraswat:
A Somewhat Logical Formulation of CLP Synchronisation Primitives.
ICLP/SLP 1988: 1298-1314 |
| 5 | EE | Vijay A. Saraswat,
Kenneth M. Kahn,
David Weinbaum:
Detecting Stable Properties of Networks in Concurrent Logic Programming Languages.
PODC 1988: 210-222 |
| 1987 |
|---|
| 4 | | Vijay A. Saraswat:
CP as a General-Purpose Constraint-Language.
AAAI 1987: 53-58 |
| 3 | | Vijay A. Saraswat:
The Concurrent Logic Programming Language CP: Definition and Operational Semantics.
POPL 1987: 49-62 |
| 2 | | Vijay A. Saraswat:
GHC: Operational Semantics, Problems, and Relationships with CP(|, |).
SLP 1987: 347-358 |
| 1985 |
|---|
| 1 | | Vijay A. Saraswat:
Partial correctness semantics for CP [ , | , &].
FSTTCS 1985: 347-368 |
