Ensuring code safety without runtime checks for real-time control systems

Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve. Ensuring code safety without runtime checks for real-time control systems. In Shuvra S. Bhattacharyya, Trevor N. Mudge, Wayne Wolf, Ahmed Amine Jerraya, editors, Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2002, Greenoble, France, October 8-11, 2002. pages 288-297, ACM, 2002. [doi]

@inproceedings{KowshikDA02,
  title = {Ensuring code safety without runtime checks for real-time control systems},
  author = {Sumant Kowshik and Dinakar Dhurjati and Vikram S. Adve},
  year = {2002},
  doi = {10.1145/581630.581678},
  url = {http://doi.acm.org/10.1145/581630.581678},
  tags = {control systems},
  researchr = {https://researchr.org/publication/KowshikDA02},
  cites = {0},
  citedby = {0},
  pages = {288-297},
  booktitle = {Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2002, Greenoble, France, October 8-11, 2002},
  editor = {Shuvra S. Bhattacharyya and Trevor N. Mudge and Wayne Wolf and Ahmed Amine Jerraya},
  publisher = {ACM},
  isbn = {1-58113-575-0},
}