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 |