Areas of interest:
- Program Analysis: Translation Validation, Liveness based garbage collection
- Functional Programming: Analysis of functional programs for optimizations, slicing.
- Compilers
Courses taught:
- System Software Lab
- Abstractions and Paradigms in Programming
- Abstractions and Paradigms in Programming Laboratory.
- Design and Implementation of Functional Programming Languages
- Implementation of Programming languages
- Implementation of Programming languages Laboratory
- Principles of Programming Languages
- System Software
Publications:
- Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi: A static slicing method for functional programs and its incremental version. Compiler Construction (CC) 2019: 53-64.
- Shantanu Thakoor, Simoni Shah, Ganesh Ramakrishnan, Amitabha Sanyal: Synthesis of Programs from Multimodal Datasets. AAAI 2018: 184-191.
- Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah: Property Checking Array Programs Using Loop Shrinking. TACAS (1) 2018: 213-231.
- Prasanna Kumar K., Amitabha Sanyal, Amey Karkare: Liveness-based garbage collection for lazy languages. ISMM 2016: 122-133.
- Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker: Value Slice: A New Slicing Concept for Scalable Property Checking. TACAS 2015: 101-115.
- Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft: Liveness-Based Garbage Collection. CC 2014: 85-106.
- Uday P. Khedker, Amitabha Sanyal, Bageshri Sathe: Data Flow Analysis - Theory and Practice. CRC Press 2009, ISBN 978-0-8493-2880-0, pp. I-XIII, 1-386.
- Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: Validation of GCC optimizers through trace generation. Softw., Pract. Exper. 39(6): 611-639 (2009).
- Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: Structuring Optimizing Transformations and Proving Them Sound. Electr. Notes Theor. Comput. Sci. 176(3): 79-95 (2007).
- Uday P. Khedker, Amitabha Sanyal, Amey Karkare: Heap reference analysis using access graphs. ACM Trans. Program. Lang. Syst. 30(1): 1 (2007).
- Amitabha Sanyal, Uday P. Khedker: Garbage Collection Techniques. The Compiler Design Handbook, 2nd ed. 2007: 6.
- Amey Karkare, Uday Khedker & Amitabha Sanyal: Liveness of Heap Data for Functional Programs, Heap Analysis and Verification workshop, 2007, Braga, Portugal.
- Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: A PVS Based Framework for Validating Compiler Optimizations. SEFM 2006: 108-117.
- Aditya Kanade, Uday P. Khedker, Amitabha Sanyal: Heterogeneous Fixed Points with Application to Points-To Analysis. APLAS 2005: 298-314.
- 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).
- 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).
- Milind Gandhe, G. Venkatesh, Amitabha Sanyal: Correcting Errors in the Curry System. FSTTCS 1996: 347-358.
- Ajay Sethi, Supratim Biswas, Amitabha Sanyal: Extensions to Cycle Shrinking. International Journal of High Speed Computing 7(2): 265-284 (1995).
- Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh: An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. ASIAN 1995: 88-102.
- Milind Gandhe, G. Venkatesh, Amitabha Sanyal: Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). ASIAN 1995: 103-110.
- Supratim Biswas, Amitabha Sanyal, L. M. Tewari: Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation. ICCI 1991: 462-470.
- Amitabha Sanyal, Somenath Biswas, Vishv M. Malhotra: Extension of Weakest Precondition Formalism to a Low Level Language. FSTTCS 1987: 485-499.