Education

• Ph.D, Computer Science, Carnegie Mellon University, January 1989; Title: Concurrent Constraint Programming; Advisor: Dana S. Scott.

• M.S., Computer Science, Carnegie Mellon University, 1985.

• B.Tech., Electrical Engineering, Indian Institute of Technology, Kanpur, India, 1982.

Professional Interests

Never in the history of mankind has global culture been transforming so profoundly, so quickly. Online communication - as in Instant Messaging, Network Communities, Peer-to-peer networks - is fundamentally altering the way we talk, build, work, play, connect, affiliate, love, persuade, shop, sell, inform ... in short, how we conduct the business of life. The imminent global deployment of wireless technologies - from short-range RF to broad-band wide-area cellular systems - will only accelerate this revolution in the way we live.

Where I work, where I live is at the heart of one of the engines of change underpinning this transformation: the technology of wireless and IP-based communication. To this work I bring a very broad and diverse background in theoretical computer science (logic, semantics, algorithms), programming systems (concurrent, constraint-based computing) and artificial intelligence (model-based computing, diagnosis and natural language processing), and a growing interest in online anthropology. And experience in leading cutting-edge engineering teams from an idea to product in the midst of startup chaos.

Employment and other work

• September 2003 - onwards: Research Staff Member, IBM TJ Watson Research Center.

• September 2003 - onwards: Adjunct Professor of Computer Science and Engineering, Penn State University

• August 2002 - Sep 2003: Professor of Computer Science and Engineering, Penn State University

  Area: Programming, Languages and Systems.

• June 2001 - August 2002: Vice President, Engineering, Kirusa.

  Responsible for recruiting the engineering team, developing product plans, architecting the product, and delivering the product. Product to be trialled with carrier customers in Europe in June 2002. Work involves development and implementation of XML-based Multimodal markup language, for delivery over 2.5G (GPRS) networks. Sophisticated integration work, involving WML, VoiceXML, HTML, SALT, XML technologies, delivered using a J2EE infrastructure, and native PocketPC clients that process speech. Doing significant background work on understanding distributed speech recognition, and efficient delivery of (possibly processed) speech over GPRS.

  Also responsible for the company's Applications group, Product Delivery group, and the company's IT infrastructure.

  Since August 2002, continuing as a Consultant to Kirusa.

• December 2000 - June 2001: Chief Technology Officer, Vayusphere.

  Responsible for recruiting engg team in San Diego and Mountain View (Dev Directors, Architects, Engineers; QA Staff).

  Responsible for defining, architecting and shipping first set of products (Monsoon Real-time Messaging Platform), setting the technical direction for the company, evaluating vendor technology, and parterning with business development.

  Responsible for the "vision sell'' which brought in the company's first major customer.

  Shipped product end of May 2001.

• July 2000 - December 2000: Director, Development, Vayusphere.

  Employee #6 at Vayusphere. Designed, directed and architected the implementation of Vayusphere Instant Messaging. (See "Systems work'' sectionbelow for description of work.)

  Designed and implemented agent architecture used to establish client-side extensibility (e.g. integration with Outlook/Exchange) and buddy services. The success of this work caused the Board to re-center the company around (Wireless) Instant Messaging.

  Named on the Times Digital "Movers and Shakers for 2001'' list (Nov 2000) for Internet Messaging.

• November 99 - July 2000: Technology Leader, Instant Messaging and Presence, AT&T Shannon Labs.

  Secured commitment from AT&T Wireless to trial AT&T Instant Messaging for their Pocket Net service.

  Grew the Labs Instant Messaging team. At its peak, the work involved over 40 people, with about 15 managers.

  Continued strategic work for AT&T leadership on Instant Messaging.

  Continued as Co-chair of IETF IMPP WG. Led industry discussions, culminating in the formation of the IMUnified group including MSN, Yahoo, AT&T, and other players. Oversaw initial development of the IMUnified protocol.

• November 98 - November 99: District Manager, Network Community Platform Group, AT&T Shannon Labs

  Led the design, architecture and development of AT&T Instant Messaging, based on Matrix. Formed the team from scratch. (See description of System work below.)

  Managed the growth of the team from a small research-based group to a production group incorporating standard AT&T practices in requirements development, system testing, MR management and operations management.

  Leveraged an offshore implementation team in India to manage low-cost, round-the-clock development efforts.

  Provided strategic input on Instant Messaging to members of the AT&T Operations Group (President of AT&T Labs, President of AT&T Corporate Strategy, and Chief Counsel for AT&T). Led discussions with industry on interoperable Instant Messaging.

  Obtained $10m for Instant Messaging and Presence work for 2000 from the AT&T Operations Group (chaired by Mike Armstrong), as part of the IP Platform work.

  Obtained funding from AT&T Consumer Servics for a Trial of AT&T Instant Messaging.

  Co-Chaired the IETF Working Group on Instant Messaging and Presence Protocols (IMPP). All the major industry players - Microsoft, Yahoo, AOL - have agreed to support the work of this industry group.

  Industry spokesperson for national media (WSJ, USA Today, NY Times, Washington Post, SJ Mercury News ...) on Instant Messaging.

