Papers

Alastair F. Donaldson, Daniel Kroening, Philipp Ruemmer. Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors. In Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), Lecture Notes in Computer Science 6015, pages 280-295. Springer, 2010.

Bibtex:

@inproceedings{DonaldsonKR_TACAS2010,
   title      = {Automatic Analysis of Scratch-pad Memory Code
                 for Heterogeneous Multicore Processors},
   author     = {Alastair F. Donaldson and Daniel Kroening and
                 Philipp Ruemmer},
   booktitle  = {Proceedings of the 16th International Conference
                 on Tools and Algorithms for the Construction
                 and Analysis of Systems (TACAS'10)},
   series     = {Lecture Notes in Computer Science},
   volume     = {6015},
   pages      = {280-295},
   publisher  = {Springer},
   year       = {2010}
}