Home

Jump to bottom Edit New page

Ashish Gehani edited this page Dec 20, 2022 · 5 revisions

Documentation

Papers

Gregory Malecha, Ashish Gehani, and Natarajan Shankar, Automated Software Winnowing, 30th ACM Symposium on Applied Computing (SAC), 2015. [PDF]
Jorge Navas and Ashish Gehani, OCCAMv2: Combining Static and Dynamic Analysis for Effective and Efficient Whole Program Specialization, ACM Queue, Vol. 20(5), 2022. [PDF]