• September 96 - November 98: Principal Member, Technical Staff, AT&T Shannon Labs

  Developed and implemented the underlying ideas for Matrix, an architecture for extensible network spaces based on Java.

  Java evangelist within AT&T.

  Identified a major security bug in the design for Java class-loaders in JDK 1.1, and worked with Java designers at JavaSoft (Gilad Bracha, Sheng Liang) to fix the bug. See their paper in OOPSLA 99.

  Ran Meadows, a school-centered network community (base on MOO technology) involving multiple school districts in New Jersey and abroad.

• November 87 - September 96: Member, Research Staff, Xerox Palo Alto Research Center.

  Developed the notion of concurrent constraint programming languages.

  Initiated and led the thrusts at PARC in model-based computing, hybrid computing and network communities.

  (See description of research work below.)

• April 86 - November 87: Artifical Intelligence Scientist, Advanced Product Developments Group, Carnegie Group Inc.

  Helped initiate the "Carnegie Inference Language'' project, to develop the next generation of expert-system development tools. Co-led language design, which was based on ideas from production systems, concurrent logic programming and object-oriented programming.

• January 85 - March 86: Consultant, Carnegie Group Inc, Pittsburgh. Designed and implemented CRL-Prolog.

Academic awards and Industry recognition

2004: "Most influential paper in 20 years in Concurrent Constraint Programming'' award from the Association of Logic Programming for POPL90 paper (w/ Martin Rinard).

2002: Invited Expert of the W3C Working Group on Multi-Modal Interaction.

2001: Co-Chair of the WG on Presence and Instant Messaging (PRIM), IETF.

1998-2000: Co-Chair of the WG on Instant Messaging and Presence Protocols (IMPP), IETF.

1994: Excellence in Research Award, Xerox PARC.

1992: Excellence in Support of Research Award, Xerox PARC.

1989: ACM Doctoral Dissertation Award for the best Computer Science PhD Thesis in 1989. Thesis published by MIT Press.

1982: Ratan Swaroop Gold Medal for all-round excellence, Indian Institute of Technology, Kanpur.

1982: Scholarship from the Inlaks Foundation for graduate studies at the Programming Research Group at Oxford; Fellowship offers from Univ. of Minnesota; scholarship offer from Carnegie-Mellon, Wisconsin-Madison, Brown, etc. in Computer Science.

1982: Second prize in All-India Student Paper Contest of the Computer Society of India for Design and implementation of the C-code abstract machine for CCN-PASCAL.

1980: Merit Scholarship for being the top-ranked student in the "core'' (first 2.5/5) years at IIT.

1977: Award for ranking in the first 35 (out of over 50,000) in the nation in the All-India Higher Secondary (school-leaving) examination. Awarded a National Merit Scholarship by the Government of India.

1977: Ranked 6th (out of > 60,000) in the Joint Entrance Exam for all the IITs.

1977: Awarded one of five scholarships from India for a Baccalaureate at the United World College, Singapore.

Research Grants

• Co-Principal Investigator (with Danny Bobrow), "Testing of hybrid and reactive systems'', 1 yr, $150K NASA, 1994-1995. (Xerox PARC)

• Principal Investigator, "Timed Concurrent Constraint Programming'', 2 yrs, $120K, ONR, 1994-1996. (Xerox PARC)

• Co-Principal Investigator (with Danny Bobrow), "Articulate Spaces: Model-based authentic environments for Collaborative Learning'', 2 yrs, $2m ARPA, Department of Defense, 1995-1997.

• Co-Principal Investigator (with Danny Bobrow, Billie Hughes, Jim Walters), "Collaborative learning spaces'', NSF, 1 year, 1996-97.

In addition, in 1991 Seif Haridi (Director, Swedish Institute of Computer Science, Stockholm) and I conceived of the ACCLAIM project (Advanced Concurrent Constraint Languages - Applications, Implementation and Methodology). The project was funded for several million ECUs by ESPRIT, the European Community Research Funding Agency, and involved the Max-Planck Institut and DEC Paris Research Lab, INRIA, DFKI, SICS, RISC Linz, Universidad Politecnica de Madrid, Universita di Pisa, Marseille Luminy and Katholieke Universiteit Leuven. The list of deliverables from the project at

  http://www.sics.se/ps/acclaim/deliverables/perpartner.html

Instruction

• 2-week summer course on "Hybrid Constraint Programming'', (w/ Prof R Jagadeesan) at ESSLLI, Nancy, France, August 2004.
• CS 428 Programming Languages, Penn State, Fall 2002.
• CS 598f "Concurrent Constraint Programming as a Foundation for Model-based Programming'', Graduate course, Penn State, Spring 2003.

Theses

Thesis committee member

• Francesca Rossi (PhD 1993, University of Pisa) (Advisor: Ugo Montanari)
• Eric Torng (PhD 1994, Stanford University) (Advisor: Rajeev Motwani)
• Paul Ruet (PhD 1996, University of Paris) (Advisor: Francois Fages)

Thesis adviser

• Clifford Tse, "Linear Janus'' (Master's thesis 1992, MIT Laboratory for Computer Science) MIT-PARC VI-A student

Books

• Proceedings of ASIAN 03, ed. Vijay Saraswat, Springer Verlag LNCS 2896.

• Constraint Programming: The Newport Papers, ed. Vijay Saraswat and Pascal van Hentenryck, MIT Press, 1995.

• Proceedings of the 1991 International Symposium on Logic Programming, ed. Vijay Saraswat and Kazunori Ueda, MIT Press, 1991.

• Vijay Saraswat "Concurrent Constraint Programming'' MIT Press Logic Programming and Doctoral Dissertation Award Series, 1991.

Edited journal issues

• Vijay Saraswat, Pascal van Hentenryck Special issues of CONSTRAINTS on Strategic Directions in Constraint Programming, February 1997.

• Pascal van Hentenryck, Vijay Saraswat, ed. "Constraint Programming'', in Special Issue of Computing Surveys on Strategic Directions in Computer Science, February 1997.

Systems work

[2004-onwards] Lead designer for the programming language X10 being designed and implemented at the IBM TJ Watson Research Center. Leading compiler development.

[2002-onwards] The Java concurrent constraint programming system Implementing the jcc system under the Lesser GPL licence on SourceForge. The system implements the (default) (timed) concurrent constraint programming framework in Java, for embedded and discrete- and continuous-time computing. The implementation is targeted for model-based programming applications in the NASA domain (Mars rovers), and in the systems biology domain.

[2001-2002] Kirusa Multimodal Platform.

As VP Engineering, leading the team that is developing and delivering KMMP. Chief architect for the product, which supports the development of multimodal applications (those which simultaneously use voice and visual interfaces) for wireless devices. The product is primarily based on Java proxy/servlet technology and is designed for 2.5G networks (e.g. GPRS), and processes the XML-based multimodal markup language (M3L), which integrates the WAP Markup Language (WML) and the voice markup language (VoiceXML).

Chief designer of M3L, and author of the language spec.

[2000-2001] Vayusphere Monsoon Real-time Messaging System.

Director of the group, designer and chief server-side implementer. Monsoon features a scalable, open, extensible architecture for Instant Messaging, with two-way interop with email. All server-side code was in Java 2; the system also used an Oracle Database, and made extensive use of open source components (Apache, Tomcat (servlet runner), James (mail engine)). Designed a simple wire protocol which is used for all server-to-server and client-to-server communication.

Supervised development of native clients in C and C++ for the RIM Mobitex devices, wireless Palm OS devices, and wireless BREW devices. Supervised development in Delphi of a full-featured Windows desktop client. Supervised development of HDML/WAP clients for phones.

Assembled the engineering and QA team from scratch, and had the product ready for beta in under three months. Development and QA teams were scattered over Mountain Lakes (NJ), Mountain View (Ca), San Diego (Ca), Oakland (Ca) and Indiana, and at peak numbered approx 20 people.

Product released to first customer (major national ISP) in nine months.

[1999-2000] AT&T Instant Intercom.

Founded, staffed and directed the development team that delivered AT&T's instant messaging system into trial with AT&T Wireless in March 2000. I was the main designer and architect, and chief server-side implementer. After I left AT&T, the system was deployed by AT&T Worldnet. In production use today, it has been downloaded by over 120,000 users, and supports approx 20,000 simultaneous users. It has been designed to scale to a million registered and 100,000 simultaneous users.

The system features a modular architecture with several different kinds of servers (IM servers, Presence servers, Chat room servers). I designed the binary extensible protocol (documented in an IETF Draft) used by servers to communicate with each other and with clients. Supervised the design of a C++ I/O module to circumvent scalability limitations of Java's synchronous I/O architecture.

Supervised development of a native Windows client in Delphi, a Java applet client, a black-phone voice client (using PML, a precursor to VoiceXML), and of an HDML client (in collaboration with AT&T Wireless).

[1997-1998] AT&T Matrix.

Built the first version of the Matrix system in Java 1.1. AT&T Matrix was a persistent network community server that could be extended by programming world objects in Java. A Matrix server is accessed through a Matrix client (developed in Java using Swing). Servers and clients communicate through a completely self-contained session-oriented Remote Method Invocation (SMI) system designed and implemented after analyzing the very poor design of the initial Java RMI system. SMI uses Java's native object serialization and class loaders. World objects provided their own graphical user interface, displayed in clients.

Supervised development of a Java Swing-based client, and the development of several world objects (games, bulletin boards, chat rooms). Core team grew to approx. half a dozen people, before project was converted into an Instant Messaging project (see below).

