dblp.uni-trier.dewww.uni-trier.de

Amitabha Sanyal Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
17EEAditya Kanade, Amitabha Sanyal, Uday P. Khedker: Validation of GCC optimizers through trace generation. Softw., Pract. Exper. 39(6): 611-639 (2009)
2007
16EEUday P. Khedker, Amitabha Sanyal, Amey Karkare: Heap reference analysis using access graphs. ACM Trans. Program. Lang. Syst. 30(1): (2007)
15EEAmey Karkare, Amitabha Sanyal, Uday P. Khedker: Heap Reference Analysis for Functional Programs CoRR abs/0710.1482: (2007)
14EEAmey Karkare, Uday P. Khedker, Amitabha Sanyal: Liveness of Heap Data for Functional Programs CoRR abs/cs/0703155: (2007)
13EEAditya Kanade, Amitabha Sanyal, Uday P. Khedker: Structuring Optimizing Transformations and Proving Them Sound. Electr. Notes Theor. Comput. Sci. 176(3): 79-95 (2007)
2006
12EEAditya Kanade, Amitabha Sanyal, Uday P. Khedker: A PVS Based Framework for Validating Compiler Optimizations. SEFM 2006: 108-117
11EEUday P. Khedker, Amitabha Sanyal, Amey Karkare: Heap Reference Analysis Using Access Graphs CoRR abs/cs/0608104: (2006)
10EEAmey Karkare, Amitabha Sanyal, Uday P. Khedker: Effectiveness of Garbage Collection in MIT/GNU Scheme CoRR abs/cs/0611093: (2006)
2005
9EEAditya 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
6EEMilind 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
3EEAjay Sethi, Supratim Biswas, Amitabha Sanyal: Extensions to Cycle Shrinking. International Journal of High Speed Computing 7(2): 265-284 (1995)
1991
2EESupratim Biswas, Amitabha Sanyal, L. M. Tewari: Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation. ICCI 1991: 462-470
1987
1EEAmitabha Sanyal, Supratim Biswas, Vishv M. Malhotra: Extension of Weakest Precondition Formalism to a Low Level Language. FSTTCS 1987: 485-499

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)