dblp.uni-trier.dewww.uni-trier.de

Vijay A. Saraswat

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
65EEGanesh 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
64EEMaged M. Michael, Martin T. Vechev, Vijay A. Saraswat: Idempotent work stealing. PPOPP 2009: 45-54
2008
63EEGuojing 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
62EENathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff: Constrained types for object-oriented languages. OOPSLA 2008: 457-474
61EESatish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22
2007
60EEVijay A. Saraswat: X10: Concurrent Programming for Modern Architectures. APLAS 2007: 1
59EEArmando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178
58EEVijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun: A theory of memory models. PPOPP 2007: 161-172
57EEVijay A. Saraswat, Vivek Sarkar, Christoph von Praun: X10: concurrent programming for modern architectures. PPOPP 2007: 271
2006
56EEArmando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat: Combinatorial sketching for finite programs. ASPLOS 2006: 404-415
55EECatuscia 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
54EEVijay A. Saraswat, Radha Jagadeesan: Concurrent Clustered Programming. CONCUR 2005: 353-367
53EERadha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat: Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. FSTTCS 2005: 517-528
52EEPhilippe 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
51EERadha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat: Timed constraint programming: a declarative approach to usage control. PPDP 2005: 164-175
2004
50EEVijay 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
48EEVijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170
2002
47EEVineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly concurrent constraint programming. Theor. Comput. Sci. 278(1-2): 223-255 (2002)
2000
46EERajeev Motwani, Rina Panigrahy, Vijay A. Saraswat, Suresh Venkatasubramanian: On the decidability of accessibility problems (extended abstract). STOC 2000: 306-315
1999
45EEMarkus 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
30EEAndrew 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
26EEAndrew Kehler, Mary Dalrymple, John Lamping, Vijay A. Saraswat: The Semantics of Resource Sharing in Lexical-Functional Grammar CoRR cmp-lg/9502015: (1995)
25EEMary Dalrymple, John Lamping, Fernando C. N. Pereira, Vijay A. Saraswat: Linear Logic for Meaning Assembly CoRR cmp-lg/9504012: (1995)
24EEMary 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
19EEMary 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
5EEVijay 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

Coauthor Index

1Gilad Arnold [59]
2Ganesh Bikshandi [65]
3Daniel G. Bobrow [22] [28] [45]
4Rastislav Bodík [56] [59] [61]
5José G. Castaños [65]
6Satish Chandra [61]
7Philippe Charles [52]
8Guojing Cong [63]
9Mary Dalrymple [19] [24] [25] [26] [30] [38]
10Yves Deville [23] [44]
11Christopher Donawa [52]
12Kemal Ebcioglu [52]
13Adam Farquhar [28]
14Markus P. J. Fromherz [31] [45]
15Christian Grothoff [52] [62]
16Vineet Gupta [21] [22] [27] [28] [29] [33] [36] [37] [42] [43] [47] [48]
17Volker Haarslev [14]
18Pascal Van Hentenryck [23] [35] [40] [41] [44]
19Yumi Iwasaki [28]
20Radha Jagadeesan [21] [22] [27] [29] [33] [36] [37] [42] [43] [47] [48] [51] [53] [54] [58]
21Kenneth M. Kahn [5] [7] [9] [10] [11] [14]
22Andrew Kehler [26] [30]
23Allan Kielstra [52]
24Johan de Kleer [15] [18]
25Sreedhar B. Kodali [63] [65]
26Sriram Krishnamoorthy [63]
27John Lamping [19] [24] [25] [26] [30] [38]
28Doug Lea [63]
29Jacob Levy [10]
30Will Marrero [51]
31Maged M. Michael [58] [64]
32Ugo Montanari [20]
33Rajeev Motwani [46]
34Gopalan Nadathur [53]
35V. Krishna Nandivada [65]
36Nathaniel Nystrom [62]
37Catuscia Palamidessi [55]
38Jens Palsberg [62]
39Prakash Panangaden [13] [16]
40Rina Panigrahy [46]
41Fernando C. N. Pereira [24] [25] [38]
42Igor Peshansky [65]
43Corin Pitcher [51]
44Christoph von Praun [52] [57] [58]
45Olivier Raiman [15] [18]
46Martin C. Rinard [8] [13]
47Francesca Rossi [20]
48Vivek Sarkar [52] [57] [61]
49Philip J. Scott [16]
50R. A. G. Seely [16]
51Sanjit A. Seshia [56] [59]
52Mark Shirley [15]
53Armando Solar-Lezama [56] [59]
54Sayantan Sur [65]
55Liviu Tancau [56] [59]
56Frank D. Valencia (Frank Valencia) [55]
57Pradeep Varma [65]
58Martin T. Vechev [64]
59Suresh Venkatasubramanian [46]
60Björn Victor [55]
61David Weinbaum [5]
62Tong Wen [63] [65]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)