The system was demonstrated to several people in the Labs, was in use by the development team, and served as the basis for an internal Instant Messaging trial for several hundred people in AT&T Labs in summer 1999.

The success of this work led to the invitation to form the Network Communities Platform Group (NCPG) in AT&T Labs in November 1998.

[1997]Meadows.

Founded the Meadows online community for parents, school-children and teachers across multiple school districts. Responsible for running the MOO, and extending it with various objects.

Taught classes in elementary and middle school (2d grade to 6th grade) on Meadows.

[1995]Pueblo.

Founded the Pueblo online community (pueblo.xerox.com 7777), using the MOO system, with Jim Walters and Billie Hughes of Phoenix College, January 1995. As of May 1996, the community had over 1000 characters, including over 300 students from Phoenix and New York, and has over 20,000 objects.

Responsible for running the MOO, and creating many world objects.

[1992-1994]Model-based Computing.

While at Xerox PARC, initiated and led a project on constraint-based machine control. Implemented the first version of a constraint-based real-time scheduler in C++, and supervised a small team of engineers at Xerox Engineering in Rochester (New York). Code was shipped in the embedded controller for Xerox' digital mid-volume reprographics engines. This work led to several US Patents, and an award for Excellence in Research from Xerox PARC.

[1992]QD-Janus

Collaborated with Saumya Debray on the QD Janus implementation. See "S.K. Debray, QD-Janus: A sequential implementation of Janus in Prolog, Software Practice and Experience, Volume 23, Number 12, December 1993, pp. 1337-1360.''

[1986]CRL-Prolog, CRL-OPS

While a scientist at Carnegie Group Inc., designed and implemented CRL-Prolog - a fast Prolog implementation that compiles into Common Lisp and is closely integrated with the frame-based language CRL. Supervised the implementation of CRL-Ops. CRL-Prolog and CRL-Ops were shipped as part of the product Knowledge Craft.

United States patents

Several patent applications have been filed by Kirusa based on my work in multi-modal systems.

Some patent applications have been filed by AT&T based on my work in Instant Messaging.

• Patent pending on "Wireless call waiting''.
• Patent pending on "Object-enabled Instant Messaging''.

Patents resulting from model-based scheduling work at Xerox PARC:

• US05831853, 11/98, Automatic construction of digital controllers/device drivers for electro-mechanical systems using component models

• US05701557 12/97 Machine graphs and capabilities to represent document output terminals composed of arbitrary configurations

• US05696893 12/97 System for generically describing and scheduling operations of modular printing machine

• US05631740 5/97 Transducers with constraints model for print scheduling

• US05617214 4/97 Commitment groups to generalize the scheduling of interdependent document output terminal capabilities

• US05504568 4/96 Print sequence scheduling system for duplex printing apparatus

Publications

Multi-modal Systems

• Stephane Maes and Vijay Saraswat "Multi-Modal Requirements'', W3C Note, January 2003.

Network communities

• Vijay Saraswat and Fernando Pereira "Interaction media: Some thoughts on models for cyberspace'', Proceedings of the Virtual Worlds in Simulation Conference, San Francisco, January 1999.

• Vijay Saraswat "Design requirements for network spaces'', Proceedings of the Virtual Worlds in Simulation Conference, San Francisco, January 98.

• Jay Carlson, Roger Crew, Ken Fox, Richard Goddard, Dave Kormann, Erik Ostrom, John Ramsdell, Vijay Saraswat, Andrew Wilson "The MUD Client Protocol, Version 2.1'', http://www.moo.mud.org/mcp2.

• Vijay Saraswat "The dog, the catcher, the fish and the frying pan: Melding work, play and theater in network community'', Virtual Communities 97, February 1997, Sydney, Australia.

• Vicki O'Day, Daniel Bobrow, Billie Hughes, Kimberly Bobrow, Vijay Saraswat, JoAnne Talazus, Jim Walters, Cynde Welbes "Community Designers'', Participatory Design Conference, 1996.

• Daniel Bobrow, Vicki O'Day, Vijay Saraswat, Billie Hughes and Jim Walters "Learning through computationally-mediated conversations: Interaction and Construction in virtual spaces'', Presented at the Annual Meeting of the American Anthropological Association, Washington D.C., November 1995.

Foundations for Capability Programming

• Vijay Saraswat and Radha Jagadeesan "Static support for capabilities in Java'', Second APPSEM workshop, U of Nottingham, April 2003.

Semantic foundations for concurrent programming

• Radha Jagadeesan and Gopalan Nadathur and Vijay Saraswat "Testing concurrent systems: An interpretation of intuitionistic logic'', Submitted for publication, May 2005.

• Vijay Saraswat and Radha Jagadeesan "Concurrent Clustered Programming'', To appear in Proceedings of CONCUR, 2005.

• Vijay Saraswat "Constraint-Based Memory Machines: A framework for Java Memory Models'', ASIAN 2004, pp 494-508.

