@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.