ssa8.bib

@inproceedings{rugina00symbolic,
  author = {Radu Rugina and Martin Rinard},
  title = {Symbolic Bounds Analysis of Pointers, Array Indices and
                  Accessed Memory Regions},
  year = {2000},
  pages = {182--195},
  booktitle = {Proceedings of the ACM SIGPLAN 2000 Conference on
                  Programming Language Design and Implementation},
  abstract = {hard-going, but just a brief mention of the merits of SSI in
                  the conclusions},
  url = {http://doi.acm.org/10.1145/349299.349325}
}

@inproceedings{stephenson00bitwidth,
  author = {Mark Stephenson and Jonathan Babb and Saman Amarasinghe},
  title = {Bitwidth Analysis with Application to Silicon Compilation},
  year = {2000},
  pages = {108--120},
  booktitle = {Proceedings of the ACM SIGPLAN 2000 Conference on
                  Programming Language Design and Implementation},
  abstract = {fascinating stuff, quite simple to read. Quite early on they
                  mention that SSI might be a possible alternative
                  intermediate form, just a footnote},
  url = {http://doi.acm.org/10.1145/349299.349317}
}

@inproceedings{gheorghioiu03interprocedural,
  author = {Ovidiu Gheorghioiu and Alexandru Salcianu and Martin Rinard},
  title = {Interprocedural compatibility analysis for static object
                  preallocation},
  booktitle = {Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium of
                  Principles of Programming Languages},
  pages = {273--284},
  year = {2003},
  url = {http://doi.acm.org/10.1145/604131.604154}
}

@inproceedings{ananian03data,
  author = {C. Scott Ananian and Martin Rinard},
  title = {Data size optimizations for {Java} programs},
  booktitle = {Proceedings of the 2003 ACM SIGPLAN Conference on Languages,
                  Compilers and Tools for Embedded Systems},
  year = {2003},
  pages = {59--68},
  abstract = {},
  url = {http://doi.acm.org/10.1145/780732.780741}
}

@inproceedings{mayer03debugging,
  author = {Wolfgang Mayer and Markus Stumptner},
  title = {Debugging Program Exceptions},
  booktitle = {Proceedings of the 14th International Workshop on Principles
                  of Diagnosis},
  year = {2003},
  pages = {119--124},
  abstract = {does debugging using model checking, for Java programs. Uses
                  SSI in order to construct the model. Cites me as well as
                  Ananian for SSI construction!},
  url = {http://www.cs.unisa.edu.au/~ciswma/publications/ms03a.pdf}
}

@inproceedings{teifel04static,
  author = {John Teifel and Rajit Manohar},
  title = {Static Tokens: Using Dataflow to Automate Concurrent
                  Pipeline Synthesis},
  booktitle = {Proceedings of the 10th International Symposium on
                  Asynchronous Circuits and Systems},
  pages = {17--27},
  year = {2004},
  abstract = {uses SSI for some kind of ECAD-like hardware synthesis},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASYNC.2004.1299284}
}

This file was generated by bibtex2html 1.96.