• Vineet Gupta, Radha Jagadeesan and Vijay Saraswat "Probabilistic Concurrent Constraint Programming'', Proceedings of the International Conference on Concurrency Theory, LNCS, CONCUR '97, 243-257.

• Vineet Gupta, Radha Jagadeesan and Vijay Saraswat "Models of concurrent constraint programming'', Proceedings of the International Conference on Concurrency Theory, LNCS 1119 August 1996.

• Vineet Gupta, Radha Jagadeesan and Vijay Saraswat "Truly Concurrent Constraint Programming'', Theoretical Computer Science, Volume 278, pp 223-255, 2002. Conference version in Proceedings of the International Conference on Concurrency Theory, LNCS 1119 August 1996.

• Ugo Montanari, Francesca Rossi, and Vijay Saraswat "Event structure semantics for concurrent constraint programming'', 1994.

• Ugo Montanari, Francesca Rossi, and Vijay Saraswat "CC programs with both in- and non-determinism'', 1994.

• Prakash Panangaden, Vijay Saraswat, Phillip J. Scott and Robert Seely, "A Hyperdoctrinal view of concurrent constraint programming'', Proceedings of the REX Workshop on Semantics: Foundations and Applications, eds. J. W. deBakker, W.-P. de Rover and G. Rozenberg, LNCS 666, pp 457-476, 1993.

• Vijay Saraswat "The category of constraint systems is Cartesian-closed'', Proceedings of the Symposium on Logic in Computer Science, Santa Cruz, June 1992.

• Radha Jagadeesan, Vijay Saraswat and Vasant Shanbhogue "Angelic non-determinism in concurrent constraint programming'', Technical Report, Xerox PARC, 1992.

• Vijay Saraswat and Rinard M. and Panagaden, P. "Semantic foundations for concurrent constraint programming'', Proceedings of the ACM Symposium on Principles of Programming Languages, Orlando, January 1991.

• Patrick Lincoln and Vijay Saraswat "Proofs as concurrent processes: A logical interpretation for concurrent constraint programming'', Technical Report, Systems Sciences Laboratory, Xerox PARC, November 1991. (Revised report, Penn State University, April 2003.)

• Vijay Saraswat and Rinard, M. "Concurrent constraint programming'', Proceedings of the ACM Symposium on Principles of Programming Languages 1990, San Fransisco, January 1990.

• Vijay Saraswat "A somewhat logical formulation of CLP synchronization primitives'', Proceedings of Logic Programming, August 1988, MIT Press.

• Vijay Saraswat "The language CP: Definition and Operational semantics'', in Proceedings of the ACM SIGACT-SIGPLAN Conference on Principles of Programming Languages, Munich, January 1987.

• Vijay Saraswat "CP as a general-purpose constraint-language'', Proceedings of the National Conference on Artificial Intelligence, (AAAI), Seattle, July 1987.

• Vijay Saraswat "The language GHC: operational semantics and comparison with CP( !, |)'', Proceedings of the Fourth IEEE Symposium on Logic Programming, San Fransisco, September 1987.

• Vijay Saraswat "Partial Correctness semantics for CP( !, |, &)'', Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science, Springer Verlag LNCS 206, pp. 347-368, December 1985.

Real-time and hybrid systems

• Vineet Gupta, Radha Jagadeesan and Vijay Saraswat "Computing with Continuous Change'', Science of Computer Programming, 30 (1:2) 3-49, 1998.

• Vijay Saraswat, Radha Jagadeesan and Vineet Gupta "Timed Default Concurrent Constraint Programming'', In Journal of Symbolic Computation 22 (5,6) 475-520, 1996. Extended abstract published in the Proceedings of the ACM Symposium on Principles of Programming Languages, San Fransisco, 1995.

• Vineet Gupta, Radha Jagadeesan and Vijay Saraswat "Hybrid CC, Hybrid Automata, and Prgram Verification'', Hybrid Systems Workshop, DIMACS, Rutgers, October 1995. Appeared in Hybrid Systems III Verification and Control ed. R. Alur, T.A. Henzinger, E.D. Sontag (LNCS 1066), Springer-Verlag, Berlin, 1996.

• Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, and Daniel Bobrow "Programming in Hybrid Constraint Languages'', Hybrid Systems Workhsop, Cornell, October 1994. Hybrid Systems II, ed. P. Antsaklis, W. Kohn, A. Nerode, S. Sastry (LNCS 999), Springer-Verlag, Berling, 1995.

• Vijay Saraswat, Radha Jagadeesan and Vineet Gupta "Foundations of Timed Concurrent Constraint Programming'', Proceedings of the Symposium on Logic in Computer Science, Paris, July 1994.

• Vijay Saraswat, Radha Jagadeesan and Vineet Gupta "Programming in Timed Concurrent Constraint Programming'', Chapter in Constraint Programming, ed. B. Mayoh and E. Tyugu, NATO ASI Workshop, April 1994.

Modeling and diagnosis

• Markus Fromherz, Vijay Saraswat and Daniel G. Bobrow "Model-based computing: Developing flexible machine control software'', Artificial Intelligence, 114(1-2): 157-202 (1999)

• Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Daniel Bobrow and Vineet Gupta "Modeling time in hybrid systems: How fast is "instantaneous''?'', Proceedings of the International Joint Conference on Artificial Intelligence, Montreal, August, 1995.

• Vineet Gupta and Vijay Saraswat and Peter Struss, "A model of a photocopier paper path'', Proceedings of the 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, August 1995.

• Hao-Chi Wong and Markus P.J. Fromherz and Vineet Gupta and Vijay A. Saraswat. "Control-based programming of electro-mechanical controllers.'' Proceedings of the IJCAI Workshop on Executable Temporal Logics, Montreal, August 1995.

• Markus Fromherz and Vijay Saraswat "Model-based computing: using concurrent constraint programming for modeling and model compilation'', U. Montanari and F. Rossi (ed.) Principles and Practices of Constraint Programming, CP'95, Springer-Verlag, LNCS 976, Sep 1995, pp. 629-635.

• Markus Fromherz and Vijay Saraswat "Model-based computing: constructing constraint-based software for electro-mechanical systems'' Practical Applications of Constraint Technology, Paris, France, April 1995, pp. 63-66.

• Markus Fromherz, David Bell, Daniel Bobrow, Brian Falkenhainer, Vijay Saraswat and Mark Shirley " Rapper: The Copier Modeling Project'', Working Papers of the Eight International Workshop on Qualitative Reasoning about physical systems'', pages 1-12, June 1994.

• Olivier Raiman and Johan de Kleer and Vijay Saraswat "Critical reasoning'', Proceedings of the International Joint Conference on Artificial Intelligence, 1993.

• P. Codognet and V. Saraswat, "Abduction in Concurrent Constraint Languages'', Proceedings of the First Compulog Network meeting on Logic Programming and Artificial Intelligence, London, U.K., 1992.

• Olivier Raiman and Johan de Kleer and Vijay Saraswat and Mark Shirley "Characterizing non-intermittent faults'', Proceedings of the National Conference on Artificial Intelligence, June 1991.

• Saraswat, V.A. and de Kleer, J. and Raimon, O. "Contributions to the theory of diagnosis'', International Workshop on Principles of Diagnosis, Stanford University, July 1990.

Natural language

• Introduction. (Mary Dalrymple, Fernando Pereira, John Lamping, Vijay Saraswat) In Semantics And Syntax in Lexical Functional Grammar: The Resource Logic Approach edited by Mary Dalrymple. The MIT Press, 1999.

• LFG qua Concurrent Constraint Programming. (Vijay Saraswat) In Semantics And Syntax in Lexical Functional Grammar: The Resource Logic Approach edited by Mary Dalrymple. The MIT Press, 1999.

• LFG qua Concurrent Constraint Programming. (Vijay Saraswat) In Semantics And Syntax in Lexical Functional Grammar: The Resource Logic Approach edited by Mary Dalrymple. The MIT Press, 1999.

• Relating Resource-based semantics to categorial semantics. (Mary Dalrymple, Vineet Gupta, John Lamping, and Vijay Saraswat) In Semantics And Syntax in Lexical Functional Grammar: The Resource Logic Approach edited by Mary Dalrymple. The MIT Press, 1999.

• A Deductive Account of Quantification in LFG. (Mary Dalrymple, John Lamping, Fernando Pereira, and Vijay Saraswat) In Quantifiers, Deduction, and Context, ed.\ Makoto Kanazawa, Christopher J. Pi n\'on, and Henriette de Swart. Stanford, California: Center for the Study of Language and Information. 1996.

• Andrew Kehler, Mary Dalrymple, John Lamping, and Vijay Saraswat The Semantics of Resource Sharing in Lexical-Functional Grammar. Proceedings of the 1995 Meeting of the European Chapter of the Association for Computational Linguistics, Dublin, Ireland. March 1995.

• Mary Dalrymple, John Lamping, Fernando Pereira, and Vijay Saraswat Intensional Verbs Without Type-Raising or Lexical Ambiguity. In Logic, Language and Computation, volume 1, ed. Jerry Seligman and Dag Westerstaahl. Stanford, California: Center for the Study of Language and Information. 1996. Also in Proceedings of the Conference on Information-Oriented Approaches to Logic, Language and Computation/Fourth Conference on Situation Theory and its Applications, Saint Mary's College of California, Moraga, California. June 1994.

• Dalrymple, Mary, John Lamping, and Vijay Saraswat. 1993. LFG semantics via constraints. In Proceedings of the Sixth Meeting of the European ACL, University of Utrecht, April. European Chapter of the Association for Computational Linguistics.

• Dalrymple, Mary, Angie Hinrichs, John Lamping, and Vijay Saraswat. The resource logic of complex predicate interpretation. In Proceedings of the 1993 Republic of China Computational Linguistics Conference (ROCLING), Hsitou National Park, Taiwan, September. Computational Linguistics Society of R.O.C.

