MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Amitabha Sanyal" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Heterogeneous Fixed Points with Application to Points-To Analysis
by Aditya Kanade, Uday Khedker, Amitabha Sanyal
…, and Amitabha Sanyal Department of Computer Science and Engineering, Indian Institute of Technology, Bombay…
Add To MetaCart

Liveness of heap data for functional programs
by Amey Karkare, Uday Khedker, Amitabha Sanyal — 2007 — In HAV 2007: Heap Analysis and Verification Workshop. 64–80. http://research.microsoft.com/ ∼ jjb
… Data for Functional Programs Amey Karkare 1 Uday Khedker Amitabha Sanyal {karkare…
Cited by 1 (1 self) – Add To MetaCart

A PVS based framework for validating compiler optimizations
by Aditya Kanade, Amitabha Sanyal, Uday Khedker — 2006 — In SEFM ’06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
… A PVS based Framework for Validating Compiler Optimizations Aditya Kanade Amitabha Sanyal Uday…
Cited by 1 (0 self) – Add To MetaCart

“SPOTS: A System for Proving Optimizing Transformations Sound”
by Prof Uday Khedker, Prof Amitabha Sanyal, Aditya Sunil Kanade
…. : 02405004) Supervisors: Prof. Uday Khedker Prof. Amitabha Sanyal DEPARTMENT OF COMPUTER SCIENCE…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB