Heap Abstractions for Static Analysis von Kanvar, Vini, Khedker, Uday P.

Volltext

A Unified Model for Context-Sensitive Program Analyses: The Blind Men and the Elephant von Jaiswal, Swati, Khedker, Uday P., Mycroft, Alan

Volltext

Heap reference analysis using access graphs von Khedker, Uday P., Sanyal, Amitabha, Karkare, Amey

Volltext

An Improved Bound for Call Strings Based Interprocedural Analysis of Bit Vector Frameworks von KARKARE, Bageshri, KHEDKER, Uday P

Volltext

Validation of GCC optimizers through trace generation von Kanade, Aditya, Sanyal, Amitabha, Khedker, Uday P.

Volltext

Bidirectionality in flow-sensitive demand-driven analysis von Jaiswal, Swati, Khedker, Uday P., Chakraborty, Supratik

Volltext

Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis von Gharat, Pritam M., Khedker, Uday P., Mycroft, Alan

Volltext

A generalized theory of bit vector data flow analysis von Khedker, Uday P., Dhamdhere, Dhananjay M.

Volltext

Which Part of the Heap is Useful? Improving Heap Liveness Analysis von Kanvar, Vini, Khedker, Uday P

Volltext bestellen

Liveness-Based Pointer Analysis von Khedker, Uday P., Mycroft, Alan, Rawat, Prashant Singh

Volltext

SpComp: A Sparsity Structure-Specific Compilation of Matrix Operations von Basak, Barnali, Khedker, Uday P, Biswas, Supratim

Volltext bestellen

Which Part of the Heap is Useful? Improving Heap Liveness Analysis von Kanvar, Vini, Khedker, Uday P

Volltext

A Unified Model for Context-Sensitive Program Analyses: The Blind Men and the Elephant von Jaiswal, Swati, Khedker, Uday P, Mycroft, Alan

Volltext bestellen

Value Slice: A New Slicing Concept for Scalable Property Checking von Kumar, Shrawan, Sanyal, Amitabha, Khedker, Uday P.

Volltext

Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs von Gharat, Pritam M., Khedker, Uday P., Mycroft, Alan

Volltext

Scaling Bounded Model Checking by Transforming Programs with Arrays von Jana, Anushri, Khedker, Uday P., Datar, Advaita, Venkatesh, R., C., Niyas

Volltext

Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters von Nasre, Rupesh, Rajan, Kaushik, Govindarajan, R., Khedker, Uday P.

Volltext

"What's in a name?" going beyond allocation site names in heap analysis von Kanvar, Vini, Khedker, Uday P.

Volltext

SpComp: A Sparsity Structure-Specific Compilation of Matrix Operations von Basak, Barnali, Khedker, Uday P, Biswas, Supratim

Volltext

Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method von Khedker, Uday P., Karkare, Bageshri

Volltext