Concurrent programming languages and paradigms

• "Report on the Experimental Language X10'', principal author, July 2005.

• Philippe Charles, Christian Grothoff, Kemal Ebcioglu, Allan Kielstra, Christoph von Praun, Vijay Saraswat and Vivek Sarkar "X10: An Object-oriented Approach to Non-Uniform Cluster Computing'', To appear in Onwards! Track of the Proceedings of OOPSLA 2005.

• Vijay Saraswat, Radha Jagadeesan and Vineet Gupta "jcc: Integrating timed default concurrent constraint programming into java'', To appear in the Proceedings of the Eleventh Portugese Conference on Artificial Intelligence (EPIA '03), Springer Verlag LNCS, December 2003.

• Vijay Saraswat "Java is not type-safe'', Web-note http://www.research.att.com/ vj/bug.html. Described a major bug in the design of the class-loader mechanism. This was acknowledged and fixed by Sun in a major redesign. See Bracha and Liang's paper in OOPSLA 98.

• Pascal van Hentenryck, Yves Deville, Vijay Saraswat "Design, implementation and evaluation of the constraint language cc(FD)'', Journal Of Logic Programming 37(1-3):139-164 (1998). Conference paper in LNCS 910, pp 293-316 (1994).

• Vijay Saraswat and Patrick Lincoln "Higher-order, linear concurrent constraint programming'', Xerox PARC Technical report, August 1992.

• Vijay Saraswat and Kenneth Kahn and Jacob Levy " Janus: A step towards distributed constraint programming'', Proceedings of the North American Conference on Logic Programming, Austin, Texas, October 1990.

• Kenneth Kahn and Vijay Saraswat "Actors as a special case of concurrent constraint (logic) programming'', Proceedings of the ECOOP/OOPSLA conference, 1990.

The Janus work has significantly influenced the development of the (distributed, secure) language E, currently being developed by an open source group ( www.erights.org), and partly funded by a DARPA grant to Mark S. Miller.

Concurrent programming: techniques, algorithms

• Rajeev Motwani, Suresh Venkatsubramaniam, Rina Panigrahy, Vijay Saraswat "On the decidability of accessibility problems'', ACM Symposium on the Theory of Computing, 2000.

• Eric Torng, Rajeev Motwani, and Vijay Saraswat "Online scheduling with lookahead: Multipass assembly lines'' INFORMS Journal on Computing, 1998.

• Saraswat, V.A. et al. "Detecting stable properties of networks in concurrent logic programming languages'', in Proceedings of the ACM Conference on Principles of Distributed Computing, Toronto, August 1988.

• Vijay Saraswat "Merging many streams efficiently: the importance of atomic commitment'', chapter in "Concurrent Prolog: Collected Papers'', ed. E. Shapiro, MIT Press, December 1987.

Visual programming

• Kenneth M. Kahn and Vijay A. Saraswat "Complete visualization of concurrent programs and their execution'', Proceedings of the IEEE Workshop on Visual Programming, October 1990.

This work led to a rich body of work on Visual Programming, cf. Pictorial Janus systems, and also to the company Animated Programs founded by Ken Kahn. The company has introduced a revolutionary product for school-children "ToonTalk'', in the tradition of Logo. See www.toontalk.com.

Constraint programming in Software Engineering

• Radha Jagadeesan, Will Marrero, Corin Pitcher and Vijay Saraswat "Timed Constraint Programming: A Declarative Approach to Usage Control'', Proceedings of Principles and Practices of Declarative Programming, June 2005.

• Vijay Saraswat "Compositional Computing'', CONSTRAINTS 2(1):95-97 (1997)

• Francesca Rossi and Vijay Saraswat "Constraint Programming'', in Encyclopedia of Computer Science and Technology (entry: Constraint Programming), A. Kent and J.G. Williams eds, Marcel Drekker Inc, 1994.

• Markus Fromherz, Vineet Gupta and Vijay Saraswat, "CC - A generic framework for domain specific languages'', Workshop on Domain-oriented specification languages, POPL 97.

Professional activities:

Invited Panels:

• "Language Innovations for High-Productivity Computing Systems'', PPoPP 2005, Chicago.

• "The Future of Constraint Programming'', CP 96, Boston, 1996.

Invited Presentations:

• "X10: An Object-Oriented Approach to Non-uniform Computing'', IBM PL Day, April 2005.

• "Hybrid Synchronous Languages'', NYU, March 2005.

• "Hybrid Constraint Programming'', ETAPS Workshop on "Synchronous Languages, Applications and Programming'', Barcelona, March 2004.
• "The Emergence of Systems Biology'', NJPLS February 2004.

• Penn State Logic Seminar, "The logic of concurrent constraint programming'', April 2003.

• Invited participant, CUE Workshop on Component-based systems, Macau, China SAR, October 2002.

• IBM Research (T.J. Watson Research Lab) "Java as a metalinguistic framework'', September 2002.
• IBM Research (T.J. Watson Research Lab) "Java as a metalinguistic framework'', September 2002.

