Part of the Graphics and Human Computer Interfaces Commons

Works by Kedar S. Namjoshi in Graphics and Human Computer Interfaces

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