Vijay Anand Saraswat
Mahopac, New York
Web: www.saraswat.org
Email: vj@saraswat.org
IM: (AOL, Yahoo, AT&T) vjSaraswat
IM: (MSN) vj@saraswat.org
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
enumerates approximately a hundred papers on concurrent constraint
programming.
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.
[LaTeX -> HTML by ltoh]
Russell W. Quong
(quong@best.com.REMOVETHIS-SPAM-FILTER-PART)
Last modified: Apr 9 2006