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 = {},
  abstract = {SafeTSA is a replacement for Java bytecode - a VM-based intermediate form that encodes implicit type-safety. (effectively diff stacks for diff types)}
  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 = {},
  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}
  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 = {},
  remarks = {yet another SafeTSA paper}
  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 = {},
  abstract = {introduces a low-level IR based on SSA that encodes type info for type-safe compiler optimizations}
  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 = {},
  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.