| 2009 |
|---|
| 17 | EE | Aditya Kanade,
Amitabha Sanyal,
Uday P. Khedker:
Validation of GCC optimizers through trace generation.
Softw., Pract. Exper. 39(6): 611-639 (2009) |
| 2007 |
|---|
| 16 | EE | Uday P. Khedker,
Amitabha Sanyal,
Amey Karkare:
Heap reference analysis using access graphs.
ACM Trans. Program. Lang. Syst. 30(1): (2007) |
| 15 | EE | Amey Karkare,
Amitabha Sanyal,
Uday P. Khedker:
Heap Reference Analysis for Functional Programs
CoRR abs/0710.1482: (2007) |
| 14 | EE | Amey Karkare,
Uday P. Khedker,
Amitabha Sanyal:
Liveness of Heap Data for Functional Programs
CoRR abs/cs/0703155: (2007) |
| 13 | EE | 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 | EE | Aditya Kanade,
Amitabha Sanyal,
Uday P. Khedker:
A PVS Based Framework for Validating Compiler Optimizations.
SEFM 2006: 108-117 |
| 11 | EE | Uday P. Khedker,
Amitabha Sanyal,
Amey Karkare:
Heap Reference Analysis Using Access Graphs
CoRR abs/cs/0608104: (2006) |
| 10 | EE | Amey Karkare,
Amitabha Sanyal,
Uday P. Khedker:
Effectiveness of Garbage Collection in MIT/GNU Scheme
CoRR abs/cs/0611093: (2006) |
| 2005 |
|---|
| 9 | EE | 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 | EE | 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 |
