Before (1976)	After (2013)	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: Research Staff Member IBM TJ Watson Research Lab P.O. Box 704, Yorktown Heights NY 10598 Phone: +1.914.945.3307 Fax: +1.973.215.2081 and Adjunct Professor Columbia University New York

People I (have) work(ed) with
Gheorghe Almasi, Bard Bloom, Daniel G Bobrow, Ratislav Bodik, Calin Cascaval, Jose G. Castanos, Philippe Codognet, Guojing Cong, Satish Chandra, Silvia Crafa, David Cunningham Mary Dalyrmple, Chris Donawa, Evelyn Duesterwald, Kemal Ebcioglu, Brian Falkenhainer, Adam Farquhar, Paul Feautrier Markus Fromherz, Bob Fuhrer, Liana Hadarean, Arun Iyengar, Andy Kehler, Johan de Kleer, Umberto Grandi, Christian Grothoff, David Grove, Vineet Gupta, Seif Haridi, Pascal van Hentenryck, Ben Herta, Angie Hinrichs, Martin Hirzel, Yumi Iwasaki, Radha Jagadeesan, Ken Kahn, Anju Kambdaur, Kiyo Kawachiya, Allan Kielstra, Sreedhar Kodali, Sriram Krishnamoorthy, John Lamping, Doug Lea, Patrick Lincoln, Louis Mandel, Maged Michael Mark Miller, Ugo Montanari, Rajeev Motwani, Inderpal Mumick, Hiroki Murata, Gopalan Nadathur, V. Krishna Nandivada, Nate Nystrom, Catuscia Palamidessi, Rina Panigrahy, Jens Palsberg, Prakash Panangaden, Fernando Pereira, Igor Peshansky Corin Pitcher, Christoph von Praun, Olivier Raiman, Martin Rinard, Francesca Rossi, Ashish Sabharwal, Mark Shirley, Jerome Simeon, Sayantan Sur, Sanjay Rajopadhyaya, Horst Samulowitz, Vivek Sarkar, Udi Shapiro, Avi Shinnar, Armando Solar-Lezama, Peter Struss, Philippe Suter, Mikio Takeuchi, Olivier Tardieu, Eric Torng, Kazunori Ueda, Frank Valencia, Pradeep Varma, Mandana Vaziri, Martin Vechev, Suresh Venkatasubramaniam, Bjorn Victor, Tong Wen, Brian C Williams, Hao-Chi Wong. Tomofumi Yuki, Yoav Zibin, Jeff Zhang, Wei Zhang.

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

Academic Resume Compact 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), Carlos Olarte(LiX Polytechnique, 2009), Sophia Knight (LiX Polytechnique, 2013), Laura Titolo (U Udine, 2014 (expected)).

Interesting Links

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

• My Google Scholar page.
• My IBM Researcher webpage. This has a link for my papers under publications. Some links to some of my old papers follow (to be updated):
• (09/15/2006) A Theory of Memory Models (PPoPP, 2007)
• (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