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

Vijay A. Saraswat Vis

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

*2009
67EEGuy L. Steele Jr., Vijay A. Saraswat: Curricula for concurrency and parallelism. OOPSLA Companion 2009: 703-704
66EEGanesh 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
65EEMaged M. Michael, Martin T. Vechev, Vijay A. Saraswat: Idempotent work stealing. PPOPP 2009: 45-54
2008
64EEGuojing 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
63EENathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff: Constrained types for object-oriented languages. OOPSLA 2008: 457-474
62EESatish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík: Type inference for locality analysis of distributed data structures. PPOPP 2008: 11-22
2007
61EEVijay A. Saraswat: X10: Concurrent Programming for Modern Architectures. APLAS 2007: 1
60EEArmando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. PLDI 2007: 167-178
59EEVijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun: A theory of memory models. PPOPP 2007: 161-172
58EEVijay A. Saraswat, Vivek Sarkar, Christoph von Praun: X10: concurrent programming for modern architectures. PPOPP 2007: 271
2006
57EEArmando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat: Combinatorial sketching for finite programs. ASPLOS 2006: 404-415
56EECatuscia 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
55EEVijay A. Saraswat, Radha Jagadeesan: Concurrent Clustered Programming. CONCUR 2005: 353-367
54EERadha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat: Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. FSTTCS 2005: 517-528
53EEPhilippe 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
52EERadha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat: Timed constraint programming: a declarative approach to usage control. PPDP 2005: 164-175
2004
51EEVijay A. Saraswat: Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models. ASIAN 2004: 494-508
2003
50 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
49EEVijay A. Saraswat, Radha Jagadeesan, Vineet Gupta: jcc: Integrating Timed Default Concurrent Constraint Programming into Java. EPIA 2003: 156-170
2002
48EEVineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly concurrent constraint programming. Theor. Comput. Sci. 278(1-2): 223-255 (2002)
2000
47EERajeev Motwani, Rina Panigrahy, Vijay A. Saraswat, Suresh Venkatasubramanian: On the decidability of accessibility problems (extended abstract). STOC 2000: 306-315
1999
46EEMarkus 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
45EERajeev Motwani, Vijay A. Saraswat, Eric Torng: Online Scheduling with Lookahead: Multipass Assembly Lines. INFORMS Journal on Computing 10(3): 331-340 (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
42EEVineet 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
37EEVineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Truly Concurrent Constraint Programming. CONCUR 1996: 373-388
36EEVineet 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
16EEPrakash 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
1EEVijay A. Saraswat: Partial correctness semantics for CP [ , | , &]. FSTTCS 1985: 347-368

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)