Part of the Physical Sciences and Mathematics Commons

Works by Rigel Gjomemo in Physical Sciences and Mathematics

2016

Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers, Rigel Gjomemo, Phu Huu Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore Zuck
Computer Science Faculty Publications

PDF

2015

From Verification to Optimizations, Rigel Gjomemo, Kedar S. Namjoshi, Phu Huu Phung, V. N. Venkatakrishnan, Lenore D. Zuck
Computer Science Faculty Publications

Link