Part of the Computer Sciences Commons

Works by Rigel Gjomemo in Computer Sciences

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