@inproceedings{amme01safe,
author = {Wolfram Amme and Niall Dalton and Jeffery von Ronne and Michael Franz},
title = {Safe{TSA}: a type safe and referentially secure mobile-code representation based on static single assignment form},
booktitle = {Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation},
year = {2001},
pages = {137--147},
url = {http://doi.acm.org/10.1145/378795.378825},
abstract = {SafeTSA is a replacement for Java bytecode - a VM-based intermediate form that encodes implicit type-safety. (effectively diff stacks for diff types)}
}
@article{amme05quantifying,
title = {Quantifying the Benefits of SSA-Based Mobile Code},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {141},
number = {2},
pages = {103--119},
year = {2005},
url = {http://www.sciencedirect.com/science/article/B75H1-4HN44BM-7/2/84c26bda8fb8ad7c1388cca249ec7332},
author = {Wolfram Amme and Jeffery von Ronne and Michael Franz},
abstract = {another SafeTSA paper, integrating SafeTSA into Jikes RVM via a custom classloader and comparing performance with Java bytecode on simple benchmarks}
}
@article{amme07ssa,
author = {Amme, Wolfram and Ronne, Jeffery von and Franz, Michael},
title = {SSA-based mobile code: Implementation and empirical evaluation},
journal = {ACM Transactions on Architure and Code Optimization},
volume = {4},
number = {2},
year = {2007},
pages = {13},
doi = {http://doi.acm.org/10.1145/1250727.1250733},
remarks = {yet another SafeTSA paper}
}
@inproceedings{menon06verifiable,
author = {Vijay S. Menon and Neal Glew and Brian R. Murphy and Andrew McCreight and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai and Leaf Petersen},
title = {A verifiable SSA program representation for aggressive compiler optimization},
booktitle = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
year = {2006},
pages = {397--408},
url = {http://doi.acm.org/10.1145/1111037.1111072},
abstract = {introduces a low-level IR based on SSA that encodes type info for type-safe compiler optimizations}
}
@inproceedings{matsuno06type,
author = {Yutaka Matsuno and Atsushi Ohori},
title = {A type system equivalent to static single assignment},
booktitle = {Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming},
year = {2006},
pages = {249--260},
url = {http://doi.acm.org/10.1145/1140335.1140365},
abstract = {introduces a type system that works like SSA. Effectively type inference is SSA transformation. So we can encode SSA as type-based info, rather than in variable renaming.}
}
This file was generated by bibtex2html 1.96.