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 Phone: +1.914.984.7147 Fax: +1.973.215.2081 and Adjunct Professor of Computer Science and Engineering Penn State University University Park, Pa 16802

People I (have) work(ed) with
Daniel G Bobrow, Philippe Codognet, Mary Dalyrmple, Kemal Ebcioglu, Markus Fromherz, Johan de Kleer, Christian Grothoff, Vineet Gupta, Seif Haridi, Radha Jagadeesan, Ken Kahn, Allan Kielstra, John Lamping, Patrick Lincoln, Mark Miller, Ugo Montanari, Rajeev Motwani, Gopalan Nadathur, Catuscia Palamidessi, Jens Palsberg, Prakash Panangaden, Fernando Pereira, Olivier Raiman, Martin Rinard, Francesca Rossi, Mark Shirley, Pascal van Hentenryck, Inderpal Mumick, Christoph von Praun, Vivek Sarkar, Udi Shapiro, Armando Solar-Lezama, Eric Torng, Kazunori Ueda, Frank Valencia, Suresh Venkatasubramaniam, Bjorn Victor, Brian C Williams, Hao-Chi Wong.

People who have advised me
Dana S Scott, Steve Brookes, Jon Doyle, Jean-Louis Lassez, Guy L. Steele, Jr.,

Resume Brief Bio Some family pictures

Thesis committee member
Francesca Rossi (PhD, U di Pisa, 1993), Eric Torng (PhD, Stanford U, 1994), Clifford Tse (MS, MIT, VI A, 1994)(co-advisor), Paul Ruet (PhD, U of Paris, 1997), Venkatesh Mysore (PhD, NYU, 2006).

Interesting Links

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

• (09/15/2006) A Theory of Memory Models (Submitted for publication.)
• (02/10/2006) On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus (LICS, 2006)
• (02/10/2006) Safe Arrays via Regions and Dependent Types (Submitted for publication.)
• (07/18/2005) Determinate Imperative Programming: A clocked interpretation of imperative syntax (Submitted for publication.)
• (06/25/2005) Testing concurrent systems: An interpretation of intuitionistic logic (FSTTCS 2005)
• (06/01/2005) Concurrent Clustered Programming (CONCUR 2005)
• (05/01/2005) X10: An Object-oriented Approach to Non-uniform Cluster Computing (Onwards! Track at OOPSLA 2005)
• (04/01/2005) Timed Constraint Programming: A Declarative Approach to Usage Control (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.

Because of various requests, I am slowly bringing my older papers online here.

Recent Talks

• (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 (incomplete)
CCP , Meadows International , Network communities , Matrix , Java

Hybrid Concurrent Constraint Programming
The root page to go to is Vineet Gupta's publication page. See also the Model-based Computing project's publication page at PARC.

Other HCC references

• Computing with Continuous Change(Journal paper). Citeseer page.
• Hybrid CC interpreter
• Paper by Narsimhan et al on Fault isolation in Hybrid systems.
• Our jcc implementation of Timed CCP in Java. At some point this will become a Hybrid CCP implementation, though probably in Scala.

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