• IBM Research (T.J. Watson Research Lab) "The design of M'' October 2002.

• Chair, session on Multimodal Instant Messaging (Pulver Presence and Instant Messaging Industry meeting), October 2001.

• Chair, session on Wireless Instant Messaging (Pulver Presence and Instant Messaging Industry meeting), October 2000.

• Invited Plenary Talk at "Instant Messaging 2000'', Boston, May 2000.

• Tutorial on Concurrent Constraint Programming at CONCUR '96, Pisa Italy.

• Invited Talk at Workshop on Language, Logic and Information, CSLI, May 1996.

• Stanford University Theory Group, "Hybrid Constraint Programming'', May 1996.

• Distinguished Seminar in Programming Languages, U. of Chicago, May 1996 "Virtual World Programming Languages''.

• Invited talk, First International Conference on Constraint Programming, Cassiss, France, September 1995.

• Invited to attend Institute on Semantics of Programming Languages at Newton Institute, Cambridge, August 1995.

• Keynote talk, First International Workshop on Concurrent Constraint Programming, Venice, May 1995.

• Invited Talk on Timed Concurrent Constraint Programming, Royal Institute of Mathematics, Kyoto, August 1994.

• Workshop on Information Systems, Cosener House, Oxford, March 1992 (organized by Samson Abramsky and Bill Rounds).

• Sixth Italian Logic Programming Conference (GULP '91) on "The Past as Prolog: Beyond Logic Programming''.

• Tutorial on "The semantics of concurrent constraint programming languages'' at the North American Logic Programming Conference, Austin, Texas, October 1990.

• Tutorial on "The paradigm of concurrent constraint programming'', at the Seventh International Conference on Logic Programming, Jerusalem, June 1990.

• "Gigalips Workshop'', Swedish Institute of Computer Science, Stockholm, April 1989 (organized by Seif Haridi).

• Workshop on "Languages and Constraints'' University of Rhode Island, April 1988 (organized by J. Cohen and J-.L.Lassez).

• AAAI-sponsored workshop on "Concurrent Logic Programming and Open systems'', Xerox PARC, September 1987 (organized by Ken Kahn).

• Talks on various aspects of concurrent constraint programming at CMU, Cornell, MIT, Yale, UC Berkeley, Oxford University, U. of Edinburgh, Imperial College, University of Texas at Austin, AT&T Bell Labs, U. of Pennsylvania, IBM T.J. Watson Research Center, U. of Utah, U. of Arizona, U. of Pisa, INRIA Versailles, Swedish Institute of Computer Science, Bristol Univ., Penn State University etc.

Refereeing responsibilities

• Journal of Logic Programming;
• Artificial Intelligence;
• Journal of the Association for Computing Machinery;
• Theoretical Computer Science;
• IEEE Computer;
• IEEE Software;
• National Science Foundation (panelist Medium ITR 2003, reviewer)
• IEEE Transactions on Computers;
• Various conferences including PLDI.

Additionally, papers reviewed for:

• ACM Programming Languages Design and Implementation Conference (PLDI) 2003

• ACM SIGPLAN Symposium on Languages, Compilers, and Tools for Embedded Systems (LCTES) 2003

Editorial and Review Responsibilities:

• Editorial Advisor, Journal for Logic Programming till 2004.
• Program Committee, Concur 2005.
• Program Committee, Interational Conference on Supercomputing 2005.
• Program Committee, Workshop on Productivity in High Performance computing, 2005.
• Program Committee, COLOPS 2004.
• Program Committee, Computational Methods in Systems Biology, 2004.
• Chair, Program Committee, ASIAN 2003. Proceedings to be published by Springer Verlag.
• Session Organizer for "Web services'', Second Workshop, Venice, Oct 2003. Invited by the Steering Committee for the CUE Initiative on The Scientific Foundation of Informatics as an Engineering Discipline.
• Co-organizer, Dagstuhl seminar on Concurrent Constraint Programming, 1997.
• Program Committee, ASIAN 1996.
• Program Committee, Algebraic and Logic Programming, 1996;
• Program Committee, Principles of Programming Languages, 1996.
• Program Committee, Principles and Practice of Constraint Programming, 1994.
• Co-organizer and Co-Program Chair, Principles and Practice of Constraint Programming, 1993.
• Program Committee, Fifth Generation Computer Systems, 1992.
• Program Committee, Algebraic and Logic Programming, 1992;
• Program Co-Chairman, International Logic Programming Symposiumm, 1991;
• Program Committes, North American Logic Programming Conference, 1989, 1990;
• Program Committee, International Conference on Logic Programming, 1990,1991;

Professional Societies:

ACM (SIGPLAN, SIGACT, SIGART).

Past member of Association for Logic Programming, IEEE, American Association for Artificial Intelligence, European Association for Theoretical Computer Science, American Anthropological Association, American Association for the Advancement of Science, SIAM.