Amitabha Sanyal

	2009
17		Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: Validation of GCC optimizers through trace generation. Softw., Pract. Exper. 39(6): 611-639 (2009)
	2007
16		Uday P. Khedker, Amitabha Sanyal, Amey Karkare: Heap reference analysis using access graphs. ACM Trans. Program. Lang. Syst. 30(1): (2007)
15		Amey Karkare, Amitabha Sanyal, Uday P. Khedker: Heap Reference Analysis for Functional Programs CoRR abs/0710.1482: (2007)
14		Amey Karkare, Uday P. Khedker, Amitabha Sanyal: Liveness of Heap Data for Functional Programs CoRR abs/cs/0703155: (2007)
13		Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: Structuring Optimizing Transformations and Proving Them Sound. Electr. Notes Theor. Comput. Sci. 176(3): 79-95 (2007)
	2006
12		Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: A PVS Based Framework for Validating Compiler Optimizations. SEFM 2006: 108-117
11		Uday P. Khedker, Amitabha Sanyal, Amey Karkare: Heap Reference Analysis Using Access Graphs CoRR abs/cs/0608104: (2006)
10		Amey Karkare, Amitabha Sanyal, Uday P. Khedker: Effectiveness of Garbage Collection in MIT/GNU Scheme CoRR abs/cs/0611093: (2006)
	2005
9		Aditya Kanade, Uday P. Khedker, Amitabha Sanyal: Heterogeneous Fixed Points with Application to Points-To Analysis. APLAS 2005: 298-314
	1999
8		Mangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal: An Application of Compiler Technology to the Year 2000 Problem. Softw., Pract. Exper. 29(4): 359-377 (1999)
	1998
7		Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh: Improved Register Usage for Functional Programs through Multiple Function Versions. Journal of Functional and Logic Programming 1998(7): (1998)
	1996
6		Milind Gandhe, G. Venkatesh, Amitabha Sanyal: Correcting Errors in the Curry System. FSTTCS 1996: 347-358
	1995
5		Milind Gandhe, G. Venkatesh, Amitabha Sanyal: Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). ASIAN 1995: 103-110
4		Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh: An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. ASIAN 1995: 88-102
3		Ajay Sethi, Supratim Biswas, Amitabha Sanyal: Extensions to Cycle Shrinking. International Journal of High Speed Computing 7(2): 265-284 (1995)
	1991
2		Supratim Biswas, Amitabha Sanyal, L. M. Tewari: Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation. ICCI 1991: 462-470
	1987
1		Amitabha Sanyal, Supratim Biswas, Vishv M. Malhotra: Extension of Weakest Precondition Formalism to a Low Level Language. FSTTCS 1987: 485-499

Coauthor Index

1	Purandar Bhaduri	[8]
2	Supratim Biswas	[1] [2] [3]
3	Milind Gandhe	[5] [6]
4	Aditya Kanade	[9] [12] [13] [17]
5	Amey Karkare	[10] [11] [14] [15] [16]
6	Uday P. Khedker	[9] [10] [11] [12] [13] [14] [15] [16] [17]
7	Vishv M. Malhotra	[1]
8	Mangala Gowri Nanda	[8]
9	Sundeep Oberoi	[8]
10	Manoranjan Satpathy	[4] [7]
11	Ajay Sethi	[3]
12	L. M. Tewari	[2]
13	G. Venkatesh	[4] [5] [6] [7]

Colors in the list of coauthors