Skip to content
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]
Clone this wiki locally