Before (1976)	After (1996)	Vijay A. Saraswat Web: www.saraswat.org IM: (AIM, Yahoo, AT&T) vjSaraswat (MSN) vj @ saraswat.org E-mail:firstname at lastname dot org Current Work Affiliation: Member Research Staff IBM TJ Watson Research Lab P.O. Box 704, Yorktown Heights NY 10598 and Adjunct Professor of Computer Science and Engineering Penn State University University Park, Pa 16802

• I WAS THERE!
• The world's best cricket site.a
• Carl Hewitt's page on Actor model
• ... and on the Scientific Community Metaphor

• (06/25/2005) Testing concurrent systems: An interpretation of intuitionistic logic (Submitted for publication.)
• (06/01/2005) Concurrent Clustered Programming (To appear in CONCUR 2005.)
• (05/01/2005) X10: An Object-oriented Approach to Non-uniform Cluster Computing (To appear in Onwards! Track at OOPSLA 2005.)
• (04/01/2005) Timed Constraint Programming: A Declarative Approach to Usage Control (To appear in PPDP 2005.)
• (03/31/2004) The applied linear concurrent constraint language Euler intended for graph rewriting applications in formal molecular biology.
• (03/18/2004) Additional test cases for the Java Memory Model.
• (03/09/2004) A Draft Preliminary Report "Concurrent Constraint-based Memory Machines: A Framework for Java Memory Models" is now available It provides a framework for the task of developing the Java Memory Model.

• (06/16/2005) Slides for the Panel discussion at PPoPP 2005
• (04/22/2005) Slides for the IBM PL Day talk on X10
• (03/24/2005) Slides for the Hybrid Synchronous Languages talk at NYU.
• (03/28/2004) Slides for the "Hybrid Synchronous Languages" invited talk at SLAP 2004.
• (02/27/2004) Slides for the "The Emergence of Systems Biology " talk at NJPLS.

Areas of interest
CCP , Meadows International , Network communities , Matrix , Java

Sundry
Resume, Addresses, Brief Bio.

Use the menu (to the left if you are using a frame-capable browser) to navigate through my documents.

ESSLLI 2004 - The 16th European Summer School in Logic, Language and Information