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