@Misc{Miyamoto:1997:TETCN,
  author =	 {Carleton Miyamoto and Ben Liblit},
  title =	 {{Themis: Enforcing Titanium Consistency on the NOW}},
  howpublished =
                  {\url{http://www.cs.berkeley.edu/~liblit/themis/}},
  month =	 dec,
  year =	 1997,
  note =	 {CS262 semester project report.},
  source =
                  {\url{http://www..cs.berkeley.edu/~liblit/themis/themis.bib}}
}

@Misc{Liblit:1998:LQIT,
  author =	 {Ben Liblit},
  title =	 {{Local Qualification Inference for Titanium}},
  howpublished =
                  {\url{http://www.cs.berkeley.edu/~liblit/lqi/}},
  month =	 aug # " 26",
  year =	 1998,
  note =	 {CS263/CS265 semester project report.}
  source =
                  {\url{http://www.cs.berkeley.edu/~liblit/lqi/local.bib}}
}

@inproceedings{Krishnamurthy:1995:OPPES,
    author= {Arvind Krishnamurthy and Katherine Yelick},
    title= {Optimizing Parallel Programs with Explicit Synchronization},
    booktitle = {Programming Language Design and Implementation},
    month = Jun,
    year = {1995}
}
    
@article{Krishnamurthy:1996:AOSASP,
   author = {A. Krishnamurthy and K. Yelick},
   title = {Analyses and Optimizations for Shared Address 
	Space Programs},
   booktitle = {Journal of Parallel and Distributed
	Computation}, 
   year = {1996}
} 

@techreport{Krishnamurthy:1998:EASGABCLSPM,
   authors = {Arvind Krishnamurthy and David Culler and Katherine
              Yelick},
   title = {Evaluation of Architectural Support for Global
            Address-Based Communication in Large-Scale Parallel
            Machines},
   date = {1998},
   institution = {Computer Science Division, University of California,
                  Berkeley},
   number =  {CSD-98-984}, 
   }

@inproceedings{Arpaci:1995:EECTACP,
    author = {R. Arpaci and D. Culler and A. Krishnamurthy and
                 S. Steinberg and K. Yelick},
    title = {Empirical Evaluation of the {CRAY-T3D}: A Compiler Perspective},
    booktitle = {International Symposium on Computer Architecture},
    year = {1995},
    month = jun
}
    
@techreport{Darcy:1998:WRIRF1PJ,
    author = {Joseph Darcy},
    title = {Writing robust IEEE recommended functions in "100\% 
             Pure Java"(TM)},
    number = {CSD-98-1009}, 
    month = oct, 
    year = {1998}
}

@inproceedings{Liblit:2000:TSDDS,
  author =	 {Ben Liblit and Alexander Aiken},
  title =	 {Type Systems for Distributed Data Structures},
  crossref =	 {POPL27},
  note =	 {To appear},
  source =
                  {\url{http://www.cs.berkeley.edu/~liblit/lqi/local.bib}}
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

 
@proceedings{POPL27,
  title =	 {Conference Record of POPL~'00: The 27th ACM
                  SIGPLAN-SIGACT Symposium on Principles of
                  Programming Languages},
  booktitle =	 {Conference Record of POPL~'00: The 27th ACM
                  SIGPLAN-SIGACT Symposium on Principles of
                  Programming Languages},
  address =	 {Boston, Massachusetts},
  month =	 {19--21 } # jan,
  year =	 2000,
  key =		 {ACM},
  c-organization ={ACM},
  source =
                  {\url{http://www.cs.berkeley.edu/~liblit/lqi/local.bib}}
}