@String{pub-Springer = "Springer-Verlag"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}

@InProceedings{Das:01:EISPAO,
  author =	 {Manuvir Das and Ben Liblit and Manuel F\"ahndrich
                  and Jakob Rehof},
  title =	 {Estimating the Impact of Scalable Pointer Analysis
                  on Optimization},
  crossref =	 {SAS01}
}

@Proceedings{SAS01,
  title =	 {SAS '01: The 8th International Static Analysis
                  Symposium},
  booktitle =	 {SAS '01: The 8th International Static Analysis
                  Symposium},
  year =	 2001,
  series =	 ser-LNCS,
  address =	 {Paris, France},
  month =	 jul # " 16--18",
  publisher =	 pub-Springer
}